Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
holtzermann17 opened this issue Sep 13, 2018 · 0 comments
Open

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

holtzermann17 opened this issue Sep 13, 2018 · 0 comments

Comments

@holtzermann17
Copy link

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant