[MacPorts] #16967: patch to upgrade acl2 port to v3.4
#16967: patch to upgrade acl2 port to v3.4 ------------------------------+--------------------------------------------- Reporter: dbueno@gmail.com | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Keywords: | Port: acl2 ------------------------------+--------------------------------------------- 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. -- Ticket URL: <http://trac.macports.org/ticket/16967> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@gmail.com | Owner: gwright@macports.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by blb@macports.org): * owner: macports-tickets@lists.macosforge.org => gwright@macports.org -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@gmail.com | Owner: gwright@macports.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Comment(by blb@macports.org): 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. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@gmail.com | Owner: gwright@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by gwright@macports.org): * status: new => assigned Comment: 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. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@… | Owner: gwright@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by gwright@…): * status: assigned => closed * resolution: => fixed Comment: The acl2 port is now at 3.5, which seems to work for everyone. Closing. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts