[40898] trunk/dports/math/acl2/Portfile

blb at macports.org blb at macports.org
Fri Oct 17 12:45:28 PDT 2008


Revision: 40898
          http://trac.macports.org/changeset/40898
Author:   blb at macports.org
Date:     2008-10-17 12:45:27 -0700 (Fri, 17 Oct 2008)
Log Message:
-----------
math/acl2 - remove use of Tcl cd command, ticket #15394 (maintainer timeout)

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

Modified: trunk/dports/math/acl2/Portfile
===================================================================
--- trunk/dports/math/acl2/Portfile	2008-10-17 18:41:08 UTC (rev 40897)
+++ trunk/dports/math/acl2/Portfile	2008-10-17 19:45:27 UTC (rev 40898)
@@ -47,10 +47,10 @@
 		workshops.tar.gz md5 218a53abcbb53bac3c286c28df9ee0ad \
 		nonstd.tar.gz    md5 58b6f12ec3b68cf6c0ba30b8bd040d4b
 
-post-extract	{ cd ${workpath}
-		  file rename ${name}-sources ${name}-${version}
-		  file rename workshops ${name}-${version}/books
-		  file rename nonstd    ${name}-${version}/books
+post-extract	{
+		  file rename ${workpath}/${name}-sources ${workpath}/${name}-${version}
+		  file rename ${workpath}/workshops ${workpath}/${name}-${version}/books
+		  file rename ${workpath}/nonstd    ${workpath}/${name}-${version}/books
 		}
 
 use_configure	no
@@ -79,14 +79,12 @@
 variant nonstd	   { }
 
 build		{ if {[variant_isset openmcl]} {
-		         cd ${worksrcpath}
-			 system "make large LISP=openmcl"
+			 system "cd ${worksrcpath} && make large LISP=openmcl"
 			 if {[variant_isset nonstd]} {
-		  	         system "make large-acl2r LISP=openmcl"
+		  	         system "cd ${worksrcpath} && make large-acl2r LISP=openmcl"
 			 }
 		  } else {
-		         cd ${worksrcpath}
-			 system "make large LISP=sbcl"
+			 system "cd ${worksrcpath} && make large LISP=sbcl"
 			 if {[variant_isset nonstd]} {
 			         system "make large-acl2r LISP=sbcl"
 			 }
@@ -145,24 +143,22 @@
 
 
 		  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"
+			system "cd ${destroot}/${target_path} && make clean-books"
+			system "cd ${destroot}/${target_path} && 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"
+			system "cd ${destroot}/${target_path} && make clean-books"
+			system "cd ${destroot}/${target_path} && 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"
+				system "cd ${destroot}/${target_path} && make ACL2=${destroot}${prefix}/share/${name}/${version}/saved_acl2r regression-nonstd > ${rlogfile_nonstd} 2>&1"
 			}
 		  }
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20081017/c2c28fa2/attachment.html 


More information about the macports-changes mailing list