search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Quicklisp install fails in clisp #105

Open adhalanay opened 8 years ago

adhalanay commented 8 years ago

Following the instructions from README one gets IF: variable CMBN-CONTROL has no value which fails the compilation of chain-complexes.

As a side-note it seems to compile OK on SBCL versions: clisp : GNU CLISP 2.49 (2010-07-07) sbcl: SBCL 1.3.0.debian

gheber commented 8 years ago

Thanks for reporting this issue. I'm can reproduce it with CLISP 2.49.

bigmac:~ gerd$ clisp
  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Welcome to GNU CLISP 2.49 (2010-07-07) <http://clisp.cons.org/>

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2010

Type :h and hit Enter for context help.

;; Loading file /Users/gerd/.clisprc ...
;;  Loading file /Users/gerd/quicklisp/setup.lisp ...
;;   Loading file /Users/gerd/quicklisp/ASDF.lisp ...
;;   Loaded file /Users/gerd/quicklisp/ASDF.lisp
;;  Loaded file /Users/gerd/quicklisp/setup.lisp
;; Loaded file /Users/gerd/.clisprc
[1]> (ql:quickload :kenzo)
To load "kenzo":
  Load 1 ASDF system:
    kenzo
; Loading "kenzo"
[package cat].......
*** - IF: variable *CMBN-CONTROL* has no value
The following restarts are available:
USE-VALUE      :R1      Input a value to be used instead of *CMBN-CONTROL*.
STORE-VALUE    :R2      Input a new value for *CMBN-CONTROL*.
RETRY          :R3      Retry compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes">.
ACCEPT         :R4      Continue, treating compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes"> as having been successful.
ABORT          :R5      Give up on "kenzo"
ABORT          :R6      Abort main loop
Break 1 CAT[2]>
gheber commented 8 years ago

When choosing :R2 and providing NIL or T as a value, it continues to build just fine.