On Sat, Sep 07, 2019 at 08:10:42PM +0100, Stuart Henderson wrote:
> On 2019/09/06 16:10, Christopher Zimmermann wrote:
> > CVSROOT: /cvs
> > Module name: ports
> > Changes by: chr...@cvs.openbsd.org 2019/09/06 16:10:18
> >
> > Modified files:
> > math/coq : Makefile distinfo
> > math/coq/patches: patch-Makefile_ide patch-configure_ml
> > math/coq/pkg : PFRAG.dynlink-native PFRAG.native PLIST
> > Removed files:
> > math/coq/patches: patch-Makefile_install
> >
> > Log message:
> > Upgrade to 8.10beta2, which supports OCaml 4.08.
> >
> > no objections krw@, please commit daniel@
> >
>
> Build failed:
>
> [...]
> OCAMLC plugins/micromega/sos_lib.mli
> OCAMLOPT plugins/micromega/sos_lib.ml
> OCAMLC plugins/micromega/sos.mli
> OCAMLOPT plugins/micromega/sos.ml
> OCAMLC plugins/micromega/csdpcert.mli
> OCAMLOPT plugins/micromega/csdpcert.ml
> OCAMLBEST -o plugins/micromega/csdpcert
> OCAMLC ide/protocol/xml_lexer.mli
> ocamlfind: Package `cairo2' not found - required by `lablgtk3'
> gmake[1]: Leaving directory '/pobj/coq-8.10beta2/coq-8.10-beta2'
> gmake[1]: *** [Makefile.ide:128: ide/protocol/xml_lexer.cmi] Error 2
>
> graphics/ocaml-cairo is listed as a BUILD_DEPENDS in lablgtk3, should that
> be a RUN_DEPENDS as well as BUILD_DEPENDS?
>
> also I see this in lablgtk3's FAKE_FLAGS:
>
> INSTALLDIR=${WRKINST}${PREFIX}/lib/ocaml/lablgtk2
>
> but this directory doesn't appear in PLIST, is this an unused leftover
> from copying the Makefile from lablgtk2?
Same error in my bulk.
--
Antoine
