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

 Yes. It was a path issue indeed.

 The new directory is extracted as ${name}-devel-${version} but the old
 portfile used to look into ${name}-${version}

 Replying to [comment:10 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:11>
MacPorts <https://www.macports.org/>
Ports system for macOS