dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch


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"