On Sun, Sep 08 2019, Antoine Jacoutot <ajacou...@bsdfrog.org> wrote: > On Sat, Sep 07, 2019 at 11:11:53AM -0600, Christopher Zimmermann wrote: >> CVSROOT: /cvs >> Module name: ports >> Changes by: chr...@cvs.openbsd.org 2019/09/07 11:11:53 >> >> Modified files: >> devel/frama-c : Makefile distinfo >> devel/frama-c/patches: patch-Makefile patch-configure_in >> devel/frama-c/pkg: PFRAG.dynlink-native PFRAG.native PLIST >> >> Log message: >> Update to 19.0, which supports OCaml 4.08. >> >> OK (ports-wise) jca@ > > Does not build.
[...] > ocamlfind: Package `cairo2' not found - required by `lablgtk3' > gmake: *** [share/Makefile.generic:71: src/plugins/qed/hcons.cmi] Error 2 > *** Error 2 in devel/frama-c > (/exopi-cvs/ports/infrastructure/mk/bsd.port.mk:2781 > '/exopi-obj/pobj/frama-c-19.0/.build_done') > *** Error 1 in devel/frama-c > (/exopi-cvs/ports/infrastructure/mk/bsd.port.mk:2447 'build') > ===> Exiting devel/frama-c with an error > *** Error 1 in /exopi-cvs/ports (infrastructure/mk/bsd.port.subdir.mk:137 > 'build') > Error: job failed with 256 on exopi-4 at 1567910488 Already pointed out in https://marc.info/?l=openbsd-ports&m=156675813310045&w=2 Should be fixed by https://marc.info/?l=openbsd-ports-cvs&m=156792729102975&w=2 -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
