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
commit: 182c18 Build system: i386-apple-darwin17.7.0 SBCL: 1.4.11.68-9456dfc60
I've run
autoconf,./configureandmake. 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.This came up again later (twice similar to this).