New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #15394 (closed defect: fixed)

Opened 5 years ago

Last modified 4 years ago

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

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

Change History

Changed 5 years ago by blb@…

Portfile patch

comment:1 Changed 5 years ago by blb@…

  • Status changed from new to closed
  • Resolution set to fixed
  • Port set to acl2

Maintainer timeout, so committed in r40898.

comment:2 Changed 5 years ago by blb@…

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

comment:3 Changed 4 years ago by anonymous

  • Milestone Port Bugs deleted

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.