Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Message-Id: <m0lwHFT-000gVgC@maccs.dcss.mcmaster.ca>
From: root@maccs.
Date: Fri, 12 Jun 1992 15:25:21 -0400
To: info-hol@edu.uidaho.cs.ted
Subject: Building HOL with Allegro 4.1

I'm trying to build the HOL system using the latest release of Allegro Common
Lisp and running into some problems. I've changed compiler directives in the
Makefile and f-cl.l to match allegro-v4.1 instead of 4.0 and it seems that
when specifying in-package that a quoted argument is not necessary. What I
not sure about is the following error:

if [ cl = cl ]; then\
  echo '#+allegro (set-case-mode :case-insensitive-upper)'\
       '#+allegro-v4.1 (setq *cltl1-in-package-compatibility-p* t)'\
       '#+allegro-v4.1 (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t)'\
       '(compile-file "lisp/f-cl.l") (quit)'\
       | cl4_1; else\
   lisp/f-franz; fi
Allegro CL 4.1 [SPARC; R1] (6/10/92 12:08)
Copyright (C) 1985-1992, Franz Inc., Berkeley, CA, USA.  All Rights Reserved.
;; Optimization settings: safety 1, space 1, speed 1, debug 2
;; For a complete description of all compiler switches given the current
;; optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS).
USER(1): 
:CASE-INSENSITIVE-UPPER
USER(2): 
T
USER(3): 
T
USER(4): 
; --- Compiling file /rsch/local/hol.new/hol/lisp/f-cl.l ---
; Compiling ERRSET
; Compiling QUIT
; Compiling ML-SAVE
; Compiling INCLUDE
; While compiling (:TOP-LEVEL-FORM "f-cl.l" 14):
Warning: Compiling a FUNCTION definition for the name SPECIAL as a
         DEFMACRO.  This name is in the COMMON-LISP package and
         defining it will be a violation for portable programs.  The
         package COMMON-LISP has PACKAGE-DEFINITION-LOCK set, which
         causes the system to check for this violation.
; Compiling SPECIAL
; Compiling MACROS
; Compiling *LEXPR
; Compiling (:INTERNAL (:TOP-LEVEL-FORM "f-cl.l" 16) 0)
; Compiling CATCH-THROW
; Compiling THROW-FROM
; Compiling IFN
; Compiling NEWR
; Compiling UNTIL
; Compiling WHILE
; Compiling CADADDR
; Compiling CADDDADDR
; Compiling CADDADDR
; Compiling CADDADADR
; Compiling CADADADR
; Compiling CAADADR
; Compiling CADDADR
; Compiling ADD
; Compiling TIMES
; Compiling PLUS
; Compiling SUB1
; Compiling ADD1
; Compiling DIFFERENCE
; Compiling FIX
; Compiling GREATERP
; Compiling LESSP
; Compiling MEMQ
; Compiling ASSQ
; Compiling DELQ
; Compiling ASSOC-EQUAL
; Compiling MEMBER-EQUAL
; Compiling SUBST-EQUAL
; Compiling PUTPROP
; Compiling ALPHALESSP
; Compiling ATOMIFY
; Compiling ASCII
; Compiling EXPLODEN
; Compiling IMPLODEN
; Compiling FLATC
; Compiling GENSYM-INTERNED
; Compiling INFILE
; Compiling OUTFILE
; Compiling READC
; Compiling UCONCAT
; Compiling CONCAT
; Compiling CONCATL
; Compiling CANONISE-CASE-SYMBOL
; Compiling CATENATE
; Compiling CASCII
; Compiling LLTERPRI
; Compiling LLPRINC
; Compiling LLPRINT
; Compiling LLREADCN
; Compiling LLREAD
; Compiling INFILEPUSH
; Compiling INFILEPOP
; Compiling CLOCK
; Compiling MAKE-OBJECT-FILENAME
; Compiling FINALIZE-TML
; Compiling SETUP
; Compiling SET-FASL-FLAG
Warning: Symbol |%print_fasl-flag| declared special
; Compiling SETUP-ML
; Compiling SETDEBUG
; Compiling EXPERIMENTAL-INIT
; Compiling SET-MAKE
; Compiling DATE
; Compiling FLATSIZE2
; Compiling RUNTIME10TH
; Compiling   (FLET RUNTIME10TH SEC-10THS)
; Compiling BIGGER
; Compiling INIT-IO
; Compiling ML-BREAK
; Compiling COMPILE-FUNCTIONS-IF-NEEDED
; Writing fasl file "/rsch/local/hol.new/hol/lisp/f-cl.fasl"
; Fasl write complete
#p"/rsch/local/hol.new/hol/lisp/f-cl.fasl"
T
T
USER(5): if [ cl = cl ]; then\
  echo '#+allegro (set-case-mode :case-insensitive-upper)'\
       '#+allegro-v4.1 (setq *cltl1-in-package-compatibility-p* t)'\
       '#+allegro-v4.1 (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t)'\
       '(load "lisp/f-cl") (compile-file "lisp/f-macro.l") (quit)'\
       | cl4_1; else\
   lisp/f-macro; fi
Allegro CL 4.1 [SPARC; R1] (6/10/92 12:08)
Copyright (C) 1985-1992, Franz Inc., Berkeley, CA, USA.  All Rights Reserved.
;; Optimization settings: safety 1, space 1, speed 1, debug 2
;; For a complete description of all compiler switches given the current
;; optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS).
USER(1): 
:CASE-INSENSITIVE-UPPER
USER(2): 
T
USER(3): 
T
USER(4): 
; Libfasl loading /rsch/local/hol.new/hol/lisp/f-cl.fasl.
Error: Attempt to make a FUNCTION definition for the name SPECIAL as a
       MACRO.  This name is in the COMMON-LISP package and defining it
       is a violation for portable programs.  The package COMMON-LISP
       has PACKAGE-DEFINITION-LOCK set, which causes the system to
       check for this violation.
  [condition type: PACKAGE-LOCKED-ERROR]

Restart actions (select using :continue):
 0: Set the FUNCTION definition of the name SPECIAL anyway.
 1: retry the load of lisp/f-cl
[1c] USER(5): :pop

--- end of script ---

At this point allegro exits and the next lisp/*.l file is compiled. All these
fail and thus no hol-lcf is produced at which point the make dies. I'm not
sure what the message:

	; Libfasl loading /rsch/local/hol.new/hol/lisp/f-cl.fasl.
	Error: Attempt to make a FUNCTION definition for the name SPECIAL as a
	       MACRO.  This name is in the COMMON-LISP package and defining it
	       is a violation for portable programs.  The package COMMON-LISP
	       has PACKAGE-DEFINITION-LOCK set, which causes the system to
	       check for this violation.
	  [condition type: PACKAGE-LOCKED-ERROR]

means!

Thanks...	dan