[58218] trunk/dports/lang/coq

jann at macports.org jann at macports.org
Thu Sep 24 03:40:58 PDT 2009


Revision: 58218
          http://trac.macports.org/changeset/58218
Author:   jann at macports.org
Date:     2009-09-24 03:40:54 -0700 (Thu, 24 Sep 2009)
Log Message:
-----------
Version update from ticket #21415

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Added Paths:
-----------
    trunk/dports/lang/coq/files/
    trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2009-09-24 08:53:59 UTC (rev 58217)
+++ trunk/dports/lang/coq/Portfile	2009-09-24 10:40:54 UTC (rev 58218)
@@ -3,7 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.2
+version     8.2pl1
 platforms   darwin
 categories  lang math
 maintainers loria.fr:reilles
@@ -17,21 +17,39 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums           md5     077c027e0f69e8ea240206ceb0f0d003 \
-                    sha1    cac79093f1639c309b400aced13c749f278abbea \
-                    rmd160  fb8506fa0c469a428a43649a13819bc18949570e
+checksums           md5     36eed48bc63ada8abf27f96eb126906c \
+                    sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
+                    rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
 
 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/ \
+                   -mandir ${prefix}/share/man \
+                   -coqdocdir ${prefix}/share/coq/latex \
+                   -coqide none \
+                   -with-doc no
 depends_lib        bin:ocamlc:ocaml port:camlp5
 build.target       world 
 destroot.target    install 
-destroot.destdir   COQINSTALLPREFIX=${destroot} \
-                   FULLMANDIR=${destroot}${prefix}/share/man/
+destroot.destdir   COQINSTALLPREFIX=${destroot}
+patchfiles         patch-doc-tools-latex_filter.diff
 
 post-activate	{ ui_msg "The style file for LaTeX documentation,"
 		  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
 		  ui_msg "Add this to your TEXINPUTS if you wish to"
 		  ui_msg "use it."
 		}
+
+variant doc description {Build documentation} {
+                  depends_build port:texlive
+                  depends_build port:hevea
+                  depends_build 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
+}

Added: trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff
===================================================================
--- trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff	                        (rev 0)
+++ trunk/dports/lang/coq/files/patch-doc-tools-latex_filter.diff	2009-09-24 10:40:54 UTC (rev 58218)
@@ -0,0 +1,13 @@
+--- doc/tools/latex_filter.orig	2009-09-16 12:20:36.000000000 +0900
++++ doc/tools/latex_filter	2009-09-16 12:22:27.000000000 +0900
+@@ -12,6 +12,10 @@
+ while : ; do 
+   read -r line; 
+   case $line in
++    "! pdfTeX warning (dest)"*)
++      verbose=0
++      echo $line $chapter;
++      ;;
+     "! "*)
+       echo $line $file;
+       error=1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090924/291cca18/attachment-0001.html>


More information about the macports-changes mailing list