[MacPorts] #19255: coq-8.2 new variant for coqide
#19255: coq-8.2 new variant for coqide -----------------------------------------------+---------------------------- Reporter: thomas.hutchinson@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.7.1 Keywords: | Port: coq -----------------------------------------------+---------------------------- 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) -- Ticket URL: <http://trac.macports.org/ticket/19255> MacPorts <http://www.macports.org/> Ports system for Mac OS
#19255: coq-8.2 new variant for coqide -----------------------------------------------+---------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.7.1 Keywords: | Port: coq -----------------------------------------------+---------------------------- Changes (by macsforever2000@…): * cc: reilles@… (removed) * owner: macports-tickets@… => reilles@… -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#19255: coq-8.2 new variant for coqide -----------------------------------------------+---------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.7.1 Keywords: | Port: coq -----------------------------------------------+---------------------------- Comment(by thomas.hutchinson@…): Uploaded new version of patch that has a variant for doc (requires texlive and hevea) -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#19255: coq-8.2 new variant for coqide -----------------------------------------------+---------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.7.1 Keywords: | Port: coq -----------------------------------------------+---------------------------- Comment(by thomas.hutchinson@…): "pngtopnm" and "pnmtops" are required to build the documentation too - so I added netpbm as a doc dependency -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#19255: coq-8.2 new variant for coqide ----------------------------------------------+----------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Component: ports Version: 1.7.1 | Keywords: Port: coq | ----------------------------------------------+----------------------------- Comment(by thomas.hutchinson@…): This patch was applied to the Coq port. Please close ticket. -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
#19255: coq-8.2 new variant for coqide ------------------------------------------------+--------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.7.1 Resolution: fixed | Keywords: Port: coq | ------------------------------------------------+--------------------------- Changes (by macsforever2000@…): * status: new => closed * resolution: => fixed Comment: Looks like r58228. -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts