[splint.git] / fixBinaryDist.sh

#!/bin/sh

#This script is intended to be called in make dist
#THis is intended to be run in the distribution directory...

pwd
#echo doing bash
#bash

#Need to do this so modifications to the destination directory won't effect
#the real directory 
rm Makefile.am
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 || 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
Commit	Line	Data
363a5c93	1	#!/bin/sh
	2
	3	#This script is intended to be called in make dist
	4	#THis is intended to be run in the distribution directory...
	5
	6	pwd
	7	#echo doing bash
	8	#bash
	9
	10	#Need to do this so modifications to the destination directory won't effect
	11	#the real directory
	12	rm Makefile.am
f0c4f4d3	13	rm configure.ac
363a5c93	14
f0c4f4d3	15	mv Makefile.binary.am Makefile.am
	16	mv configure.binary.ac configure.ac
	17	sleep 3
	18	mv configure.binary configure
	19
	20
	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
	23	rm Makefile.binary.in
363a5c93	24	#run these if possible...
f0c4f4d3	25	#autoconf
f0c4f4d3	26	#automake
fc97bef4	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
	29
	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