Opened 20 years ago

Closed 20 years ago

Last modified 20 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:
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 (1)

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

Download all attachments as: .zip

Change History (4)

Changed 20 years ago by reilles@…

Attachment: plop added

the updated portfile

comment:1 Changed 20 years ago by mww@…

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

checking... compiling...

comment:2 Changed 20 years ago by mww@…

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

comment:3 Changed 20 years ago by mww@…

Resolution: fixed
Status: newclosed

thanks - commited! (incl. hack for mandir)

Note: See TracTickets for help on using tickets.