[115011] trunk/dports/lang/coq/Portfile

[larryv at macports.org]

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>