acl2: fetch from upstream fails, needs update to current version 8.0

[fumbaz0@…]

--->  Fetching archive for acl2
--->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://packages.macports.org/acl2
--->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/acl2
--->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://lil.fr.packages.macports.org/acl2
--->  Fetching distfiles for acl2
starting special fetch procedure for acl2
Error: org.macports.fetch for port acl2 returned: The requested URL returned error: 404 Not Found

The whole directory in ​http://packages.macports.org is gone. Was the port removed?

[dbevans (David B. Evans)]

Replying to fumbaz0@…:

The whole directory in ​http://packages.macports.org is gone. Was the port removed?

No, it just hasn't been successfully fetched from the upstream server since the yosemite buildbot came online.

The root cause is that the port so far out of date that this old version has been deleted from upstream. Our port version is 3.5 and the current upstream version is 6.5!!

Port needs to be updated.

[Ionic (Mihai Moldovan)]

Has duplicate #48530.

[Ionic (Mihai Moldovan)]

Current version is 7.1 right now...

[kurthindenburg (Kurt Hindenburg)]

Likely change to use ​https://github.com/acl2/acl2/ - someone who knows lisp is going to have to try to update this - the build/port seems quite non-trival

[JacksonIsaac (Jackson Isaac)]

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.

[raimue (Rainer Müller)]

At this point, it would make more sense to just remove the port from the tree. Nobody volunteered to provide an updated version in three years and upstream is already lightyears ahead.

[JacksonIsaac (Jackson Isaac)]

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 ?

[JacksonIsaac (Jackson Isaac)]

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 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 ?

[JacksonIsaac (Jackson Isaac)]

In dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports (master):

acl2: Update to 8.0

• update to version 8.0
• Use PortGroup GitHub
• Add License
• extracted directory is ${name}-devel-${version} instead of ${name}-${version}
• /books is included in tarball for versions 7.0 and above
• Add notes for +nonstd variant when run without +ccl

Closes: #46257
Closes: #52667