[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 
cp  Makefile.binary.am Makefile.am
cp  configure.binary.ac configure.ac
cp configure.binary configure
cp Makefile.binary.in Makefile.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
	13	rm configure.ac
	14	cp Makefile.binary.am Makefile.am
	15	cp configure.binary.ac configure.ac
	16	cp configure.binary configure
	17	cp Makefile.binary.in Makefile.in
	18
	19	#run these if possible...
	20	autoconf
	21	automake
fc97bef4	22	mkdir src \|\| echo "COULD NOT MAKE src tar ball may be incorrect"
	23	echo "Created this file because some versions of tar are too simple include this directory without it" > src/dummy
	24
	25	# Need to do this in the makefile because the tar command in make dist wants to derefence symlinks
	26	#ln -s ../bin/splint src/splint