[115011] trunk/dports/lang/coq/Portfile
larryv at macports.org
larryv at macports.org
Sat Dec 21 21:57:55 PST 2013
Revision: 115011
https://trac.macports.org/changeset/115011
Author: larryv at macports.org
Date: 2013-12-21 21:57:54 -0800 (Sat, 21 Dec 2013)
Log Message:
-----------
coq: Add modeline, reformat, rearrange.
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2013-12-22 05:45:07 UTC (rev 115010)
+++ trunk/dports/lang/coq/Portfile 2013-12-22 05:57:54 UTC (rev 115011)
@@ -1,62 +1,65 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# $Id$
-PortSystem 1.0
+PortSystem 1.0
-name coq
-version 8.4pl3
-platforms darwin
-categories lang math
-license LGPL-2.1
-maintainers nomaintainer
-homepage http://coq.inria.fr/
-master_sites ${homepage}V${version}/files/
+name coq
+version 8.4pl3
+platforms darwin
+categories lang math
+license LGPL-2.1
+maintainers nomaintainer
-description Proof assistant for higher-order logic
-long_description \
- Coq is a proof assistant for higher-order logic,\
- which allows the development of computer programs consistent with \
- their formal specification. It is developed using Objective Caml and \
- Camlp4. For more information, see <${homepage}>.
+description Proof assistant for higher-order logic
+long_description Coq is a proof assistant for higher-order logic, \
+ which allows the development of computer programs \
+ consistent with their formal specification. It is \
+ developed using Objective Caml and Camlp4.
+homepage http://coq.inria.fr/
+depends_lib port:ocaml \
+ port:camlp5
+
+master_sites ${homepage}V${version}/files/
checksums rmd160 d34331d4c61afca9436219d643da0eb7ccf67969 \
sha256 fcc0dc1c90485e6d5c90a0f99789a7ab50fcba49156f975f106b8ab5731a21e3
-depends_lib port:ocaml port:camlp5
+configure.pre_args -prefix ${prefix}
+configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \
+ -mandir ${prefix}/share/man \
+ -coqdocdir ${prefix}/share/coq/latex \
+ -coqide none \
+ -with-doc no
+build.target world
-configure.pre_args -prefix ${prefix}
-configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \
- -mandir ${prefix}/share/man \
- -coqdocdir ${prefix}/share/coq/latex \
- -coqide none \
- -with-doc no
-build.target world
+destroot.target install
+destroot.destdir COQINSTALLPREFIX=${destroot}
-destroot.target install
-destroot.destdir COQINSTALLPREFIX=${destroot}
-
# ocaml is not universal
-universal_variant no
+universal_variant no
-livecheck.type regex
-livecheck.url ${homepage}/download/
-livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
-
-notes "The style file for LaTeX documentation,\
+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."
+use it.
+"
variant doc description {Build documentation} {
- depends_build-append port:texlive \
- port:hevea \
- port:netpbm
- configure.args-delete -with-doc no
- configure.args-append -with-doc yes
- use_parallel_build no
+ depends_build-append port:hevea \
+ port:netpbm \
+ port:texlive
+ configure.args-delete -with-doc no
+ configure.args-append -with-doc yes
+ use_parallel_build no
}
variant coqide description {Install CoqIDE} {
- depends_lib-append port:lablgtk2
- configure.args-delete -coqide none
- configure.args-append -coqide opt
+ depends_lib-append port:lablgtk2
+ configure.args-delete -coqide none
+ configure.args-append -coqide opt
}
+
+livecheck.type regex
+livecheck.url ${homepage}/download/
+livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20131221/44594efe/attachment.html>
More information about the macports-changes
mailing list