diff options
author | Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:43:03 -0700 |
---|---|---|
committer | Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:43:28 -0700 |
commit | 95b5122d208ce11bc1482999ea368ff7adb85d5b (patch) | |
tree | 8eeba6bdc3ace4ff9653471a42cc13cd797dea2e /dev-util/herdtools7/files | |
parent | licenses: Add CeCILL-B license (diff) | |
download | gentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.tar.gz gentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.tar.bz2 gentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.zip |
dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory models
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-util/herdtools7/files')
-rw-r--r-- | dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch new file mode 100644 index 000000000000..5c45f880ea1a --- /dev/null +++ b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch @@ -0,0 +1,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" |