diff options
Diffstat (limited to 'math/otter/Makefile')
-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 |