fixBinaryDist.sh

   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