#!/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_DIR} ]
then
    echo Warning: ¤{INSTALL_DIR} already exists! Please rename or delete it before executing this script
    exit
fi
if [ ! -d ¤{BINARIES_DIR} ]
then
    echo Error: ¤{BINARIES_DIR} directory not found!
    exit
fi
if [ -d sat ]
then
    sat/sat init --add_project $(pwd)/PROJECT/project.pyconf
fi
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}