Ticket #15394 (closed defect: fixed)
acl2-3.2 uses now-invalid cd command
| Reported by: | blb@… | Owned by: | gwright@… |
|---|---|---|---|
| Priority: | High | Milestone: | Port Bugs |
| 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
Change History
Note: See
TracTickets for help on using
tickets.

