[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] compilation problems under debian etch


after removing the -lbsd in BDD/ix86-Linux/Makefile I could
successfully build pvs with cmucl on
- debian sarge (kernel 2.6.8)
- mixed debian sarge/etch running a 2.6.15 kernel
- Fedora Core release 5 (Bordeaux)

However, on my own machine, running debian etch (kernel 2.6.18-3)
I only get until

    ;;;; Loading #P"/home/tews/src/pvs/ess/box-defs.lisp".
    ; [GC threshold exceeded with 15,718,168 bytes in use.  Commencing GC.]
    ; [GC completed with 5,043,712 bytes retained and 10,674,456 bytes freed.]
    ; [GC will next occur when at least 17,043,712 bytes are in use.]
    Error in KERNEL::UNBOUND-SYMBOL-ERROR-HANDLER:  the variable |
    | is unbound.
       [Condition of type UNBOUND-VARIABLE]

      0: [ABORT] Skip remaining initializations.

    Debug  (type H for help)

    (EVAL |
    Source: Error finding source: 
    Error in function DEBUG::GET-FILE-TOP-LEVEL-FORM:  Source file no longer exists:

(full make log attached) I tried different lisp versions (debian
cmucl, original 19d, original 19c), with a different kernel
(vanilla, and different gcc's (3.4 and debian 4.1.2).
The result is always the same.

Any ideas?