[MacPorts] #15394: acl2-3.2 uses now-invalid cd command
#15394: acl2-3.2 uses now-invalid cd command ------------------------------+--------------------------------------------- Reporter: blb@macports.org | Owner: gwright@macports.org Type: defect | Status: new Priority: High | Milestone: Port Bugs Component: ports | Version: 1.6.0 Keywords: port bug cd | ------------------------------+--------------------------------------------- math/acl2 uses the cd Portfile command which is now invalid. Will attach a patch which avoids this. -- Ticket URL: <http://trac.macports.org/ticket/15394> MacPorts <http://www.macports.org/> Ports system for Mac OS
#15394: acl2-3.2 uses now-invalid cd command -------------------------------+-------------------------------------------- Reporter: blb@macports.org | Owner: gwright@macports.org Type: defect | Status: closed Priority: High | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: port bug cd Port: acl2 | -------------------------------+-------------------------------------------- Changes (by blb@macports.org): * status: new => closed * resolution: => fixed * port: => acl2 Comment: Maintainer timeout, so committed in r40898. -- Ticket URL: <http://trac.macports.org/ticket/15394#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#15394: acl2-3.2 uses now-invalid cd command -------------------------------+-------------------------------------------- Reporter: blb@macports.org | Owner: gwright@macports.org Type: defect | Status: closed Priority: High | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: port bug cd Port: acl2 | -------------------------------+-------------------------------------------- Comment(by blb@macports.org): Missed one part, fixed in r41098 (caught by dbueno at gmail.com in #16967). -- Ticket URL: <http://trac.macports.org/ticket/15394#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts