Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #15394 (closed defect: fixed)

Opened 7 months ago

Last modified 6 weeks ago

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

acl2.diff (2.7 KB) - added by blb@… 7 months ago.
Portfile patch

Change History

Changed 7 months ago by blb@…

Portfile patch

Changed 7 weeks ago by blb@…

  • status changed from new to closed
  • resolution set to fixed
  • port set to acl2

Maintainer timeout, so committed in r40898.

Changed 6 weeks ago by blb@…

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

Note: See TracTickets for help on using tickets.