Opened 15 years ago
Closed 14 years ago
#19255 closed enhancement (fixed)
coq-8.2 new variant for coqide
| Reported by: | thomas.hutchinson@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.7.1 |
| Keywords: | Cc: | ||
| Port: | coq |
Description
Added a new variant to optionally install coqide.
Put dependency on lablgtk2. Think their should be a +quartz option? (lablgtk2 will soon have a quartz variant)
Attachments (1)
Change History (7)
comment:1 Changed 15 years ago by mf2k (Frank Schima)
| Cc: | reilles@… removed |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
comment:2 Changed 15 years ago by thomas.hutchinson@…
Changed 15 years ago by thomas.hutchinson@…
| Attachment: | Portfile-coq.diff added |
|---|
comment:3 Changed 15 years ago by thomas.hutchinson@…
"pngtopnm" and "pnmtops" are required to build the documentation too - so I added netpbm as a doc dependency
comment:4 Changed 15 years ago by (none)
| Milestone: | Port Enhancements |
|---|
Milestone Port Enhancements deleted
comment:5 Changed 14 years ago by thomas.hutchinson@…
This patch was applied to the Coq port. Please close ticket.
comment:6 Changed 14 years ago by mf2k (Frank Schima)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Looks like r58228.
Note: See
TracTickets for help on using
tickets.
Uploaded new version of patch that has a variant for doc (requires texlive and hevea)