diff options
author | jlam <jlam> | 2005-06-17 03:50:19 +0000 |
---|---|---|
committer | jlam <jlam> | 2005-06-17 03:50:19 +0000 |
commit | f7a31a0cbc0ecfc696537d41c2c5bf92b2bac14c (patch) | |
tree | 067490bfc0f733c9b522363134ffa36e43b49192 /math/otter | |
parent | 516d949f51bec91a74690755d12106271036f8f8 (diff) | |
download | pkgsrc-f7a31a0cbc0ecfc696537d41c2c5bf92b2bac14c.tar.gz |
Create directories before installing files into them.
Diffstat (limited to 'math/otter')
-rw-r--r-- | math/otter/Makefile | 4 |
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 |