[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide

[MacPorts]

#50505: Mistakes in Portfile regarding the variant coqide
----------------------------------------------+----------------------------
 Reporter:  hippallium-macports@…             |      Owner:  macports-
     Type:  defect                            |  tickets@…
 Priority:  Normal                            |     Status:  new
Component:  ports                             |  Milestone:
 Keywords:  coqide, lablgtk2, gtksourceview2  |    Version:  2.3.4
                                              |       Port:  coq
----------------------------------------------+----------------------------
 There are two mistakes in the Coq Portfile that prevent from installing
 the variant coqide:

 * The “none” at near the end of the Portfile should instead be a “no”.

 * The dependency lablgtk2 has to be built with the variant gtksourceview2

-- 
Ticket URL: <https://trac.macports.org/ticket/50505>
MacPorts <https://www.macports.org/>
Ports system for OS X