New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #2351 (closed defect: fixed)

Opened 12 years ago

Last modified 12 years ago

UPDATE: coq 8.0pl1

Reported by: reilles@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:


The ocaml guys commited a version with breaks coq. Hopefully, there is a patch for it. I modified the portfile to fetch and apply the patch, and it builds fine.

This patch will have to be removed with the future ocaml version, since they should fix things


plop (1.1 KB) - added by reilles@… 12 years ago.
the updated portfile

Change History

Changed 12 years ago by reilles@…

the updated portfile

comment:1 Changed 12 years ago by mww@…

  • Owner changed from darwinports-bugs@… to mww@…

checking... compiling...

comment:2 Changed 12 years ago by mww@…

mandir is prefix/man instead of prefix/share/man (compiles fine though..)

comment:3 Changed 12 years ago by mww@…

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

thanks - commited! (incl. hack for mandir)

Note: See TracTickets for help on using tickets.