OCamllabs icon Home|Differences with the last checks|Previous runs


Building on summer

(from freebsd)
2024-06-04 20:54.55 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache

/: (user (uid 1000) (gid 1000))

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMUTF8 never)

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2024-06-04 20:54.55 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 5979d639be2999663a41c1d1b8a73ce3036dcb41"))
2024-06-04 20:54.55 ---> using "2e94e5004b03fe08a15876e59bd907e053f5652a7b55cefeb621755911d262e4" from cache

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2024-06-04 20:54.56 ---> using "b4bc54507f76941ccbefe785580d5364ddec85b9b50664d9209890a6feda03ee" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2  (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1  (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2024-06-04 20:54.56 ---> using "e855cd2b85c6094a1ea1ba91b125bd826adfb63b8e9b574f01526e51b39ae9ac" from cache

/: (run (network host)
        (shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-06-04 20:54.56 ---> using "6cb695ec395392559b6be09284f12b2de41beca3380655387f54a53db6e3412a" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"aez.0.3\"\
               \nopam install -vy \"aez.0.3\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"aez.0.3\" | grep -q '\"freebsd\"'; then\
               \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
               \n        exit 69\
               \n    fi\
               \nfi\
               \n\
               \n\
               \nexit $res\
               \n"))
[NOTE] aez.0.3 is not installed.

Nothing to do.
The following actions will be performed:
=== install 3 packages
  - install aez       0.3
  - install num       1.5   [required by aez]
  - install ocamlfind 1.9.6 [required by aez]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/9: [aez.0.3: http]
Processing  2/9: [aez.0.3: http]
Processing  3/9: [aez.0.3: http]
-> retrieved num.1.5  (cached)
Processing  4/9: [aez.0.3: http] [num: gmake opam-legacy]
-> retrieved ocamlfind.1.9.6  (cached)
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing  5/9: [aez.0.3: http] [num: gmake opam-legacy] [ocamlfind: patch]
Processing  5/9: [aez.0.3: http] [num: gmake opam-legacy] [ocamlfind: ./configure]
Processing  5/9: [num: gmake opam-legacy] [ocamlfind: ./configure]
Processing  5/9: [aez.0.3/META: dl] [num: gmake opam-legacy] [ocamlfind: ./configure]
+ /home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.1/bin" "-sitelib" "/home/opam/.opam/4.14.1/lib" "-mandir" "/home/opam/.opam/4.14.1/man" "-config" "/home/opam/.opam/4.14.1/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
- 
- About the OCAML core installation:
-     Standard library:      /home/opam/.opam/4.14.1/lib/ocaml
-     Binaries:              /home/opam/.opam/4.14.1/bin
-     Manual pages:          /home/opam/.opam/4.14.1/man
-     Multi-threading type:  posix
- The directory of site-specific packages will be
-     site-lib:              /home/opam/.opam/4.14.1/lib
- The configuration file is written to:
-     findlib config file:   /home/opam/.opam/4.14.1/lib/findlib.conf
- Software will be installed:
-     Libraries:             in <site-lib>/findlib
-     Binaries:              /home/opam/.opam/4.14.1/bin
-     Manual pages:          /home/opam/.opam/4.14.1/man
-     topfind script:        /home/opam/.opam/4.14.1/lib/ocaml
- Topfind ppxopt support:    yes
- Toolbox:                   no
- Link custom runtime:       no
- Need bytes compatibility:  no
- 
- Configuration has been written to Makefile.config
- 
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing  5/9: [aez.0.3/META: dl] [num: gmake opam-legacy] [ocamlfind: gmake all]
-> retrieved aez.0.3  (http://cubicle.lri.fr/alt-ergo-zero/aez-0.3.tar.gz)
Processing  5/9: [num: gmake opam-legacy] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
-          ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14.1/lib/findlib.conf' | \
-          ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.1/lib/ocaml' | \
- 	sed -e 's;@AUTOLINK@;true;g' \
- 	    -e 's;@SYSTEM@;freebsd;g' \
- 	     >findlib_config.ml
- if [ "true" = "true" ]; then                 \
- 	cp topfind.ml.in topfind.ml;                             \
- else                                                             \
- 	sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in     \
- 		> topfind.ml ;                                   \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | 	 let pkg_ancestors = query_requirements predlist pkg in
-       	                     ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 |   let ancestors = query_requirements predlist package_name in
-                         ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | 	  let pkg_ancestors = query_requirements predlist pkg in
-       	                      ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | 	     ( let c = package_definitions search_path pkg.package_name in
-       	               ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 |   Fl_package_base.requires predlist pkg
-         ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 |   Fl_package_base.requires_deeply predlist pkglist
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 |           Fl_package_base.package_users predicates1 packages1
-                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs  -o ocamlfind -g findlib.cma unix.cma \
-            -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 |                      match Hashtbl.find Toploop.directive_table "ppx" with
-                                               ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
-          ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/lib' \
-     	    >topfind
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
-      tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/lib' | \
- 		 tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.1/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- 	echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- 	echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- 	echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- 	echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
Processing  5/9: [num: gmake opam-legacy] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5)
- /usr/local/bin/gmake -C src all
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5/src'
- cp src/num-legacy.install num.install
-> compiled  num.1.5
Processing  5/9: [ocamlfind: gmake opt]
-> installed num.1.5
Processing  6/9: [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | 	 let pkg_ancestors = query_requirements predlist pkg in
-       	                     ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 |   let ancestors = query_requirements predlist package_name in
-                         ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | 	  let pkg_ancestors = query_requirements predlist pkg in
-       	                      ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | 	     ( let c = package_definitions search_path pkg.package_name in
-       	               ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 |   Fl_package_base.requires predlist pkg
-         ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 |   Fl_package_base.requires_deeply predlist pkglist
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 |           Fl_package_base.package_users predicates1 packages1
-                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- 	   -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 |                      match Hashtbl.find Toploop.directive_table "ppx" with
-                                               ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled  ocamlfind.1.9.6
Processing  7/9: [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
-     for x in camlp4 dbm graphics labltk num ocamlbuild; do \
-       if [ -f "/home/opam/.opam/4.14.1/lib/$x/META" ]; then \
-         if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.1/lib/$x/META"; then \
-           rm -f site-lib-src/$x/META; \
-         fi; \
-       fi; \
-     done; \
-     test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
-   fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.14.1/bin"
- install -d "/home/opam/.opam/4.14.1/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14.1/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.1/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14.1/lib/findlib"
- install -d "/home/opam/.opam/4.14.1/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14.1/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.1/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.14.1/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14.1/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
-     cd "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \
-     install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.1/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/home/opam/.opam/4.14.1/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' ||	install -c tools/safe_camlp4 "/home/opam/.opam/4.14.1/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14.1/man/man1" "/home/opam/.opam/4.14.1/man/man3" "/home/opam/.opam/4.14.1/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.1/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14.1/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing  8/9: [aez: ./configure]
+ /home/opam/.opam/4.14.1/.opam-switch/build/aez.0.3/./configure  (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/aez.0.3)
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- ocaml version is 4.14.1
- ocaml library path is /home/opam/.opam/4.14.1/lib/ocaml
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamlyacc... ocamlyacc
- checking platform... Unix platform
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
Processing  8/9: [aez: gmake]
+ /usr/local/bin/gmake  (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/aez.0.3)
- Compiling common/timer.cmi
- Compiling common/timer.cmo
- Compiling common/hashcons.cmi
- Compiling common/hashcons.cmo
- Compiling common/hstring.cmi
- Compiling common/hstring.cmo
- Compiling common/vec.cmi
- Compiling common/vec.cmo
- Compiling common/heap.cmi
- Compiling common/heap.cmo
- Compiling common/iheap.cmi
- Compiling common/iheap.cmo
- Compiling smt/ty.cmi
- Compiling smt/symbols.cmi
- Compiling smt/term.cmi
- Compiling smt/literal.cmi
- Compiling smt/solver_types.cmi
- Compiling smt/explanation.cmi
- Compiling smt/exception.cmi
- Compiling smt/exception.cmo
- Compiling smt/symbols.cmo
- File "smt/symbols.ml", line 61, characters 10-28:
- 61 |   | _  -> Pervasives.compare s1 s2
-                ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/ty.cmo
- File "smt/ty.ml", line 50, characters 16-34:
- 50 |     | t1, t2 -> Pervasives.compare t1 t2
-                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/term.cmo
- File "smt/term.ml", line 55, characters 10-28:
- 55 |   let c = Pervasives.compare t2.tag t1.tag in
-                ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/literal.cmo
- File "smt/literal.ml", line 91, characters 22-40:
- 91 |   let compare a1 a2 = Pervasives.compare a1.tag a2.tag
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/solver_types.cmo
- Compiling smt/explanation.cmo
- Compiling smt/polynome.cmi
- Compiling smt/polynome.cmo
- File "smt/polynome.ml", line 221, characters 19-35:
- 221 |       with Failure "int_of_big_int" -> Big_int b
-                          ^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- Compiling smt/sig.cmi
- Compiling smt/uf.cmi
- Compiling smt/uf.cmo
- Compiling smt/use.cmi
- Compiling smt/use.cmo
- Compiling smt/intervals.cmi
- Compiling smt/intervals.cmo
- File "smt/intervals.ml", line 542, characters 18-20:
- 542 |   if x = infinity or x = neg_infinity then raise Not_a_float;
-                         ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- Compiling smt/fm.cmi
- Compiling smt/fm.cmo
- File "smt/fm.ml", line 263, characters 51-53:
- 263 |       | Some (v, ex) when X.type_info x <> Ty.Tint or is_integer_num v ->
-                                                          ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "smt/fm.ml", line 322, characters 1-24:
- 322 | 	Intervals.new_borne_sup expl b is_le uints
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 324, characters 1-24:
- 324 | 	Intervals.new_borne_inf expl b is_le uints in
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 342, characters 10-33:
- 342 |           Intervals.new_borne_inf expl c is_le (Intervals.undefined ty)
-                 ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 344, characters 3-26:
- 344 | 	  Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in
-       	  ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 437, characters 17-35:
- 437 |     with Failure "big_int_of_ratio" -> a, b
-                        ^^^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- Compiling smt/arith.cmi
- Compiling smt/arith.cmo
- Compiling smt/sum.cmi
- Compiling smt/sum.cmo
- Compiling smt/combine.cmi
- Compiling smt/combine.cmo
- File "smt/combine.ml", line 53, characters 4-22:
- 53 |     Pervasives.compare (theory_num a) (theory_num b)
-          ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/cc.cmi
- Compiling smt/cc.cmo
- Compiling smt/solver.cmi
- Compiling smt/solver.cmo
- Compiling smt/smt.cmi
- Compiling smt/smt.cmo
- File "smt/smt.ml", line 663, characters 6-20:
- 663 |       CSolver.assume uc 0;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- File "smt/smt.ml", line 684, characters 48-66:
- 684 |     Set.Make (struct type t = int let compare = Pervasives.compare end)
-                                                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "smt/smt.ml", line 697, characters 6-20:
- 697 |       CSolver.assume (Tseitin.make_cnf f) id;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- ocamlc.opt -dtypes -g -I common/ -I smt/ -annot -pack -o aez.cmo common/timer.cmo common/hashcons.cmo common/hstring.cmo common/vec.cmo common/heap.cmo common/iheap.cmo smt/exception.cmo smt/symbols.cmo smt/ty.cmo smt/term.cmo smt/literal.cmo smt/solver_types.cmo smt/explanation.cmo smt/polynome.cmo smt/uf.cmo smt/use.cmo smt/intervals.cmo smt/fm.cmo smt/arith.cmo smt/sum.cmo smt/combine.cmo smt/cc.cmo smt/solver.cmo smt/smt.cmo
- ocamlc.opt -a -dtypes -g -I common/ -I smt/ -annot -o aez.cma aez.cmo
- Compiling common/timer.cmx
- Compiling common/hashcons.cmx
- Compiling common/hstring.cmx
- Compiling common/vec.cmx
- Compiling common/heap.cmx
- Compiling common/iheap.cmx
- Compiling smt/ty.cmx
- File "smt/ty.ml", line 50, characters 16-34:
- 50 |     | t1, t2 -> Pervasives.compare t1 t2
-                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/symbols.cmx
- File "smt/symbols.ml", line 61, characters 10-28:
- 61 |   | _  -> Pervasives.compare s1 s2
-                ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/term.cmx
- File "smt/term.ml", line 55, characters 10-28:
- 55 |   let c = Pervasives.compare t2.tag t1.tag in
-                ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/literal.cmx
- File "smt/literal.ml", line 91, characters 22-40:
- 91 |   let compare a1 a2 = Pervasives.compare a1.tag a2.tag
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/solver_types.cmx
- Compiling smt/explanation.cmx
- Compiling smt/exception.cmx
- Compiling smt/polynome.cmx
- File "smt/polynome.ml", line 221, characters 19-35:
- 221 |       with Failure "int_of_big_int" -> Big_int b
-                          ^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- Compiling smt/uf.cmx
- Compiling smt/use.cmx
- Compiling smt/intervals.cmx
- File "smt/intervals.ml", line 542, characters 18-20:
- 542 |   if x = infinity or x = neg_infinity then raise Not_a_float;
-                         ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- Compiling smt/fm.cmx
- File "smt/fm.ml", line 263, characters 51-53:
- 263 |       | Some (v, ex) when X.type_info x <> Ty.Tint or is_integer_num v ->
-                                                          ^^
- Alert deprecated: Stdlib.or
- Use (||) instead.
- File "smt/fm.ml", line 322, characters 1-24:
- 322 | 	Intervals.new_borne_sup expl b is_le uints
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 324, characters 1-24:
- 324 | 	Intervals.new_borne_inf expl b is_le uints in
-       	^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 342, characters 10-33:
- 342 |           Intervals.new_borne_inf expl c is_le (Intervals.undefined ty)
-                 ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 344, characters 3-26:
- 344 | 	  Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in
-       	  ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "smt/fm.ml", line 437, characters 17-35:
- 437 |     with Failure "big_int_of_ratio" -> a, b
-                        ^^^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- Compiling smt/arith.cmx
- Compiling smt/sum.cmx
- Compiling smt/combine.cmx
- File "smt/combine.ml", line 53, characters 4-22:
- 53 |     Pervasives.compare (theory_num a) (theory_num b)
-          ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Compiling smt/cc.cmx
- Compiling smt/solver.cmx
- Compiling smt/smt.cmx
- File "smt/smt.ml", line 663, characters 6-20:
- 663 |       CSolver.assume uc 0;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- File "smt/smt.ml", line 684, characters 48-66:
- 684 |     Set.Make (struct type t = int let compare = Pervasives.compare end)
-                                                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "smt/smt.ml", line 697, characters 6-20:
- 697 |       CSolver.assume (Tseitin.make_cnf f) id;
-             ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function.
- ocamlopt.opt -I common/ -I smt/ -pack -o aez.cmx common/timer.cmx common/hashcons.cmx common/hstring.cmx common/vec.cmx common/heap.cmx common/iheap.cmx smt/exception.cmx smt/symbols.cmx smt/ty.cmx smt/term.cmx smt/literal.cmx smt/solver_types.cmx smt/explanation.cmx smt/polynome.cmx smt/uf.cmx smt/use.cmx smt/intervals.cmx smt/fm.cmx smt/arith.cmx smt/sum.cmx smt/combine.cmx smt/cc.cmx smt/solver.cmx smt/smt.cmx
- ocamlopt.opt -a -dtypes -I common/ -I smt/ -annot -for-pack Aez -I common/ -I smt/ -o aez.cmxa aez.cmx
-> compiled  aez.0.3
Processing  9/9: [aez: ocamlfind install]
+ /home/opam/.opam/4.14.1/bin/ocamlfind "install" "aez" "aez.a" "aez.cmi" "aez.cma" "aez.cmxa" "META" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/aez.0.3)
- Installed /home/opam/.opam/4.14.1/lib/aez/aez.cmxa
- Installed /home/opam/.opam/4.14.1/lib/aez/aez.cma
- Installed /home/opam/.opam/4.14.1/lib/aez/aez.cmi
- Installed /home/opam/.opam/4.14.1/lib/aez/aez.a
- Installed /home/opam/.opam/4.14.1/lib/aez/META
-> installed aez.0.3
Done.
2024-06-04 20:55.24 ---> saved as "c2e197d1beebe8c0eb64150db085d908dda04533af01910e76adc4288f3de0ba"
Job succeeded