summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2007-09-21 13:03:25 +0000
committerwiz <wiz@pkgsrc.org>2007-09-21 13:03:25 +0000
commit3528e063450c6c10f9548d9ded687e713f731a1b (patch)
tree48b3195c505f0c48c6098bc0d627477188a674f9 /lang/coq
parent244ea701f14dd6e37e3554caa6ec8038018cecb5 (diff)
downloadpkgsrc-3528e063450c6c10f9548d9ded687e713f731a1b.tar.gz
Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves.
Bump PKGREVISION.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index 553df998aea..040683823c9 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,7 +1,8 @@
-# $NetBSD: Makefile,v 1.16 2007/02/25 15:03:52 tonio Exp $
+# $NetBSD: Makefile,v 1.17 2007/09/21 13:03:56 wiz Exp $
#
DISTNAME= coq-8.1
+PKGREVISION= 1
CATEGORIES= lang math
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.1/
@@ -37,7 +38,7 @@ PKG_OPTIONS_VAR= PKG_OPTIONS.coq
PKG_SUPPORTED_OPTIONS= coqide
.include "../../mk/bsd.options.mk"
.if !empty(PKG_OPTIONS:Mcoqide)
-.include "../../x11/lablgtk2/buildlink3.mk"
+.include "../../x11/lablgtk/buildlink3.mk"
.include "../../x11/gtk2/buildlink3.mk"
PLIST_SUBST+= WITH_IDE=''
.else