X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/363a5c931fa1dfe72d452f33b56b997bf24597fe..HEAD:/fixBinaryDist.sh

diff --git a/fixBinaryDist.sh b/fixBinaryDist.sh
index eebc770..c0d9a0e 100755
--- a/fixBinaryDist.sh
+++ b/fixBinaryDist.sh
@@ -10,14 +10,22 @@ pwd
 #Need to do this so modifications to the destination directory won't effect
 #the real directory 
 rm Makefile.am
-rm configure.ac 
-cp  Makefile.binary.am Makefile.am
-cp  configure.binary.ac configure.ac
-cp configure.binary configure
-cp Makefile.binary.in Makefile.in
+rm configure.ac
 
+mv  Makefile.binary.am Makefile.am
+mv  configure.binary.ac configure.ac
+sleep 3
+mv configure.binary configure
+
+
+#should probably do this in Makefile but it doesn't seem to work..
+sed -e 's/Makefile\.binary/Makefile/' Makefile.binary.in  > Makefile.in
+rm Makefile.binary.in
 #run these if possible...
-autoconf
-automake
-mkdir src
-ln -s ../preBuilt/splint src/splint
+#autoconf
+#automake
+mkdir src || echo "COULD NOT MAKE src tar ball may be incorrect"
+echo "Created this file because some versions of tar are too simple include this directory without it"  > src/dummy
+
+# Need to do this in the makefile because the tar command in make dist wants to derefence symlinks
+#ln -s ../bin/splint src/splint