#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)
Change History (4)
Changed 20 years ago by reilles@…
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: | new → closed |
thanks - commited! (incl. hack for mandir)
Note: See
TracTickets for help on using
tickets.
the updated portfile