On 2019/09/06 16:10, Christopher Zimmermann wrote:
> CVSROOT: /cvs
> Module name: ports
> Changes by: [email protected] 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?
