Opened 16 years ago

Closed 15 years ago

#16967 closed enhancement (fixed)

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 (1)

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

Download all attachments as: .zip

Change History (6)

Changed 16 years ago by dbueno@…

Attachment: acl2-3.4.diff​ added

patch to upgrade port to 3.4

comment:1 Changed 16 years ago by blb@…

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

comment:2 Changed 16 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 16 years ago by gwright@…

Status: new → 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 16 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

comment:5 Changed 15 years ago by gwright@…

Resolution: → fixed
Status: assigned → closed

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

Note: See TracTickets for help on using tickets.