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:

https://build.macports.org/builders/ports-11_arm64-builder/builds/98076/steps/install-port/logs/stdio

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.

Change History (0)

Note: See TracTickets for help on using tickets.