3 #This script is intended to be called in make dist
4 #THis is intended to be run in the distribution directory...
10 #Need to do this so modifications to the destination directory won't effect
15 mv Makefile.binary.am Makefile.am
16 mv configure.binary.ac configure.ac
18 mv configure.binary configure
21 #should probably do this in Makefile but it doesn't seem to work..
22 sed -e 's/Makefile\.binary/Makefile/' Makefile.binary.in > Makefile.in
24 #run these if possible...
27 mkdir src || echo "COULD NOT MAKE src tar ball may be incorrect"
28 echo "Created this file because some versions of tar are too simple include this directory without it" > src/dummy
30 # Need to do this in the makefile because the tar command in make dist wants to derefence symlinks
31 #ln -s ../bin/splint src/splint