New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #2351 (closed defect: fixed)

Opened 9 years ago

Last modified 9 years ago

UPDATE: coq 8.0pl1

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

Description

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

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

Change History

Changed 9 years ago by reilles@…

the updated portfile

comment:1 Changed 9 years ago by mww@…

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

checking... compiling...

comment:2 Changed 9 years ago by mww@…

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

comment:3 Changed 9 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.