Hi, I'm trying to port the PVS theorem prover from Allegro to CMU lisp, but i ran into a problem. PVS uses defsystem for building which calls compile-file to compile fasls.
Unfortunately, one compilation job does not terminate .. ; Python version 1.1, VM version Intel x86 on 18 SEP 03 12:21:34 pm. ; Compiling: /home/itt/ceesb/cvs/pvs_cmu/src/classes-expr.lisp 18 SEP 03 12:06:28 pm When i try to interrupt, i do not get a debug prompt (it shows the prompt, but accepts no input). I'm kind of stuck now, help would be appreciated. I'm using cmulisp 18e on linux 2.4.22 using the RPM from http://www.caddr.com/lisp/ Thanks, cees-bart -- phd student university of nijmegen the netherlands www.cs.kun.nl/~ceesb
