Opened 12 years ago

Closed 11 years ago

#35391 closed defect (worksforme)

coq @8.3pl4 source build failure: ml4 file parse errors

Reported by: macports-trac@… Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version: 2.1.2
Keywords: Cc: mww@…
Port: coq

Description

Building coq @8.3pl4 with command "sudo port -s install coq" fails in parsing some ml4 source files (see log).

Attachments (1)

main.log​ (94.7 KB) - added by macports-trac@… 12 years ago.
Build log showing error.

Download all attachments as: .zip

Change History (4)

Changed 12 years ago by macports-trac@…

Attachment: main.log​ added

Build log showing error.

comment:1 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)

Owner: changed from macports-tickets@… to reilles@…

comment:2 Changed 12 years ago by jmroot (Joshua Root)

Cc: mww@… added

Did r96032 help with this?

comment:3 Changed 11 years ago by ecronin (Eric Cronin)

Resolution: → worksforme
Status: new → closed

several updates since, re-open if it's still an issue...

Note: See TracTickets for help on using tickets.