Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#15394 closed defect (fixed)

acl2-3.2 uses now-invalid cd command

Reported by: blb@… Owned by: gwright@…
Priority: High Milestone:
Component: ports Version: 1.6.0
Keywords: port bug cd Cc:
Port: acl2

Description

math/acl2 uses the cd Portfile command which is now invalid. Will attach a patch which avoids this.

Attachments (1)

acl2.diff​ (2.7 KB) - added by blb@… 16 years ago.
Portfile patch

Download all attachments as: .zip

Change History (4)

Changed 16 years ago by blb@…

Attachment: acl2.diff​ added

Portfile patch

comment:1 Changed 16 years ago by blb@…

Port: acl2 added
Resolution: → fixed
Status: new → closed

Maintainer timeout, so committed in r40898.

comment:2 Changed 16 years ago by blb@…

Missed one part, fixed in r41098 (caught by dbueno at gmail.com in #16967).

comment:3 Changed 16 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.