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

replaced lib sub-flag with include

Browse Source
This commit is contained in:
Václav Šmejkal 2022-05-05 19:04:22 +02:00
parent b19846eb65
commit 9918c4ab4a
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build.sh
View File

@ -52,7 +52,7 @@ if [[ "$1" == "test" ]]; then ########## TEST ##########
echo "Output generated as '$testOutput'" echo "Output generated as '$testOutput'"
### ###
elif [[ "$1" == "install" ]]; then ########## INSTALL ########## elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
if [[ "$2" != "lib" ]]; then if [[ "$2" == "include" ]]; then
### ###
echo "Installing header files..." echo "Installing header files..."
### ###
@ -63,6 +63,8 @@ elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
fi fi
cp $includeFiles $includeDirectory cp $includeFiles $includeDirectory
exit
fi fi
### ###
@ -85,7 +87,6 @@ elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
$compiler $flags -o $installOutput *.o $compiler $flags -o $installOutput *.o
if [[ "$2" != "lib" ]]; then
### ###
echo "Installing library..." echo "Installing library..."
### ###
@ -97,7 +98,6 @@ elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
echo -e "\nCompilation failed. Did you run 'configure.sh' first and 'build.sh' with sudo?" echo -e "\nCompilation failed. Did you run 'configure.sh' first and 'build.sh' with sudo?"
exit 1 exit 1
fi fi
fi
### ###
echo "Compiling why2-app..." echo "Compiling why2-app..."