[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

[MacPorts]

#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by JacksonIsaac):

 Actually the download path of v3.5 moved to another directory.

 In fetch we would have to replace
 'http://www.cs.utexas.edu/users/moore/acl2/v3-5/distrib/*' with
 'http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-5/distrib/*'

 Although the build kind of fails for me. It gets stuck at lisp console
 while building and gives the following output:



 {{{
 Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

 restarts (invokable by number or by possibly-abbreviated name):
   0: [ABORT] Exit debugger, returning to top level.

 (CHECK-BUILT-IN-CONSTANTS)
 0]
 }}}

 I am unable to go further than this. When I enter '0' to exit debugger it
 exits and fails the build.


 {{{
 (CHECK-BUILT-IN-CONSTANTS)
 0] 0
 Error: Failed to build acl2: command execution failed
 Error: See /opt/local/var/macports/logs
 /_Users_jacksonisaac_Development_macports-ports_math_acl2/acl2/main.log
 for details.
 Error: Follow https://guide.macports.org/#project.tickets to report a bug.
 Error: Processing of port acl2 failed
 }}}


 If anyone has ideas on how to skip or continue after this it would be
 really great.

-- 
Ticket URL: <https://trac.macports.org/ticket/46257#comment:7>
MacPorts <https://www.macports.org/>
Ports system for macOS