[MacPorts] #19255: coq-8.2 new variant for coqide

[MacPorts]

#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