[134148] trunk/dports/math/stp/Portfile

larryv at macports.org larryv at macports.org
Wed Mar 18 22:38:06 PDT 2015


Revision: 134148
          https://trac.macports.org/changeset/134148
Author:   larryv at macports.org
Date:     2015-03-18 22:38:06 -0700 (Wed, 18 Mar 2015)
Log Message:
-----------
stp: Add modeline, rearrange, and reformat (NFC)

Modified Paths:
--------------
    trunk/dports/math/stp/Portfile

Modified: trunk/dports/math/stp/Portfile
===================================================================
--- trunk/dports/math/stp/Portfile	2015-03-19 04:59:17 UTC (rev 134147)
+++ trunk/dports/math/stp/Portfile	2015-03-19 05:38:06 UTC (rev 134148)
@@ -1,3 +1,4 @@
+# -*- 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
@@ -4,11 +5,11 @@
 
 name                stp
 version             0.1
-revision            0
 categories          math
+platforms           darwin
+universal_variant   no
 license             MIT
 maintainers         nomaintainer
-platforms           darwin
 
 description         STP (Simple Theorem Provider)
 long_description    STP is a constraint solver (also referred to as a \
@@ -18,22 +19,20 @@
                     model checkers.
 homepage            http://people.csail.mit.edu/vganesh/STP_files/stp.html
 
-livecheck.version   ${name}-ver-${version}
+depends_build       path:bin/bison:bison \
+                    port:flex \
+                    path:bin/perl:perl5
 
-depends_build       path:bin/bison:bison path:bin/perl:perl5 port:flex
-
-distname            ${livecheck.version}-11-18-2008
 master_sites        sourceforge:stp-fast-prover
-
+distname            ${livecheck.version}-11-18-2008
+extract.suffix      .tgz
 checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
 
-extract.suffix      .tgz
-
 patchfiles          patch-Makefile.in.diff
 
 configure.ccache    no
 configure.pre_args  --with-prefix=${prefix}
 
-universal_variant   no
-
 use_parallel_build  no
+
+livecheck.version   ${name}-ver-${version}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150318/0cee2856/attachment.html>


More information about the macports-changes mailing list