summaryrefslogtreecommitdiff
path: root/math/otter
diff options
context:
space:
mode:
authorasau <asau@pkgsrc.org>2012-09-11 23:04:15 +0000
committerasau <asau@pkgsrc.org>2012-09-11 23:04:15 +0000
commitb0feb9f5b186a62a131121fe59db9ccdc0a844bd (patch)
treeb25c2af3335af12ba6ddabd1da702cd960afaeee /math/otter
parent7f83a9404a6462cbf7741a2b27b16584af55429c (diff)
downloadpkgsrc-b0feb9f5b186a62a131121fe59db9ccdc0a844bd.tar.gz
"user-destdir" is default these days
Diffstat (limited to 'math/otter')
-rw-r--r--math/otter/Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile
index 239fb9c2bdf..bc589a57752 100644
--- a/math/otter/Makefile
+++ b/math/otter/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.15 2008/03/04 18:12:59 jlam Exp $
+# $NetBSD: Makefile,v 1.16 2012/09/11 23:04:25 asau Exp $
DISTNAME= otter-3.0.6
CATEGORIES= math
@@ -8,8 +8,6 @@ MAINTAINER= pkgsrc-users@NetBSD.org
HOMEPAGE= http://www-unix.mcs.anl.gov/AR/otter/
COMMENT= Automated Deduction System
-PKG_DESTDIR_SUPPORT= user-destdir
-
BUILD_TARGET= otter
WRKSRC= ${WRKDIR}/${PKGNAME_NOREV}/source