[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