diff --git a/build.sh b/build.sh index c763511..fae3b32 100644 --- a/build.sh +++ b/build.sh @@ -99,6 +99,18 @@ elif [[ "$1" == "install" ]]; then ########## INSTALL ########## fi fi + ### + echo "Compiling why2-app..." + ### + + ./build.sh app + + ### + echo "Installing why2-app..." + ### + + cp $appOutput /usr/bin/why2 + ### echo "Finished! Cleaning up..." ###