diff options
| author | jaapb <jaapb@pkgsrc.org> | 2014-10-10 08:39:08 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2014-10-10 08:39:08 +0000 |
| commit | 32f5171f6578d5a974fc7f16a3b45911cb084f7b (patch) | |
| tree | 65163dacd0869c5fd281ed88c5764cb7d3db2ebd /lang | |
| parent | 92a55c1362fb3adc7ca114df135a693ff96a0ca9 (diff) | |
| download | pkgsrc-32f5171f6578d5a974fc7f16a3b45911cb084f7b.tar.gz | |
Changed package dependencies to reflect lablgtk name change.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/coq/options.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/options.mk b/lang/coq/options.mk index 5942589c91c..6633d802102 100644 --- a/lang/coq/options.mk +++ b/lang/coq/options.mk @@ -1,4 +1,4 @@ -# $NetBSD: options.mk,v 1.1 2012/11/16 14:44:22 jaapb Exp $ +# $NetBSD: options.mk,v 1.2 2014/10/10 08:39:08 jaapb Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.coq PKG_SUPPORTED_OPTIONS= doc coqide @@ -34,7 +34,7 @@ CONFIGURE_ARGS+= -with-doc no .endif .if !empty(PKG_OPTIONS:Mcoqide) -.include "../../x11/lablgtk/buildlink3.mk" +.include "../../x11/ocaml-lablgtk/buildlink3.mk" .include "../../x11/gtk2/buildlink3.mk" PLIST.coqide= yes .else |