[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):

 I was able to pass the build phase for acl2-8.0. Somehow I figured it out
 by lot of trial and error. Currently I am trying to fix the destroot
 phase.


 {{{
 DEBUG: Executing org.macports.destroot (acl2)
 File path = /opt/local/var/macports/build
 /_Users_jacksonisaac_Development_macports-
 ports_math_acl2/acl2/work/destroot//opt/local/share/acl2/8.0
 Error: Failed to destroot acl2: no files matched glob pattern "*"
 DEBUG: Error code: NONE
 DEBUG: Backtrace: no files matched glob pattern "*"
     while executing
 "$procedure $targetname"
 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
 }}}

 Correct me if I am wrong but I am guessing it is some path related issue
 probably ?

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