[84101] trunk/dports/lang/coq

[jmr at macports.org]

Revision: 84101
          http://trac.macports.org/changeset/84101
Author:   jmr at macports.org
Date:     2011-09-16 20:58:26 -0700 (Fri, 16 Sep 2011)
Log Message:
-----------
coq: update to 8.3pl1 (#28843)

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

Removed Paths:
-------------
    trunk/dports/lang/coq/files/

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2011-09-17 03:12:36 UTC (rev 84100)
+++ trunk/dports/lang/coq/Portfile	2011-09-17 03:58:26 UTC (rev 84101)
@@ -3,8 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.2pl1
-revision    1
+version     8.3pl1
 platforms   darwin
 categories  lang math
 maintainers loria.fr:reilles
@@ -18,9 +17,9 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums           md5     36eed48bc63ada8abf27f96eb126906c \
-                    sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
-                    rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
+checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
+                    sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
+                    rmd160  687983bcaca723299b6ea902a1e1b07338209d55
 
 use_parallel_build yes
 configure.pre_args -prefix ${prefix}
@@ -33,7 +32,6 @@
 build.target       world 
 destroot.target    install 
 destroot.destdir   COQINSTALLPREFIX=${destroot}
-patchfiles         patch-tools-coq_makefile.ml4.diff
 
 # ocaml is not universal
 universal_variant  no
@@ -42,11 +40,10 @@
 livecheck.url	${homepage}/download/
 livecheck.regex	"<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
 
-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."
-		}
+notes "The style file for LaTeX documentation,\
+coqdoc.sty, is in ${prefix}/share/coq/latex.\
+Add this to your TEXINPUTS if you wish to\
+use it."
 
 variant doc description {Build documentation} {
                   depends_build-append port:texlive \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110916/cc3e93fe/attachment.html>