[MacPorts] #67800: acl2 @8.3: READ error during LOAD: Lock on package SB-VM violated when interning %READ-CYCLE-COUNTER while in package ACL2

[MacPorts]

#67800: acl2 @8.3: READ error during LOAD: Lock on package SB-VM violated when
interning %READ-CYCLE-COUNTER while in package ACL2
------------------------+--------------------------
 Reporter:  ryandesign  |      Owner:  JacksonIsaac
     Type:  defect      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.8.1
 Keywords:  arm64       |       Port:  acl2
------------------------+--------------------------
 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.

-- 
Ticket URL: <https://trac.macports.org/ticket/67800>
MacPorts <https://www.macports.org/>
Ports system for macOS