summaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
authorasau <asau>2012-10-31 11:16:30 +0000
committerasau <asau>2012-10-31 11:16:30 +0000
commit39235c85cd75c4e6de65dab30aa5eb25b246a516 (patch)
tree6eb09c25220d76b18e8b9066167d5ee3c96a3712 /devel/frama-c
parent34758928c424260d129233b520e397ca94ea532a (diff)
downloadpkgsrc-39235c85cd75c4e6de65dab30aa5eb25b246a516.tar.gz
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Diffstat (limited to 'devel/frama-c')
-rw-r--r--devel/frama-c/Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index fd424359255..3957e6bb958 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.29 2012/10/08 23:01:22 adam Exp $
+# $NetBSD: Makefile,v 1.30 2012/10/31 11:16:58 asau Exp $
#
DISTNAME= frama-c-Oxygen-20120901
@@ -12,8 +12,6 @@ HOMEPAGE= http://frama-c.com/
COMMENT= Extensible platform dedicated to source-code analysis of C software
LICENSE= gnu-lgpl-v2
-PKG_DESTDIR_SUPPORT= user-destdir
-
USE_TOOLS+= gmake
GNU_CONFIGURE= yes