[97968] trunk/dports/math/boolector/Portfile

ryandesign at macports.org ryandesign at macports.org
Thu Sep 20 21:45:08 PDT 2012


Revision: 97968
          http://trac.macports.org//changeset/97968
Author:   ryandesign at macports.org
Date:     2012-09-20 21:45:07 -0700 (Thu, 20 Sep 2012)
Log Message:
-----------
boolector: add standard modeline; adjust whitespace of a few lines to match

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

Modified: trunk/dports/math/boolector/Portfile
===================================================================
--- trunk/dports/math/boolector/Portfile	2012-09-21 04:43:57 UTC (rev 97967)
+++ trunk/dports/math/boolector/Portfile	2012-09-21 04:45:07 UTC (rev 97968)
@@ -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
@@ -27,7 +28,10 @@
 
 installs_libs       no
 
-patchfiles patch-configure.diff patch-btorexp.c.diff patch-btorsat.c.diff patch-makefile.in.diff
+patchfiles          patch-configure.diff \
+                    patch-btorexp.c.diff \
+                    patch-btorsat.c.diff \
+                    patch-makefile.in.diff
 
 use_parallel_build  no
 
@@ -48,6 +52,6 @@
         ${destroot}${prefix}/share/doc/${name}
 }
 
-livecheck.type       regex
-livecheck.url        ${homepage}
-livecheck.regex      boolector-(\[0-9\.\]+).tar.gz
+livecheck.type      regex
+livecheck.url       ${homepage}
+livecheck.regex     boolector-(\[0-9\.\]+).tar.gz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20120920/bdccf934/attachment.html>


More information about the macports-changes mailing list