On Sat, Sep 07, 2019 at 11:11:53AM -0600, Christopher Zimmermann wrote:
> CVSROOT: /cvs
> Module name: ports
> Changes by: [email protected] 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.
>>> Building on exopi-4 under devel/frama-c
BDEPENDS =
[devel/ocaml-yojson;math/ocaml-zarith;devel/metaauto;sysutils/findlib;x11/lablgtk3;devel/gmake;devel/autoconf/2.69;devel/ocaml-graph;math/graphviz;lang/ocaml]
DIST = [devel/frama-c:frama-c-19.0-Potassium.tar.gz]
FULLPKGNAME = frama-c-19.0
RDEPENDS =
[devel/ocaml-graph;lang/ocaml;math/graphviz;x11/lablgtk3;math/ocaml-zarith;devel/ocaml-yojson]
(Junk lock obtained for exopi-4 at 1567910343)
>>> Running depends in devel/frama-c at 1567910343
last junk was in games/pokerth
/usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 graphviz-2.36.0p13
lablgtk3-3.0.beta6 metaauto-1.0p3 ocaml-4.07.1 ocaml-graph-1.8.8
ocaml-yojson-1.7.0p0 ocaml-zarith-1.7p0
was: /usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 gmake-4.2.1p3
graphviz-2.36.0p13 lablgtk3-3.0.beta6 metaauto-1.0p3 ocaml-4.07.1
ocaml-graph-1.8.8 ocaml-yojson-1.7.0p0 ocaml-zarith-1.7p0
/usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 graphviz-2.36.0p13
lablgtk3-3.0.beta6 metaauto-1.0p3 ocaml-4.07.1 ocaml-graph-1.8.8
ocaml-yojson-1.7.0p0 ocaml-zarith-1.7p0
New and changed readme(s):
/usr/local/share/doc/pkg-readmes/tcl-8.5
--- +tcl-8.5.19p4 -------------------
You may wish to add /usr/local/lib/tcl/tcl8.5/man to /etc/man.conf
--- +tk-8.5.19p1 -------------------
You may wish to add /usr/local/lib/tcl/tk8.5/man to /etc/man.conf
>>> Running show-prepare-results in devel/frama-c at 1567910376
===> devel/frama-c
===> frama-c-19.0 depends on: lablgtk3-* -> lablgtk3-3.0.beta6
===> frama-c-19.0 depends on: ocaml-graph-* -> ocaml-graph-1.8.8
===> frama-c-19.0 depends on: graphviz-* -> graphviz-2.36.0p13
===> frama-c-19.0 depends on: ocaml-zarith-* -> ocaml-zarith-1.7p0
===> frama-c-19.0 depends on: ocaml-yojson-* -> ocaml-yojson-1.7.0p0
===> frama-c-19.0 depends on: ocaml-=4.07.1 -> ocaml-4.07.1
===> frama-c-19.0 depends on: findlib-* -> findlib-1.8.0
===> frama-c-19.0 depends on: metaauto-* -> metaauto-1.0p3
===> frama-c-19.0 depends on: autoconf-2.69 -> autoconf-2.69p2
===> frama-c-19.0 depends on: gmake-* -> gmake-4.2.1p3
===> Verifying specs: atk-1.0 c cairo cairo-gobject fontconfig freetype gdk-3
gdk_pixbuf-2.0 gio-2.0 glib-2.0 gmp gobject-2.0 gtk-3 gtksourceview-3.0 intl m
pango-1.0 pangocairo-1.0 pthread z
===> found atk-1.0.21809.3 c.95.1 cairo.13.0 cairo-gobject.2.0 fontconfig.12.0
freetype.29.0 gdk-3.2201.1 gdk_pixbuf-2.0.3200.1 gio-2.0.4200.9 glib-2.0.4201.2
gmp.10.0 gobject-2.0.4200.9 gtk-3.2201.0 gtksourceview-3.0.3.5 intl.6.0 m.10.1
pango-1.0.3800.2 pangocairo-1.0.3800.1 pthread.26.1 z.5.0
autoconf-2.69p2
findlib-1.8.0
gmake-4.2.1p3
graphviz-2.36.0p13
lablgtk3-3.0.beta6
metaauto-1.0p3
ocaml-4.07.1
ocaml-graph-1.8.8
ocaml-yojson-1.7.0p0
ocaml-zarith-1.7p0
(Junk lock released for exopi-4 at 1567910378)
distfiles size=5615479
>>> Running patch in devel/frama-c at 1567910378
===> devel/frama-c
===> Checking files for frama-c-19.0
`/exopi-cvs/ports/distfiles/frama-c-19.0-Potassium.tar.gz' is up to date.
>> (SHA256) frama-c-19.0-Potassium.tar.gz: OK
===> Extracting for frama-c-19.0
===> Patching for frama-c-19.0
===> Applying OpenBSD patch patch-Makefile
Hmm... Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-Makefile,v 1.2 2019/09/07 17:11:53 chrisz Exp $
|
|don't try to build or install cmx* files on bytecode builds.
|
|Index: Makefile
|--- Makefile.orig
|+++ Makefile
--------------------------
Patching file Makefile using Plan A...
Hunk #1 succeeded at 1234.
Hunk #2 succeeded at 1866.
Hunk #3 succeeded at 1886.
done
===> Applying OpenBSD patch patch-configure_in
Hmm... Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-configure_in,v 1.2 2019/09/07 17:11:53 chrisz Exp $
|
|Use system threads if available - even on bytecode builds.
|Vmthreads are broken and deprecated.
|
|Index: configure.in
|--- configure.in.orig
|+++ configure.in
--------------------------
Patching file configure.in using Plan A...
Hunk #1 succeeded at 446.
done
===> Compiler link: clang -> /usr/bin/clang
===> Compiler link: clang++ -> /usr/bin/clang++
===> Compiler link: cc -> /usr/bin/cc
===> Compiler link: c++ -> /usr/bin/c++
>>> Running configure in devel/frama-c at 1567910380
===> devel/frama-c
===> Generating configure for frama-c-19.0
Running autoconf-2.69 in /exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0
configure.ac:45: warning: prefer named diversions
configure.ac:49: warning: prefer named diversions
configure.ac:99: warning: prefer named diversions
configure.ac:42: warning: prefer named diversions
configure.ac:57: warning: prefer named diversions
src/plugins/aorai/configure.ac:45: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded
from...
src/plugins/aorai/configure.ac:45: the top level
src/plugins/aorai/configure.ac:49: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded
from...
src/plugins/aorai/configure.ac:49: the top level
src/plugins/security_slicing/configure.ac:42: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded
from...
src/plugins/security_slicing/configure.ac:42: the top level
src/plugins/wp/configure.ac:57: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded
from...
src/plugins/wp/configure.ac:57: the top level
configure.in:977: warning: prefer named diversions
configure.in:982: warning: prefer named diversions
configure.in:988: warning: prefer named diversions
configure.in:993: warning: prefer named diversions
configure.in:1017: warning: prefer named diversions
===> Configuring for frama-c-19.0
Using /exopi-obj/pobj/frama-c-19.0/config.site (generated)
configure: WARNING: unrecognized options: --disable-silent-rules,
--disable-gtk-doc
configure: loading site script /exopi-obj/pobj/frama-c-19.0/config.site
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for gmake... gmake
checking version of make... 4.2
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
checking version of OCaml... 4.07.1
checking OCaml library path... /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
native dynlink works fine. Great.
checking for ocamlfind... ocamlfind
configure: Distribution mode: all warnings are deactivated
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamlcp... ocamlcp
checking for ocamlgraph... found 1.8.8: should work
checking for zarith... found
checking for Yojson... configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamlmktop... ocamlmktop
checking for otags... no
checking for Apron... not found. The corresponding domains won't be available
in Eva
checking for MPFR... not found. The numerors domain won't be available in Eva
checking for Landmarks... not found.
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking OCaml native threads... ok.
checking for gcc... cc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... (cached) o
checking whether we are using the GNU C compiler... (cached) yes
checking whether cc accepts -g... (cached) yes
checking for cc option to accept ISO C89... none needed
checking how to run the C preprocessor... cc -E
checking for grep that handles long lines and -e... (cached) /usr/bin/grep
checking for egrep... (cached) /usr/bin/egrep
checking for ANSI C header files... (cached) yes
checking for sys/types.h... (cached) yes
checking for sys/stat.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for memory.h... (cached) yes
checking for strings.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for stdint.h... (cached) yes
checking for unistd.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for assert.h... (cached) yes
checking for float.h... (cached) yes
checking for math.h... (cached) yes
checking for signal.h... (cached) yes
checking for unistd.h... (cached) yes
checking how to run the C preprocessor... cc -E
/* Check whether comments are kept in output */
Default preprocessor is 'cc -E -C -I.'.
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m32\"; : not found
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m64\"; : not found
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m16\"; : not found
Default preprocessor supported architecture-related options:
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/plugins/callgraph... yes
callgraph... yes
checking for src/plugins/constant_propagation... yes
semantic_constant_folding... yes
checking for src/plugins/from... yes
from_analysis... yes
checking for src/plugins/gui... yes
gui... yes
checking for src/plugins/impact... yes
impact... yes
checking for src/plugins/inout... yes
inout... yes
checking for src/plugins/metrics... yes
metrics... yes
checking for src/plugins/occurrence... yes
occurrence... yes
checking for src/plugins/pdg... yes
pdg... yes
checking for src/plugins/postdominators... yes
postdominators... yes
checking for src/plugins/rte... yes
rtegen... yes
checking for src/plugins/scope... yes
scope... yes
checking for src/plugins/slicing... yes
slicing... yes
checking for src/plugins/sparecode... yes
sparecode... yes
checking for src/plugins/users... yes
users... yes
checking for src/plugins/value... yes
eva... yes
checking for src/plugins/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... no
checking for src/plugins/e-acsl/Makefile.in... yes
e_acsl... yes
checking for uname... uname
checking for stdio.h... (cached) yes
checking for doxygen... no
checking for dot... yes
configure: creating ./config.status
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: executing default commands
configure: WARNING: unrecognized options: --disable-silent-rules,
--disable-gtk-doc
checking for src/plugins/loop_analysis/Makefile.in... yes
loop_analysis... yes
checking for src/plugins/nonterm/Makefile.in... yes
nonterm... yes
checking for src/plugins/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/plugins/print_api... yes
print_api... yes
checking for src/plugins/qed... yes
qed... yes
checking for src/plugins/report/Makefile.in... yes
report... yes
checking for src/plugins/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/plugins/studia/Makefile.in... yes
studia... yes
checking for src/plugins/variadic/Makefile.in... yes
variadic... yes
checking for src/plugins/wp/Makefile.in... yes
wp... yes
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
ocamlfind -> using /usr/local/lib/ocaml/lablgtk3
checking for
/usr/local/lib/ocaml/lablgtk3-sourceview3/lablgtksourceview2.cmxa... no
checking for
/usr/local/lib/ocaml/lablgtk3-sourceview3/lablgtk3_sourceview3.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk3/lablgnomecanvas.cmxa... no
checking for /usr/local/lib/ocaml/lablgtk3/lablgtk.cmxa... no
checking for /usr/local/lib/ocaml/lablgtk3/lablgtk3.cmxa... yes
checking for dot... yes
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: WARNING: ltl2ba not found.
configure: WARNING: aorai partially enabled because ltl2ba missing.
checking for coqc... no
configure: rerun configure to make wp using coq 8.7.2 or higher
ocamlfind: Package `why3' not found
why3 api not found (no why3 prover detection)
configure: WARNING: lablgnomecanvas.cmxa not found
configure: WARNING: gui partially enabled because
/usr/local/lib/ocaml/lablgtk3/lablgnomecanvas.cmxa missing.
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: creating src/plugins/e-acsl/Makefile
config.status: creating src/plugins/loop_analysis/Makefile
config.status: creating src/plugins/nonterm/Makefile
config.status: creating src/plugins/obfuscator/Makefile
config.status: creating src/plugins/report/Makefile
config.status: creating src/plugins/studia/Makefile
config.status: creating src/plugins/variadic/Makefile
config.status: creating src/plugins/aorai/Makefile
config.status: creating src/plugins/security_slicing/Makefile
config.status: creating src/plugins/wp/Makefile
config.status: creating share/Makefile.config
config.status: executing default commands
configure: WARNING: unrecognized options: --disable-silent-rules,
--disable-gtk-doc
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: callgraph: yes
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: partial, /usr/local/lib/ocaml/lablgtk3/lablgnomecanvas.cmxa
missing
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: rtegen: yes
configure: scope: yes
configure: slicing: yes
configure: sparecode: yes
configure: users: yes
configure: eva: yes
configure: aorai: partial, ltl2ba missing
configure: e_acsl: yes
configure: loop_analysis: yes
configure: nonterm: yes
configure: obfuscator: yes
configure: print_api: yes
configure: qed: yes
configure: report: yes
configure: security_slicing: yes
configure: studia: yes
configure: variadic: yes
configure: wp: yes
>>> Running build in devel/frama-c at 1567910402
===> devel/frama-c
===> Building for frama-c-19.0
Ocamllex src/kernel_internals/parsing/clexer.ml
386 states, 4411 transitions, table size 19960 bytes
3359 additional bytes used for bindings
Ocamlyacc src/kernel_internals/parsing/cparser.ml
Ocamllex src/kernel_internals/parsing/logic_lexer.ml
156 states, 1841 transitions, table size 8300 bytes
1981 additional bytes used for bindings
Ocamlyacc src/kernel_internals/parsing/logic_parser.ml
Ocamllex src/kernel_internals/parsing/logic_preprocess.ml
138 states, 558 transitions, table size 3060 bytes
2139 additional bytes used for bindings
ocamlfind: Package `cairo2' not found - required by `lablgtk3'
Generating src/kernel_internals/runtime/config.ml
Ocamllex src/libraries/utils/json.ml
36 states, 360 transitions, table size 1656 bytes
Generating src/libraries/stdlib/transitioning.ml
Generating src/kernel_internals/runtime/frama_c_config.ml
Generating share/frama-c.rc
Generating share/Makefile.dynamic_config
gmake[1]: Entering directory
'/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0'
Generating src/plugins/wp/.Makefile.plugin.generated
Generating src/plugins/variadic/.Makefile.plugin.generated
Generating src/plugins/studia/.Makefile.plugin.generated
Generating src/plugins/security_slicing/.Makefile.plugin.generated
Generating src/plugins/report/.Makefile.plugin.generated
Generating src/plugins/qed/.Makefile.plugin.generated
Generating src/plugins/print_api/.Makefile.plugin.generated
Generating src/plugins/obfuscator/.Makefile.plugin.generated
Generating src/plugins/nonterm/.Makefile.plugin.generated
Generating src/plugins/loop_analysis/.Makefile.plugin.generated
Generating src/plugins/e-acsl/.Makefile.plugin.generated
Generating src/plugins/aorai/.Makefile.plugin.generated
Generating src/plugins/slicing/.Makefile.plugin.generated
Generating src/plugins/sparecode/.Makefile.plugin.generated
Generating src/plugins/scope/.Makefile.plugin.generated
Generating src/plugins/pdg/.Makefile.plugin.generated
Generating src/plugins/impact/.Makefile.plugin.generated
Generating src/plugins/inout/.Makefile.plugin.generated
Generating src/plugins/postdominators/.Makefile.plugin.generated
Generating src/plugins/constant_propagation/.Makefile.plugin.generated
Generating src/plugins/users/.Makefile.plugin.generated
Generating src/plugins/from/.Makefile.plugin.generated
Generating src/plugins/rte/.Makefile.plugin.generated
Generating src/plugins/occurrence/.Makefile.plugin.generated
Generating src/plugins/value/.Makefile.plugin.generated
Generating src/plugins/callgraph/.Makefile.plugin.generated
Generating src/plugins/metrics/.Makefile.plugin.generated
Ocamllex src/plugins/wp/script.ml
57 states, 826 transitions, table size 3646 bytes
Ocamllex src/plugins/wp/rformat.ml
31 states, 1109 transitions, table size 4622 bytes
4393 additional bytes used for bindings
Ocamllex src/plugins/wp/driver.ml
105 states, 2064 transitions, table size 8886 bytes
2265 additional bytes used for bindings
Ocamllex src/plugins/wp/why3_xml.ml
114 states, 1396 transitions, table size 6268 bytes
3538 additional bytes used for bindings
Generating src/plugins/wp/ProverDetect.ml (none)
Generating src/plugins/wp/Wp.mli
Generating META.frama-c-wp
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Wp.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Wp.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Wp.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Metrics.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Callgraph.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Eva.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Occurrence.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/RteGen.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/From.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Users.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Constant_Propagation.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Postdominators.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Inout.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Impact.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Pdg.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Scope.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Sparecode.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Slicing.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Aorai.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/E_ACSL.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/LoopAnalysis.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Nonterm.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Obfuscator.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Print_api.mli
Generating src/plugins/qed/Qed.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Qed.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Report.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Security_slicing.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Studia.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Variadic.mli
Ocamldep src/plugins/wp/.depend
Generating META.frama-c-variadic
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Variadic.mli
Ocamldep src/plugins/variadic/.depend
Generating META.frama-c-studia
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Studia.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Studia.mli
Ocamldep src/plugins/studia/.depend
Generating META.frama-c-security_slicing
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Security_slicing.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Security_slicing.mli
Ocamldep src/plugins/security_slicing/.depend
Generating META.frama-c-report
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Report.mli
Ocamldep src/plugins/report/.depend
Generating META.frama-c-qed
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Qed.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Qed.mli
Ocamldep src/plugins/qed/.depend
Ocamlyacc src/plugins/print_api/grammar.ml
Ocamllex src/plugins/print_api/lexer.ml
8 states, 264 transitions, table size 1104 bytes
Generating META.frama-c-print_api
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Print_api.mli
Ocamldep src/plugins/print_api/.depend
Generating META.frama-c-obfuscator
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Obfuscator.mli
Ocamldep src/plugins/obfuscator/.depend
Generating META.frama-c-nonterm
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Nonterm.mli
Ocamldep src/plugins/nonterm/.depend
Generating META.frama-c-loopanalysis
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/LoopAnalysis.mli
Ocamldep src/plugins/loop_analysis/.depend
Generating src/plugins/e-acsl/local_config.ml
Generating META.frama-c-e_acsl
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/E_ACSL.mli
Ocamldep src/plugins/e-acsl/.depend
Ocamllex src/plugins/aorai/promelalexer_withexps.ml
100 states, 4420 transitions, table size 18280 bytes
Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml
4 shift/reduce conflicts.
Ocamllex src/plugins/aorai/promelalexer.ml
85 states, 4392 transitions, table size 18078 bytes
Ocamlyacc src/plugins/aorai/promelaparser.ml
Ocamllex src/plugins/aorai/ltllexer.ml
82 states, 3369 transitions, table size 13968 bytes
Ocamlyacc src/plugins/aorai/ltlparser.ml
7 shift/reduce conflicts.
Ocamllex src/plugins/aorai/yalexer.ml
73 states, 2302 transitions, table size 9646 bytes
Ocamlyacc src/plugins/aorai/yaparser.ml
Generating META.frama-c-aorai
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Aorai.mli
Ocamldep src/plugins/aorai/.depend
Generating META.frama-c-slicing
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Slicing.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Slicing.mli
Ocamldep src/plugins/slicing/.depend
Generating META.frama-c-sparecode
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Sparecode.mli
Ocamldep src/plugins/sparecode/.depend
Generating META.frama-c-scope
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Scope.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Scope.mli
Ocamldep src/plugins/scope/.depend
Generating META.frama-c-pdg
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Pdg.mli
Ocamldep src/plugins/pdg/.depend
Generating META.frama-c-impact
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Impact.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Impact.mli
Ocamldep src/plugins/impact/.depend
Generating META.frama-c-inout
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Inout.mli
Ocamldep src/plugins/inout/.depend
Generating META.frama-c-postdominators
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Postdominators.mli
Ocamldep src/plugins/postdominators/.depend
Generating META.frama-c-constant_propagation
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Constant_Propagation.mli
Ocamldep src/plugins/constant_propagation/.depend
Generating META.frama-c-users
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Users.mli
Ocamldep src/plugins/users/.depend
Generating META.frama-c-from
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/From.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/From.mli
Ocamldep src/plugins/from/.depend
Generating META.frama-c-rtegen
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/RteGen.mli
Ocamldep src/plugins/rte/.depend
Generating META.frama-c-occurrence
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Occurrence.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Occurrence.mli
Ocamldep src/plugins/occurrence/.depend
Generating src/plugins/value/domains/apron/apron_domain.ml
Generating src/plugins/value/domains/numerors/numerors_domain.ml
Generating META.frama-c-eva
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Eva.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Eva.mli
Ocamldep src/plugins/value/.depend
Generating META.frama-c-callgraph
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Callgraph.mli
Ocamldep src/plugins/callgraph/.depend
Generating META.frama-c-metrics
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Metrics.mli
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/gui/Metrics.mli
Ocamldep src/plugins/metrics/.depend
Ocamldep src/plugins/metrics/.depend
Ocamldep src/plugins/callgraph/.depend
Ocamldep src/plugins/value/.depend
Ocamldep src/plugins/occurrence/.depend
Ocamldep src/plugins/rte/.depend
Ocamldep src/plugins/from/.depend
Ocamldep src/plugins/users/.depend
Ocamldep src/plugins/constant_propagation/.depend
Ocamldep src/plugins/postdominators/.depend
Ocamldep src/plugins/inout/.depend
Ocamldep src/plugins/impact/.depend
Ocamldep src/plugins/pdg/.depend
Ocamldep src/plugins/scope/.depend
Ocamldep src/plugins/sparecode/.depend
Ocamldep src/plugins/slicing/.depend
Ocamldep src/plugins/aorai/.depend
Ocamldep src/plugins/e-acsl/.depend
Ocamldep src/plugins/loop_analysis/.depend
Ocamldep src/plugins/nonterm/.depend
Ocamldep src/plugins/obfuscator/.depend
Ocamldep src/plugins/print_api/.depend
Ocamldep src/plugins/qed/.depend
Ocamldep src/plugins/report/.depend
Ocamldep src/plugins/security_slicing/.depend
Ocamldep src/plugins/studia/.depend
Ocamldep src/plugins/variadic/.depend
Ocamldep src/plugins/wp/.depend
Generating .depend
gmake[1]: Leaving directory '/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0'
Generating src/plugins/wp/.Makefile.plugin.generated
Generating src/plugins/variadic/.Makefile.plugin.generated
Generating src/plugins/studia/.Makefile.plugin.generated
Generating src/plugins/security_slicing/.Makefile.plugin.generated
Generating src/plugins/report/.Makefile.plugin.generated
Generating src/plugins/qed/.Makefile.plugin.generated
Generating src/plugins/print_api/.Makefile.plugin.generated
Generating src/plugins/obfuscator/.Makefile.plugin.generated
Generating src/plugins/nonterm/.Makefile.plugin.generated
Generating src/plugins/loop_analysis/.Makefile.plugin.generated
Generating src/plugins/e-acsl/.Makefile.plugin.generated
Generating src/plugins/aorai/.Makefile.plugin.generated
Generating src/plugins/slicing/.Makefile.plugin.generated
Generating src/plugins/sparecode/.Makefile.plugin.generated
Generating src/plugins/scope/.Makefile.plugin.generated
Generating src/plugins/pdg/.Makefile.plugin.generated
Generating src/plugins/impact/.Makefile.plugin.generated
Generating src/plugins/inout/.Makefile.plugin.generated
Generating src/plugins/postdominators/.Makefile.plugin.generated
Generating src/plugins/constant_propagation/.Makefile.plugin.generated
Generating src/plugins/users/.Makefile.plugin.generated
Generating src/plugins/from/.Makefile.plugin.generated
Generating src/plugins/rte/.Makefile.plugin.generated
Generating src/plugins/occurrence/.Makefile.plugin.generated
Generating src/plugins/value/.Makefile.plugin.generated
Generating src/plugins/callgraph/.Makefile.plugin.generated
Generating src/plugins/metrics/.Makefile.plugin.generated
Ocamlc src/plugins/aorai/bool3.cmi
Ocamlc src/plugins/aorai/bool3.cmo
Ocamlc src/libraries/datatype/unmarshal.cmi
Ocamlc src/libraries/datatype/structural_descr.cmi
Ocamlc src/libraries/datatype/type.cmi
Ocamlc src/libraries/utils/filepath.cmi
Ocamlc src/kernel_services/plugin_entry_points/log.cmi
Ocamlc src/libraries/project/project_skeleton.cmi
Ocamlc src/libraries/utils/pretty_utils.cmi
Ocamlc src/libraries/stdlib/integer.cmi
Ocamlc src/libraries/stdlib/FCSet.cmi
Ocamlc src/libraries/stdlib/FCMap.cmi
Ocamlc src/libraries/stdlib/FCHashtbl.cmi
Ocamlc src/libraries/datatype/descr.cmi
Ocamlc src/libraries/datatype/datatype.cmi
Ocamlc src/libraries/project/state.cmi
Ocamlc src/libraries/project/state_selection.cmi
Ocamlc src/libraries/project/project.cmi
Ocamlc src/libraries/project/state_builder.cmi
Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi
Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi
Ocamlc src/kernel_services/ast_data/cil_types.cmi
Ocamlc src/kernel_services/parsetree/logic_ptree.cmi
Ocamlc src/libraries/utils/hptmap_sig.cmi
Ocamlc src/libraries/utils/hptmap.cmi
Ocamlc src/libraries/utils/hptset.cmi
Ocamlc src/kernel_services/parsetree/cabs.cmo
Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi
Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi
Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi
Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi
Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi
Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi
Ocamlc src/plugins/aorai/aorai_option.cmi
Ocamlc src/plugins/aorai/aorai_option.cmo
Ocamlc src/plugins/aorai/promelaast.cmi
Ocamlc src/plugins/aorai/path_analysis.cmo
Ocamlc src/kernel_services/ast_printing/printer_api.cmi
Ocamlc src/kernel_services/ast_printing/printer.cmi
Ocamlc src/kernel_services/ast_queries/logic_typing.cmi
Ocamlc src/kernel_services/ast_data/kernel_function.cmi
Ocamlc src/plugins/aorai/promelaoutput.cmi
Ocamlc src/plugins/aorai/promelaoutput.cmo
Ocamlc src/kernel_services/ast_queries/cil.cmi
Ocamlc src/kernel_services/visitors/visitor.cmi
Ocamlc src/kernel_services/ast_queries/logic_utils.cmi
Ocamlc src/plugins/aorai/logic_simplification.cmi
Ocamlc src/plugins/aorai/logic_simplification.cmo
Ocamlc src/kernel_internals/parsing/logic_parser.cmi
Ocamlc src/kernel_internals/parsing/logic_lexer.cmi
Ocamlc src/kernel_services/ast_queries/logic_env.cmi
Ocamlc src/kernel_services/ast_queries/logic_const.cmi
Ocamlc src/kernel_services/ast_data/globals.cmi
Ocamlc src/libraries/stdlib/extlib.cmi
Ocamlc src/kernel_internals/parsing/cparser.cmi
Ocamlc src/kernel_internals/parsing/clexer.cmi
Ocamlc src/kernel_services/ast_queries/cil_const.cmi
Ocamlc src/kernel_internals/typing/cabs2cil.cmi
Ocamlc src/kernel_services/ast_data/ast.cmi
Ocamlc src/kernel_services/ast_data/annotations.cmi
Ocamlc src/plugins/aorai/data_for_aorai.cmi
Ocamlc src/plugins/aorai/data_for_aorai.cmo
Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi
Ocamlc src/plugins/aorai/aorai_utils.cmi
Ocamlc src/plugins/aorai/aorai_utils.cmo
Ocamlc src/plugins/aorai/ltlast.cmi
Ocamlc src/plugins/aorai/ltl_output.cmi
Ocamlc src/plugins/aorai/ltl_output.cmo
Ocamlc src/plugins/aorai/utils_parser.cmo
Ocamlc src/plugins/aorai/ltlparser.cmi
Ocamlc src/plugins/aorai/ltlparser.cmo
Ocamlc src/plugins/aorai/ltllexer.cmo
Ocamlc src/plugins/aorai/yaparser.cmi
Ocamlc src/plugins/aorai/yaparser.cmo
Ocamlc src/plugins/aorai/yalexer.cmo
Ocamlc src/plugins/aorai/promelaparser.cmi
Ocamlc src/plugins/aorai/promelaparser.cmo
Ocamlc src/plugins/aorai/promelalexer.cmo
Ocamlc src/plugins/aorai/promelaparser_withexps.cmi
Ocamlc src/plugins/aorai/promelaparser_withexps.cmo
Ocamlc src/plugins/aorai/promelalexer_withexps.cmo
Ocamlc src/libraries/utils/wto.cmi
Ocamlc src/kernel_services/analysis/wto_statement.cmi
Ocamlc src/kernel_services/analysis/dataflow2.cmi
Ocamlc src/plugins/aorai/aorai_dataflow.cmi
Ocamlc src/plugins/aorai/aorai_dataflow.cmo
Ocamlc src/kernel_internals/typing/cfg.cmi
Ocamlc src/plugins/aorai/aorai_visitors.cmo
Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi
Ocamlc src/kernel_services/ast_queries/filecheck.cmi
Ocamlc src/kernel_services/ast_queries/file.cmi
Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi
Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi
Ocamlc src/kernel_services/abstract_interp/origin.cmi
Ocamlc src/kernel_services/abstract_interp/int_Base.cmi
Ocamlc src/kernel_services/abstract_interp/float_sig.cmi
Ocamlc src/kernel_services/abstract_interp/bottom.cmi
Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi
Ocamlc src/kernel_services/abstract_interp/float_interval_sig.cmi
Ocamlc src/kernel_services/abstract_interp/fc_float.cmi
Ocamlc src/kernel_services/abstract_interp/fval.cmi
Ocamlc src/kernel_services/abstract_interp/ival.cmi
Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi
Ocamlc src/libraries/utils/escape.cmi
Ocamlc src/kernel_services/abstract_interp/base.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi
Ocamlc
src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi
Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi
Ocamlc src/kernel_services/abstract_interp/locations.cmi
Ocamlc src/plugins/value_types/precise_locs.cmi
Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi
Ocamlc src/plugins/value_types/function_Froms.cmi
Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi
Ocamlc src/plugins/value_types/cvalue.cmi
Ocamlc src/plugins/value_types/value_types.cmi
Ocamlc src/kernel_services/ast_data/property.cmi
Ocamlc src/kernel_services/ast_data/property_status.cmi
Ocamlc src/plugins/pdg_types/pdgIndex.cmi
Ocamlc src/plugins/pdg_types/pdgTypes.cmi
Ocamlc src/plugins/value_types/inout_type.cmi
Ocamlc src/libraries/utils/hook.cmi
Ocamlc src/plugins/value_types/cilE.cmi
Ocamlc src/kernel_services/plugin_entry_points/db.cmi
Ocamlc src/plugins/aorai/aorai_register.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Aorai.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Aorai.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Aorai.cmo
Ocamlc src/plugins/e-acsl/local_config.cmi
Ocamlc src/plugins/e-acsl/local_config.cmo
Ocamlc src/plugins/e-acsl/options.cmi
Ocamlc src/plugins/e-acsl/options.cmo
Ocamlc src/plugins/e-acsl/rte.cmi
Ocamlc src/plugins/e-acsl/rte.cmo
Ocamlc src/plugins/e-acsl/error.cmi
Ocamlc src/plugins/e-acsl/error.cmo
Ocamlc src/kernel_internals/typing/logic_builtin.cmi
Ocamlc src/plugins/e-acsl/builtins.cmi
Ocamlc src/plugins/e-acsl/builtins.cmo
Ocamlc src/plugins/e-acsl/functions.cmi
Ocamlc src/plugins/e-acsl/functions.cmo
Ocamlc src/plugins/e-acsl/misc.cmi
Ocamlc src/plugins/e-acsl/misc.cmo
Ocamlc src/plugins/e-acsl/gmpz.cmi
Ocamlc src/plugins/e-acsl/gmpz.cmo
Ocamlc src/plugins/e-acsl/literal_strings.cmi
Ocamlc src/plugins/e-acsl/literal_strings.cmo
Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi
Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo
Ocamlc src/plugins/e-acsl/exit_points.cmi
Ocamlc src/plugins/e-acsl/exit_points.cmo
Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi
Ocamlc src/plugins/e-acsl/label.cmi
Ocamlc src/plugins/e-acsl/label.cmo
Ocamlc src/plugins/e-acsl/lscope.cmi
Ocamlc src/plugins/e-acsl/lscope.cmo
Ocamlc src/plugins/e-acsl/env.cmi
Ocamlc src/plugins/e-acsl/env.cmo
Ocamlc src/plugins/e-acsl/keep_status.cmi
Ocamlc src/plugins/e-acsl/keep_status.cmo
Ocamlc src/plugins/e-acsl/dup_functions.cmi
Ocamlc src/plugins/e-acsl/dup_functions.cmo
Ocamlc src/kernel_services/analysis/bit_utils.cmi
Ocamlc src/plugins/e-acsl/interval.cmi
Ocamlc src/plugins/e-acsl/interval.cmo
Ocamlc src/plugins/e-acsl/typing.cmi
Ocamlc src/plugins/e-acsl/typing.cmo
Ocamlc src/plugins/e-acsl/loops.cmi
Ocamlc src/plugins/e-acsl/loops.cmo
Ocamlc src/plugins/e-acsl/quantif.cmi
Ocamlc src/plugins/e-acsl/quantif.cmo
Ocamlc src/plugins/e-acsl/at_with_lscope.cmi
Ocamlc src/plugins/e-acsl/at_with_lscope.cmo
Ocamlc src/plugins/e-acsl/mmodel_translate.cmi
Ocamlc src/plugins/e-acsl/mmodel_translate.cmo
Ocamlc src/plugins/e-acsl/logic_functions.cmi
Ocamlc src/plugins/e-acsl/logic_functions.cmo
Ocamlc src/plugins/e-acsl/translate.cmi
Ocamlc src/plugins/e-acsl/translate.cmo
Ocamlc src/plugins/e-acsl/temporal.cmi
Ocamlc src/plugins/e-acsl/temporal.cmo
Ocamlc src/plugins/e-acsl/prepare_ast.cmi
Ocamlc src/plugins/e-acsl/prepare_ast.cmo
Ocamlc src/plugins/e-acsl/visit.cmi
Ocamlc src/plugins/e-acsl/visit.cmo
Ocamlc src/libraries/project/state_dependency_graph.cmi
Ocamlc src/plugins/e-acsl/main.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/E_ACSL.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/E_ACSL.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/E_ACSL.cmo
Ocamlc src/plugins/loop_analysis/options.cmi
Ocamlc src/plugins/loop_analysis/options.cmo
Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo
Ocamlc src/plugins/loop_analysis/region_analysis.cmi
Ocamlc src/plugins/loop_analysis/region_analysis.cmo
Ocamlc src/kernel_services/analysis/dominators.cmi
Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi
Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo
Ocamlc src/kernel_services/analysis/ordered_stmt.cmi
Ocamlc src/kernel_services/analysis/dataflows.cmi
Ocamlc src/plugins/loop_analysis/loop_analysis.cmi
Ocamlc src/plugins/loop_analysis/loop_analysis.cmo
Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo
Ocamlc src/kernel_services/analysis/loop.cmi
Ocamlc src/plugins/loop_analysis/register.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/LoopAnalysis.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/LoopAnalysis.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/LoopAnalysis.cmo
Ocamlc src/kernel_services/analysis/stmts_graph.cmi
Ocamlc src/plugins/nonterm/nonterm_run.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Nonterm.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Nonterm.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Nonterm.cmo
Ocamlc src/plugins/obfuscator/options.cmi
Ocamlc src/plugins/obfuscator/options.cmo
Ocamlc src/libraries/stdlib/transitioning.cmi
Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi
Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo
Ocamlc src/plugins/obfuscator/dictionary.cmi
Ocamlc src/plugins/obfuscator/dictionary.cmo
Ocamlc src/plugins/obfuscator/obfuscate.cmi
Ocamlc src/plugins/obfuscator/obfuscate.cmo
Ocamlc src/plugins/obfuscator/obfuscator_register.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Obfuscator.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Obfuscator.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Obfuscator.cmo
Ocamlc src/plugins/print_api/grammar.cmi
Ocamlc src/plugins/print_api/grammar.cmo
Ocamlc src/plugins/print_api/lexer.cmo
Ocamlc src/kernel_internals/runtime/config.cmi
Ocamlc src/plugins/print_api/print_interface.cmo
Ocamlc
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/Print_api.cmi
Generating
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Print_api.cmi
Packing
/exopi-obj/pobj/frama-c-19.0/Frama-C-snapshot-19.0/lib/plugins/top/Print_api.cmo
Ocamlc src/plugins/qed/hcons.cmi
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
--
Antoine
