PVS icon indicating copy to clipboard operation
PVS copied to clipboard

skippable build error "when binding SB-IMPL::START"

Open holtzermann17 opened this issue 5 years ago • 0 comments

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

holtzermann17 avatar Sep 13 '18 18:09 holtzermann17