PVS
PVS copied to clipboard
skippable build error "when binding SB-IMPL::START"
commit: 182c18 Build system: i386-apple-darwin17.7.0 SBCL: 1.4.11.68-9456dfc60
I've run autoconf
, ./configure
and make
. I get the following error. I pressed "1" to ignore the error and continue. That looks to have gotten me through the build process but it seemed worth reporting in any case.
While evaluating the form starting at line 1026, column 0
of #P"/Users/joe/PVS/./ess/box-defs.lisp":
While evaluating the form starting at line 14, column 0
of #P"/Users/joe/PVS/./ess/init-load.lisp":
While evaluating the form starting at line 35, column 0
of #P"/Users/joe/PVS/ess/dist-ess.lisp":
While evaluating the form starting at line 47, column 0
of #P"/Users/joe/PVS/src/make-pvs-parser.lisp":
debugger invoked on a TYPE-ERROR in thread
#<THREAD "main thread" RUNNING {10005485B3}>:
The value
NIL
is not of type
SB-INT:INDEX
when binding SB-IMPL::START
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [RETRY ] Retry EVAL of current toplevel form.
1: [CONTINUE] Ignore error and continue loading file "/Users/joe/PVS/./ess/box-defs.lisp".
2: [ABORT ] Abort loading file "/Users/joe/PVS/./ess/box-defs.lisp".
3: Retry EVAL of current toplevel form.
4: Ignore error and continue loading file "/Users/joe/PVS/./ess/init-load.lisp".
5: Abort loading file "/Users/joe/PVS/./ess/init-load.lisp".
6: Retry EVAL of current toplevel form.
7: Ignore error and continue loading file "/Users/joe/PVS/ess/dist-ess.lisp".
8: Abort loading file "/Users/joe/PVS/ess/dist-ess.lisp".
9: Retry EVAL of current toplevel form.
10: Ignore error and continue loading file "/Users/joe/PVS/src/make-pvs-parser.lisp".
11: Abort loading file "/Users/joe/PVS/src/make-pvs-parser.lisp".
12: Ignore runtime option --load "src/make-pvs-parser".
13: Skip rest of --eval and --load options.
14: Skip to toplevel READ/EVAL/PRINT loop.
15: [EXIT ] Exit SBCL (calling #'EXIT, killing the process).
(SUBSEQ "Joes-iMac.local" NIL NIL) [external]
0]
This came up again later (twice similar to this).
While evaluating the form starting at line 1026, column 0
of #P"/Users/joe/PVS/./ess/box-defs.lisp":
While evaluating the form starting at line 14, column 0
of #P"/Users/joe/PVS/./ess/init-load.lisp":
While evaluating the form starting at line 35, column 0
of #P"/Users/joe/PVS/ess/dist-ess.lisp":
While evaluating the form starting at line 183, column 0
of #P"/Users/joe/PVS/pvs.system":
debugger invoked on a TYPE-ERROR in thread
#<THREAD "main thread" RUNNING {10005485B3}>:
The value
NIL
is not of type
SB-INT:INDEX
when binding SB-IMPL::START
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [RETRY ] Retry EVAL of current toplevel form.
1: [CONTINUE] Ignore error and continue loading file "/Users/joe/PVS/./ess/box-defs.lisp".
2: [ABORT ] Abort loading file "/Users/joe/PVS/./ess/box-defs.lisp".
3: Retry EVAL of current toplevel form.
4: Ignore error and continue loading file "/Users/joe/PVS/./ess/init-load.lisp".
5: Abort loading file "/Users/joe/PVS/./ess/init-load.lisp".
6: Retry EVAL of current toplevel form.
7: Ignore error and continue loading file "/Users/joe/PVS/ess/dist-ess.lisp".
8: Abort loading file "/Users/joe/PVS/ess/dist-ess.lisp".
9: Retry EVAL of current toplevel form.
10: Ignore error and continue loading file "/Users/joe/PVS/pvs.system".
11: Abort loading file "/Users/joe/PVS/pvs.system".
12: Ignore runtime option --eval "(load \"pvs.system\" :verbose t)".
13: Skip rest of --eval and --load options.
14: Skip to toplevel READ/EVAL/PRINT loop.
15: [EXIT ] Exit SBCL (calling #'EXIT, killing the process).
(SUBSEQ "Joes-iMac.local" NIL NIL) [external]
0] 1