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} ]
8 echo Warning: ¤{INSTALL_DIR} already exists! Please rename or delete it before executing this script
11 if [ ! -d ¤{BINARIES_DIR} ]
13 echo Error: ¤{BINARIES_DIR} directory not found!
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