Ticket #16967: acl2-3.4.diff

ports/math/acl2/Portfile

@@ -2 +2 @@
 
 PortSystem 1.0
 name            acl2
-version         3.2
-set shortversion        v3-2
+version         3.4
+set shortversion        v3-4
 categories      math
 maintainers     gwright@macports.org
 platforms       darwin
@@ -43 +43 @@
                 ${homepage}/distrib/acl2-sources/books:workshops        \
                 ${homepage}/distrib/acl2-sources/books:nonstd
 
-checksums       acl2.tar.gz      md5 406a6349fb20483fd2b75f21f984157e \
-                workshops.tar.gz md5 218a53abcbb53bac3c286c28df9ee0ad \
-                nonstd.tar.gz    md5 58b6f12ec3b68cf6c0ba30b8bd040d4b
+checksums       acl2.tar.gz      md5 00c210b69b585941d856616c7a66c463 \
+                workshops.tar.gz md5 f7b5d5be32399d48407ec3a768d914b0 \
+                nonstd.tar.gz    md5 d5e664da07b1f12f98c90a161cc77701
 
 post-extract    {
                   file rename ${workpath}/${name}-sources ${workpath}/${name}-${version}
@@ -86 +86 @@
                   } else {
                          system "cd ${worksrcpath} && make large LISP=sbcl"
                          if {[variant_isset nonstd]} {
-                                 system "make large-acl2r LISP=sbcl"
+                                 system "cd ${worksrcpath} && make large-acl2r LISP=sbcl"
                          }
                   }
                 }