summaryrefslogtreecommitdiff
path: root/math/otter
diff options
context:
space:
mode:
authorjlam <jlam@pkgsrc.org>2005-06-17 03:50:19 +0000
committerjlam <jlam@pkgsrc.org>2005-06-17 03:50:19 +0000
commite46a9dd38060ef6414b4db2f15402a701e32c7b7 (patch)
tree067490bfc0f733c9b522363134ffa36e43b49192 /math/otter
parent412af280c005dfc946b85f88a9e754232c586fc7 (diff)
downloadpkgsrc-e46a9dd38060ef6414b4db2f15402a701e32c7b7.tar.gz
Create directories before installing files into them.
Diffstat (limited to 'math/otter')
-rw-r--r--math/otter/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile
index b6f2596fe43..5527f6008f1 100644
--- a/math/otter/Makefile
+++ b/math/otter/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.11 2004/12/03 15:15:03 wiz Exp $
+# $NetBSD: Makefile,v 1.12 2005/06/17 03:50:20 jlam Exp $
DISTNAME= otter-3.0.6
CATEGORIES= math
@@ -11,6 +11,8 @@ COMMENT= Automated Deduction System
BUILD_TARGET= otter
WRKSRC= ${WRKDIR}/${PKGNAME_NOREV}/source
+INSTALLATION_DIRS= bin
+
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/otter ${PREFIX}/bin
${INSTALL_DATA_DIR} ${PREFIX}/share/examples/otter