Opened 9 years ago

Last modified 9 years ago

#48530 closed defect

ACL2 fails to build — at Initial Version

Reported by: wbl (Watson Ladd) Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.3.3
Keywords: Cc: nomaintainer@…
Port: acl2

Description

ACL2 fails to build. A log is attached,

Change History (1)

Changed 9 years ago by wbl (Watson Ladd)

Attachment: main.log​ added

Log

Note: See TracTickets for help on using tickets.