[24865] trunk/dports/math/acl2/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Sun May 6 15:44:58 PDT 2007
Revision: 24865
http://trac.macosforge.org/projects/macports/changeset/24865
Author: gwright at macports.org
Date: 2007-05-06 15:44:57 -0700 (Sun, 06 May 2007)
Log Message:
-----------
Version bump to 3.2, also change the +nonstd variant to build acl2r
in addition to regular acl2.
Modified Paths:
--------------
trunk/dports/math/acl2/Portfile
Modified: trunk/dports/math/acl2/Portfile
===================================================================
--- trunk/dports/math/acl2/Portfile 2007-05-06 19:32:38 UTC (rev 24864)
+++ trunk/dports/math/acl2/Portfile 2007-05-06 22:44:57 UTC (rev 24865)
@@ -2,10 +2,10 @@
PortSystem 1.0
name acl2
-version 3.0
-revision 2
+version 3.2
+set shortversion v3-2
categories math
-maintainers nomaintainer at macports.org
+maintainers gwright at macports.org
platforms darwin
description Applicative Common Lisp / A Computational Logic
long_description \
@@ -38,14 +38,14 @@
workshops${extract.suffix}:workshops \
nonstd${extract.suffix}:nonstd
-homepage http://www.cs.utexas.edu/users/moore/acl2/v3-0
+homepage http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
master_sites ${homepage}/distrib/:sources \
${homepage}/distrib/acl2-sources/books:workshops \
${homepage}/distrib/acl2-sources/books:nonstd
-checksums acl2.tar.gz md5 026065c1221850d7748de7b9cc23c7fc \
- workshops.tar.gz md5 3df53e22578f45333eb606862b57121b \
- nonstd.tar.gz md5 89e062516f1243209aacd6a0a354ac30
+checksums acl2.tar.gz md5 406a6349fb20483fd2b75f21f984157e \
+ workshops.tar.gz md5 218a53abcbb53bac3c286c28df9ee0ad \
+ nonstd.tar.gz md5 58b6f12ec3b68cf6c0ba30b8bd040d4b
post-extract { cd ${workpath}
file rename ${name}-sources ${name}-${version}
@@ -55,72 +55,155 @@
use_configure no
-depends_build port:openmcl
+depends_run port:sbcl
-build.target "large LISP=openmcl"
-set heap_image "saved_acl2.dppccl"
+set heap_image "saved_acl2.core"
+set heap_image_nonstd "saved_acl2r.core"
+set run_script "saved_acl2"
+set run_script_nonstd "saved_acl2r"
-variant sbcl { depends_build-delete port:openmcl
- depends_build-append port:sbcl
- build.target "large LISP=sbcl"
+variant openmcl conflicts i386 {
+ depends_run-delete port:sbcl
+ depends_run-append port:openmcl
global heap_image
- set heap_image "saved_acl2.core"
-}
+ global heap_image_nonstd
+ set heap_image "saved_acl2.dppccl"
+ set heap_image_nonstd "saved_acl2r.dppccl"
+ }
set target_path ${prefix}/share/${name}/${version}
-variant nonstd { global heap_image
- build.target "large-acl2r LISP=openmcl"
- set heap_image "saved_acl2r.dppccl"
+variant certify { }
+variant regression { }
+variant nonstd { }
- if {[variant_isset sbcl]} {
- build.target "large-acl2r LISP=sbcl"
- set heap_image "saved_acl2r.core"
+build { if {[variant_isset openmcl]} {
+ cd ${worksrcpath}
+ system "make large LISP=openmcl"
+ if {[variant_isset nonstd]} {
+ system "make large-acl2r LISP=openmcl"
+ }
+ } else {
+ cd ${worksrcpath}
+ system "make large LISP=sbcl"
+ if {[variant_isset nonstd]} {
+ system "make large-acl2r LISP=sbcl"
+ }
}
}
-variant certify { post-activate { cd ${target_path}
- set clogfile ${prefix}/share/${name}/${version}/certify-books.log
- ui_msg "certify-books log will be in ${clogfile}"
- system "make clean-books"
- system "make certify-books > ${clogfile} 2>&1"
- }
- }
-
-variant regression { post-activate { cd ${target_path}
- set rlogfile ${prefix}/share/${name}/${version}/regression.log
- ui_msg "regression log will be in ${rlogfile}"
- system "make clean-books"
- system "make regression > ${rlogfile} 2>&1"
- }
- }
-
destroot { file mkdir ${destroot}/${target_path}
foreach f [glob -directory ${workpath}/${name}-${version} *] {
file copy $f ${destroot}/${target_path}
}
}
-post-destroot { set script [open "${destroot}${prefix}/bin/acl2" w 755]
+post-destroot { file delete ${destroot}${prefix}/share/${name}/${version}/${run_script}
+ set script [open "${destroot}${prefix}/share/${name}/${version}/${run_script}" w 755]
- if {[variant_isset sbcl]} {
+ if {[variant_isset openmcl]} {
puts $script "#!/bin/sh"
- puts $script "export ACL2_SYSTEM_BOOKS=${prefix}/share/${name}/${version}/books"
- puts $script "sbcl --core ${target_path}/${heap_image} --userinit /dev/null --eval \'(acl2::sbcl-restart)\'"
+ puts $script "export ACL2_SYSTEM_BOOKS=${destroot}${prefix}/share/${name}/${version}/books"
+ puts $script "openmcl --eval \"(acl2::acl2-default-restart)\" --load ${destroot}${prefix}/share/${name}/${version}/cert_location --image-name ${destroot}/${target_path}/${heap_image}"
puts $script ""
} else {
puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${destroot}${prefix}/share/${name}/${version}/books"
+ puts $script "sbcl --core ${destroot}/${target_path}/${heap_image} --userinit /dev/null --eval \'(acl2::sbcl-restart)\' --load ${destroot}${prefix}/share/${name}/${version}/cert_location"
+ puts $script ""
+ }
+
+ close $script
+ system "chmod 755 ${destroot}${prefix}/share/${name}/${version}/${run_script}"
+
+ if {[variant_isset nonstd]} {
+ file delete ${destroot}${prefix}/share/${name}/${version}/${run_script_nonstd}
+ set script [open "${destroot}${prefix}/share/${name}/${version}/${run_script_nonstd}" w 755]
+
+ if {[variant_isset openmcl]} {
+ puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${destroot}${prefix}/share/${name}/${version}/books"
+ puts $script "openmcl --eval \"(acl2::acl2-default-restart)\" --load ${destroot}${prefix}/share/${name}/${version}/cert_location --image-name ${destroot}/${target_path}/${heap_image_nonstd}"
+ puts $script ""
+ } else {
+ puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${destroot}${prefix}/share/${name}/${version}/books"
+ puts $script "sbcl --core ${destroot}/${target_path}/${heap_image_nonstd} --userinit /dev/null --eval \'(acl2::sbcl-restart)\' --load ${destroot}${prefix}/share/${name}/${version}/cert_location"
+ puts $script ""
+ }
+
+ close $script
+ system "chmod 755 ${destroot}${prefix}/share/${name}/${version}/${run_script_nonstd}"
+ }
+
+ set script [open "${destroot}${prefix}/share/${name}/${version}/cert_location" w 755]
+
+ puts $script "(acl2::f-put-global \'acl2::old-certification-dir \"${destroot}${prefix}/share/${name}/${version}/books\" acl2::*the-live-state*)"
+ puts $script "(acl2::f-put-global \'acl2::new-certification-dir \"${prefix}/share/${name}/${version}/books\" acl2::*the-live-state*)"
+ close $script
+
+
+ if {[variant_isset certify]} {
+ cd ${destroot}/${target_path}
+ set clogfile ${destroot}${prefix}/share/${name}/${version}/certify-books.log
+ ui_msg "certify-books log will be in ${clogfile}"
+ system "make clean-books"
+ system "make certify-books > ${clogfile} 2>&1"
+ }
+
+ if {[variant_isset regression]} {
+ cd ${destroot}/${target_path}
+ set rlogfile ${destroot}${prefix}/share/${name}/${version}/regression.log
+ ui_msg "regression log will be in ${rlogfile}"
+ system "make clean-books"
+ system "make regression > ${rlogfile} 2>&1"
+
+ if {[variant_isset nonstd]} {
+ set rlogfile_nonstd ${destroot}${prefix}/share/${name}/${version}/regression-nonstd.log
+ ui_msg "regression-nonstd log will be in ${rlogfile_nonstd}"
+ system "make ACL2=${destroot}${prefix}/share/${name}/${version}/saved_acl2r regression-nonstd > ${rlogfile_nonstd} 2>&1"
+ }
+ }
+
+ file delete ${destroot}${prefix}/share/${name}/${version}/cert_location
+ file delete ${destroot}${prefix}/share/${name}/${version}/${run_script}
+ set script [open "${destroot}${prefix}/bin/acl2" w 755]
+
+ if {[variant_isset openmcl]} {
+ puts $script "#!/bin/sh"
puts $script "export ACL2_SYSTEM_BOOKS=${prefix}/share/${name}/${version}/books"
puts $script "openmcl --eval \"(acl2::acl2-default-restart)\" --image-name ${target_path}/${heap_image}"
puts $script ""
+ } else {
+ puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${prefix}/share/${name}/${version}/books"
+ puts $script "sbcl --core ${target_path}/${heap_image} --userinit /dev/null --eval \'(acl2::sbcl-restart)\'"
+ puts $script ""
}
close $script
system "chmod 755 ${destroot}${prefix}/bin/acl2"
- file delete ${destroot}${prefix}/share/${name}/${version}/saved_acl2
- file copy ${destroot}${prefix}/bin/acl2 \
- ${destroot}${prefix}/share/${name}/${version}/saved_acl2
+ if {[variant_isset nonstd]} {
+ file delete ${destroot}${prefix}/share/${name}/${version}/${run_script_nonstd}
+ set script [open "${destroot}${prefix}/bin/acl2r" w 755]
+
+ if {[variant_isset openmcl]} {
+ puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${prefix}/share/${name}/${version}/books"
+ puts $script "openmcl --eval \"(acl2::acl2-default-restart)\" --image-name ${target_path}/${heap_image_nonstd}"
+ puts $script ""
+ } else {
+ puts $script "#!/bin/sh"
+ puts $script "export ACL2_SYSTEM_BOOKS=${prefix}/share/${name}/${version}/books"
+ puts $script "sbcl --core ${target_path}/${heap_image_nonstd} --userinit /dev/null --eval \'(acl2::sbcl-restart)\'"
+ puts $script ""
+ }
+
+ close $script
+ system "chmod 755 ${destroot}${prefix}/bin/acl2r"
+ }
}
+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20070506/531ef459/attachment.html
More information about the macports-changes
mailing list