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
  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
  24 #run these if possible...
  25 #autoconf
  26 #automake
  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