Opened 13 years ago

Closed 13 years ago

Last modified 13 years ago

#2351 closed defect (fixed)

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

Attachments (1)

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

Download all attachments as: .zip

Change History (4)

Changed 13 years ago by reilles@…

the updated portfile

comment:1 Changed 13 years ago by mww@…

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

checking... compiling...

comment:2 Changed 13 years ago by mww@…

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

comment:3 Changed 13 years ago by mww@…

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

thanks - commited! (incl. hack for mandir)

Note: See TracTickets for help on using tickets.