diff options
Diffstat (limited to 'math/otter/Makefile')
| -rw-r--r-- | math/otter/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile index 64f188aea6c..b6f2596fe43 100644 --- a/math/otter/Makefile +++ b/math/otter/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.10 2004/01/20 12:20:05 agc Exp $ +# $NetBSD: Makefile,v 1.11 2004/12/03 15:15:03 wiz Exp $ DISTNAME= otter-3.0.6 CATEGORIES= math @@ -8,7 +8,7 @@ MAINTAINER= tech-pkg@NetBSD.org HOMEPAGE= http://www.mcs.anl.gov/AR/otter/ COMMENT= Automated Deduction System -ALL_TARGET= otter +BUILD_TARGET= otter WRKSRC= ${WRKDIR}/${PKGNAME_NOREV}/source do-install: |