New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #16967 (closed enhancement: fixed)

Opened 5 years ago

Last modified 4 years ago

patch to upgrade acl2 port to v3.4

Reported by: dbueno@… Owned by: gwright@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: Cc:
Port: acl2

Description

The latest version of acl2 is 3.4. The attached patch upgrades the port to this version. It doesn't change any of the build process of the port (except a small bug when the nonstd variant is set); just fetches the new files and updates the checksums.

Attachments

acl2-3.4.diff (1.2 KB) - added by dbueno@… 5 years ago.
patch to upgrade port to 3.4

Change History

Changed 5 years ago by dbueno@…

patch to upgrade port to 3.4

comment:1 Changed 5 years ago by blb@…

  • Owner changed from macports-tickets@… to gwright@…

comment:2 Changed 5 years ago by blb@…

Note that the last part of the diff is no longer needed as of r41098, as I missed it as part of #15394; thanks for catching it.

comment:3 Changed 5 years ago by gwright@…

  • Status changed from new to assigned

I have tried this and it builds the port OK. After I (successfully) run the full regression test on the port I will commit the update.

comment:4 Changed 4 years ago by anonymous

  • Milestone Port Bugs deleted

Milestone Port Bugs deleted

comment:5 Changed 4 years ago by gwright@…

  • Status changed from assigned to closed
  • Resolution set to fixed

The acl2 port is now at 3.5, which seems to work for everyone. Closing.

Note: See TracTickets for help on using tickets.