blob: 5c45f880ea1a82b4c6a7c02fdb63ffe3eccaf74f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
diff --git a/install.sh b/install.sh
index 72f6163..e84c645 100755
--- a/install.sh
+++ b/install.sh
@@ -17,6 +17,16 @@ fi
BINDIR=$PREFIX/bin
LIBDIR=$PREFIX/share/herdtools7
+if ! [ -d $BINDIR ]
+then
+ mkdir -p $BINDIR
+fi
+
+if ! [ -d $LIBDIR ]
+then
+ mkdir -p $LIBDIR
+fi
+
cpbin () {
SUB=$1
EXECS="$2"
|