Ticket #19255: Portfile-coq.diff

Portfile

@@ -23 +23 @@
 
 use_parallel_build yes
 configure.pre_args -prefix ${prefix}
-configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
+configure.args     -emacslib ${prefix}/share/emacs/site-lisp/ \
+                   -coqide none \
+                   -with-doc no
 depends_lib        bin:ocamlc:ocaml port:camlp5
-build.target       world 
-destroot.target    install 
+build.target       world
+destroot.target    install
 destroot.destdir   COQINSTALLPREFIX=${destroot} \
                    FULLMANDIR=${destroot}${prefix}/share/man/
 
@@ -35 +37 @@
                   ui_msg "Add this to your TEXINPUTS if you wish to"
                   ui_msg "use it."
                 }
+
+variant doc description {Build documentation} {
+                  depends_lib port:texlive
+                  depends_lib port:hevea
+                  depends_lib port:netpbm
+                  configure.args-delete -with-doc no
+                  configure.args-append -with-doc yes
+}
+
+variant coqide description {Install CoqIDE} {
+                  depends_lib port:lablgtk2
+                  configure.args-delete -coqide none
+                  configure.args-append -coqide opt
+}