suppression de l'init project dans install_bin : c'est maintenant fait pas défaut

[tools/sat.git] / src / internal_config / INSTALL_BIN.template

diff --git a/src/internal_config/INSTALL_BIN.template b/src/internal_config/INSTALL_BIN.template
index 5e8cd657fb48e7a1bf433d990a9743189adf728a..39ff35c9e822ab4d5116b84386bd73d48adbd684 100644 (file)
--- a/src/internal_config/INSTALL_BIN.template
+++ b/src/internal_config/INSTALL_BIN.template
@@ -1,10 +1,11 @@
 #!/bin/bash
 # 
 # This script copies BINARIES content into INSTALL, and substitute paths to enable extra compilation. 
+# It also initialises sat with PROJECT/project.pyconf
 # If INSTALL already exists : does nothing!
-if [ -d INSTALL ]
+if [ -d ¤{INSTALL_DIR} ]
 then
-    echo Warning: INSTALL already exists! Please rename or delete it before executing this script
+    echo Warning: ¤{INSTALL_DIR} already exists! Please rename or delete it before executing this script
     exit
 fi
 if [ ! -d ¤{BINARIES_DIR} ]
@@ -12,9 +13,9 @@ then
     echo Error: ¤{BINARIES_DIR} directory not found!
     exit
 fi
-mkdir INSTALL
-echo copies BINARIES-FD24 into INSTALL
-cp -RP ¤{BINARIES_DIR}/*  INSTALL
+mkdir ¤{INSTALL_DIR}
+echo copies ¤{BINARIES_DIR} into ¤{INSTALL_DIR}
+cp -RP ¤{BINARIES_DIR}/*  ¤{INSTALL_DIR}
 echo does the substitutions
 # do the required substitutions
 ¤{SUBSTITUTION_LOOP}