Opened 14 years ago
Closed 13 years ago
#28843 closed update (fixed)
coq update to upstream 8.3pl1
| Reported by: | benoit.triquet@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | coqide ocaml | Cc: | |
| Port: | coq |
Description
There has been a previous upgrade request with status open for 5 months now. Please advise whether the coq port is abandoned/orphaned.
The current coq package is @8.2pl1. With variant +coqide it does not compile with current ocaml @3.12 (debian has the same problem, it appears to be related to stronger typechecking in newer ocaml).
The simplest solution is to upgrade to upstream 8.3pl1, which compiles fines with ocaml 3.12 without any patches. Variants +coqide and +doc have been tested and work (coqide has been tested with gtk2 variant +x11 only, not +quartz+no_x11).
Please find the updated portfile attached.
Please advise whether a separate bug report shall be filed against coq @8.2pl1.
port lint --nitpick warns about trailing whitespace but i did not fix this as The Guide requires that whitespace commits be made separately from serious commits. I leave that to the committers.
Attachments (1)
Change History (3)
Changed 14 years ago by benoit.triquet@…
comment:1 Changed 14 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | reilles@… reilles@… removed |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
comment:2 Changed 13 years ago by jmroot (Joshua Root)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
| Version: | 1.9.2 |
Updated, r84101. In future, please provide updates to existing portfiles as a unified diff, and please don't edit the Id line.
coq portfile update to upstream 8.3pl1