[MacPorts] #15394: acl2-3.2 uses now-invalid cd command

MacPorts noreply at macports.org
Wed May 21 19:29:37 PDT 2008

#15394: acl2-3.2 uses now-invalid cd command
 Reporter:  blb at macports.org  |       Owner:  gwright at 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

More information about the macports-tickets mailing list