]>
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 | |
22 | mkdir src | |
23 | ln -s ../preBuilt/splint src/splint |