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 if [ -d sat ]
  17 then
  18     sat/sat init --add_project $(pwd)/PROJECT/project.pyconf
  19 fi
  20 mkdir ¤{INSTALL_DIR}
  21 echo copies ¤{BINARIES_DIR} into ¤{INSTALL_DIR}
  22 cp -RP ¤{BINARIES_DIR}/*  ¤{INSTALL_DIR}
  23 echo does the substitutions
  24 # do the required substitutions
  25 ¤{SUBSTITUTION_LOOP}