mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update cat-init and add SBCL compilation HowTo

Browse Source
This commit is contained in:
gheber 2015-06-13 19:23:15 -05:00
parent f6460444be
commit b9a6785c15
4 changed files with 4668 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4652
doc/How-to-Compile-Kenzo-with-SBCL.txt Normal file
View File

File diff suppressed because it is too large Load Diff

4
kenzo.asd
View File

@ -11,9 +11,9 @@
:description "A Symbolic Software for Effective Homology Computation by Francis Sergeraert" :description "A Symbolic Software for Effective Homology Computation by Francis Sergeraert"
:serial t :serial t
:components ((:file "package") :components ((:file "package")
(:file "kenzo")
(:module "src" (:module "src"
:components ((:file "macros") :components ((:file "kenzo")
(:file "macros")
(:file "various") (:file "various")
(:file "classes") (:file "classes")
(:file "combinations") (:file "combinations")

15
src/cat-init.lisp
View File

@ -2,6 +2,9 @@
;;; FILES FILES FILES FILES FILES FILES FILES FILES FILES FILES ;;; FILES FILES FILES FILES FILES FILES FILES FILES FILES FILES
;;; FILES FILES FILES FILES FILES FILES FILES FILES FILES FILES ;;; FILES FILES FILES FILES FILES FILES FILES FILES FILES FILES
(DEFPACKAGE :CAT
(:USE CL))
(IN-PACKAGE "COMMON-LISP-USER") (IN-PACKAGE "COMMON-LISP-USER")
(DEFUN KENZO-VERSION () (DEFUN KENZO-VERSION ()
@ -11,7 +14,8 @@
(PROCLAIM '(OPTIMIZE (speed 3) (safety 1) (space 0) (debug 0))) (PROCLAIM '(OPTIMIZE (speed 3) (safety 1) (space 0) (debug 0)))
(DEFCONSTANT +FILE-LIST+ (DEFCONSTANT +FILE-LIST+
'("macros" '("kenzo"
"macros"
"various" "various"
"classes" "classes"
"combinations" "combinations"
@ -57,13 +61,16 @@
(DEFCONSTANT +SOURCE-EXTENSION+ (DEFCONSTANT +SOURCE-EXTENSION+
#+(or allegro clisp lispworks) "cl" #+(or allegro clisp lispworks) "cl"
#-(or allegro clisp lispworks) #+(or sbcl) "lisp"
(error "Not an Allegro or CLisp or LispWorks environment.")) #-(or allegro clisp lispworks sbcl)
(error "Not an Allegro or CLisp or LispWorks or SBCL environment."))
(DEFCONSTANT +COMPILED-EXTENSION+ (DEFCONSTANT +COMPILED-EXTENSION+
#+allegro "fasl" #+allegro "fasl"
#+clisp "fas" #+clisp "fas"
#+lispworks "ofasl") #+lispworks "ofasl"
#+sbcl "fasl"
)
(DEFUN LOAD-SFILES () (DEFUN LOAD-SFILES ()
(mapc #'(lambda (file-name) (mapc #'(lambda (file-name)

0
kenzo.lisp → src/kenzo.lisp
View File