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 | fc4216996bfd5b049f51530fb5e3a1f971bb5676 (patch) | |
tree | 65163dacd0869c5fd281ed88c5764cb7d3db2ebd /lang/coq | |
parent | 8bf8ea5f103d6b4fce49184f73cd83a693d9e332 (diff) | |
download | pkgsrc-fc4216996bfd5b049f51530fb5e3a1f971bb5676.tar.gz |
Changed package dependencies to reflect lablgtk name change.
Diffstat (limited to 'lang/coq')
-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 |