CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2019/03/13 03:34:42
Modified files:
devel/frama-c : Makefile
Log message:
mark BROKEN-i386
Packing
/usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>
>>> src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>
>>> src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>
>>> src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)
ld: error: undefined symbol: ml_as_z_neg
(etc.etc.)
