Opened 16 months ago
#67800 assigned defect
acl2 @8.3: READ error during LOAD: Lock on package SB-VM violated when interning %READ-CYCLE-COUNTER while in package ACL2
Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | JacksonIsaac (Jackson Isaac) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.8.1 |
Keywords: | arm64 | Cc: | |
Port: | acl2 |
Description
acl2 @8.3 fails to build on Apple Silicon:
debugger invoked on a SB-C::INPUT-ERROR-IN-LOAD in thread #<THREAD "main thread" RUNNING {7005780253}>: READ error during LOAD: Lock on package SB-VM violated when interning %READ-CYCLE-COUNTER while in package ACL2. See also: The SBCL Manual, Node "Package Locks" (in form starting at line: 192, column: 0, position: 9782) Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [ABORT] Abort loading file "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_acl2/acl2/work/acl2-8.3/memoize-raw.lisp". 1: Exit debugger, returning to top level. (SB-C:COMPILER-ERROR SB-C::INPUT-ERROR-IN-LOAD :CONDITION #<SB-EXT:PACKAGE-LOCKED-ERROR "interning ~A" {7009382753}> :POSITION 9782 :LINE/COL (192 . 0) :STREAM #<SB-INT:FORM-TRACKING-STREAM for "file /opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_acl2/acl2/work/acl2-8.3/memoize-raw.lisp" {700935E493}>) 0] debugger invoked on a UNDEFINED-FUNCTION @300000334 in thread #<THREAD "main thread" RUNNING {70057006C3}>: The function ACL2::UPDATE-MEMO-ENTRIES-FOR-ATTACHMENTS is undefined. Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [CONTINUE ] Retry calling UPDATE-MEMO-ENTRIES-FOR-ATTACHMENTS. 1: [USE-VALUE ] Call specified function. 2: [RETURN-VALUE ] Return specified values. 3: [RETURN-NOTHING] Return zero values. 4: [ABORT ] Exit debugger, returning to top level. ("undefined function" NIL NIL ACL2_INVISIBLE::|The Live State Itself|) 0] * ACL2_WD is /opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_acl2/acl2/work/acl2-8.3 ACL2 is /opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_acl2/acl2/work/acl2-8.3/saved_acl2 Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
Version 8.5 is available upstream. Maybe updating would help. There is only one ARM-related change mentioned in the 8.5 changelog on the web site and it doesn't seem relevant. The 8.4 changelog is not accessible on the web site.
Note: See
TracTickets for help on using
tickets.