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?