From 92642ad504f392f81731f40668042eb420df3c51 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Thu, 12 May 2022 17:07:39 +0200 Subject: [PATCH] added why2.h into installed --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index b9ebcfa..d160280 100644 --- a/build.sh +++ b/build.sh @@ -62,6 +62,7 @@ elif [[ "$1" == "install" ]]; then ########## INSTALL ########## fi cp $includeFiles $includeDirectory + ln -s $includeDirectory/why2.h /bin/include/why2.h if [[ "$2" == "include" ]]; then exit