You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
commit: 182c18
Build system: i386-apple-darwin17.7.0
SBCL: 1.4.11.68-9456dfc60
I've run
autoconf
,./configure
andmake
. 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).
The text was updated successfully, but these errors were encountered: