src/internal_config/INSTALL_BIN.template

   1 #!/bin/bash
   2 #
   3 # This script copies BINARIES content into INSTALL, and substitute paths to enable extra compilation.
   4 # It also initialises sat with PROJECT/project.pyconf
   5 # If INSTALL already exists : does nothing!
   6 if [ -d ¤{INSTALL_DIR} ]
   7 then
   8     echo Warning: ¤{INSTALL_DIR} already exists! Please rename or delete it before executing this script
   9     exit
  10 fi
  11 if [ ! -d ¤{BINARIES_DIR} ]
  12 then
  13     echo Error: ¤{BINARIES_DIR} directory not found!
  14     exit
  15 fi
  16 mkdir ¤{INSTALL_DIR}
  17 echo copies ¤{BINARIES_DIR} into ¤{INSTALL_DIR}
  18 cp -RP ¤{BINARIES_DIR}/*  ¤{INSTALL_DIR}
  19 echo does the substitutions
  20 # do the required substitutions
  21 ¤{SUBSTITUTION_LOOP}