diff options
| author | wiz <wiz@pkgsrc.org> | 2007-09-21 13:03:25 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2007-09-21 13:03:25 +0000 |
| commit | 3528e063450c6c10f9548d9ded687e713f731a1b (patch) | |
| tree | 48b3195c505f0c48c6098bc0d627477188a674f9 /lang/coq | |
| parent | 244ea701f14dd6e37e3554caa6ec8038018cecb5 (diff) | |
| download | pkgsrc-3528e063450c6c10f9548d9ded687e713f731a1b.tar.gz | |
Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves.
Bump PKGREVISION.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 5 |
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 |