ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

added lib sub-flag

Browse Source
This commit is contained in:
Václav Šmejkal 2022-05-02 19:19:43 +02:00
parent da03b85b9c
commit 4be38d930d
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
build.sh
View File

@ -46,17 +46,19 @@ if [[ "$1" == "test" ]]; then ########## TEST ##########
echo "Output generated as '$output'"
###
elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
###
echo "Installing header files..."
###
if [[ "$2" != "lib" ]]; then
###
echo "Installing header files..."
###
# Create why2 directory
if [[ ! -d $includeDirectory ]]; then
mkdir $includeDirectory
# Create why2 directory
if [[ ! -d $includeDirectory ]]; then
mkdir $includeDirectory
fi
cp $includeFiles $includeDirectory
fi
cp $includeFiles $includeDirectory
###
echo "Using '$compiler' as default compiler."
###