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)

Portfile (2.2 KB) - added by benoit.triquet@… 14 years ago.
coq portfile update to upstream 8.3pl1

Download all attachments as: .zip

Change History (3)

Changed 14 years ago by benoit.triquet@…

Attachment: Portfile added

coq portfile update to upstream 8.3pl1

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: newclosed
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.

Note: See TracTickets for help on using tickets.