[30036] trunk/dports/math

[source_changes at macosforge.org]

Revision: 30036
          http://trac.macosforge.org/projects/macports/changeset/30036
Author:   mww at macports.org
Date:     2007-10-18 13:52:23 -0700 (Thu, 18 Oct 2007)

Log Message:
-----------
new port math/isabelle-devel

Added Paths:
-----------
    trunk/dports/math/isabelle-devel/
    trunk/dports/math/isabelle-devel/Portfile

Added: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	                        (rev 0)
+++ trunk/dports/math/isabelle-devel/Portfile	2007-10-18 20:52:23 UTC (rev 30036)
@@ -0,0 +1,39 @@
+# $Id: $
+
+PortSystem 1.0
+
+name			isabelle-devel
+version			2007-10-18
+categories		math
+platforms		darwin
+maintainers		mww
+description		Isabelle is a popular generic theorem proving environment
+long_description	Isabelle is a generic proof assistant. It allows mathematical \
+			formulas to be expressed in a formal language and provides \
+			tools for proving those formulas in a logical calculus. The \
+			main application is the formalization of mathematical proofs \
+			and in particular formal verification, which includes proving \
+			the correctness of computer hardware or software and proving \
+			properties of computer languages and protocols. \
+			This version is a development snapshot of the upcoming 2007 release.
+
+homepage		http://isabelle.in.tum.de/
+master_sites		${homepage}/devel/
+distname		Isabelle_18-Oct-2007
+checksums		sha1 088d873e3762aa3482e093729658d3fd1f03d9d6
+
+depends_lib		port:polyml
+
+use_configure		no
+
+build {
+	system "cd ${worksrcpath} && ./build -a -b"
+	file delete -force ${worksrcpath}/doc
+}
+
+destroot {
+	file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2007
+	system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2007/bin/isabelle isabelle-2007"
+	file delete -force ${destroot}${prefix}/lib/isabelle2007/src
+}
+

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071018/eab8388f/attachment-0001.html