Building on odawa.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:ddf15bac1fa20047ef1a74f312acfa03eb67216bc7b4dc9eae73336fee957f7c
Status: Downloaded newer image for ocaml/opam:debian-unstable
2026-01-21 10:30.18 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-21 10:30.18 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 10a02a697b08f6d78a6c4c2cb9a76136afc7776d"))
2026-01-21 10:30.18 ---> using "1e900f095b617695cba731f8ea7d4f181f17d5d2c67a45e910b441ea8b4cc395" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from 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.
2026-01-21 10:30.18 ---> using "dde2ec861d92885e35715529e38f79775c7e8cc633662c811e07abc19e33e887" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt update && sudo apt install autoconf -y"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Get:1 http://deb.debian.org/debian unstable InRelease [187 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2026-01-21-0800.23-F-2026-01-16-2009.15.pdiff [881 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2026-01-21-0800.23-F-2026-01-16-2009.15.pdiff [881 kB]
Fetched 1131 kB in 1s (923 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
65 packages can be upgraded. Run 'apt list --upgradable' to see them.
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
Solving dependencies...
Installing:
autoconf
Installing dependencies:
automake autotools-dev m4
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
Summary:
Upgrading: 0, Installing: 4, Removing: 0, Not Upgrading: 65
Download size: 1757 kB
Space needed: 5333 kB / 132 GB available
Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-3 [878 kB]
Fetched 1757 kB in 0s (26.8 MB/s)
Selecting previously unselected package m4.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20859 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.20-2_amd64.deb ...
Unpacking m4 (1.4.20-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.18.1-3_all.deb ...
Unpacking automake (1:1.18.1-3) ...
Setting up m4 (1.4.20-2) ...
Setting up autotools-dev (20240727.1) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.18.1-3) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
2026-01-21 10:30.18 ---> using "1799f973d7e56ed7a0dfa7e98e537e0f6b9380429d423b25c85bd301ff8db70b" from cache
/: (run (network host)
(shell "git clone -q 'https://github.com/oxcaml/opam-repository' ~/'oxcaml' && git -C ~/'oxcaml' checkout -q d26509af1e9232ddaab223c3cab162ecf81e52b8"))
2026-01-21 10:30.18 ---> using "2814ab43288df8b068af11359de6c2e85949a3d6e2f2218776bc7c1f9c9af05e" from cache
/: (run (shell "opam repository add --dont-select 'oxcaml' ~/'oxcaml'"))
[oxcaml] Initialised
2026-01-21 10:30.18 ---> using "bdd8d3afe8e38fb87653ddbd31aa79956dedc657ba2a251ad8f4ffc25815b952" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=oxcaml,default '5.2.0+flambda2' '5.2.0+ox'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.2.0+ox"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> installed conf-autoconf.0.2
-> installed conf-which.1
-> retrieved ocaml-variants.5.2.0+ox (https://github.com/oxcaml/oxcaml/archive/refs/tags/5.2.0minus-25.tar.gz)
-> installed ocaml-variants.5.2.0+ox
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.2.0+flambda2)
2026-01-21 10:30.18 ---> using "c4b13ec5d9609bce0206ed1cb5e5f4bc921db329ec3c9213ee27bd3b03bde010" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
2026-01-21 10:30.18 ---> using "9beb6678510458dab111501a44a02ca68362c4f008cca5d48cc74c2c94ccf823" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y mlcuddidl.3.0.8\
\nopam install -vy mlcuddidl.3.0.8\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: mlcuddidl.3.0.8 | grep -q 'debian-unstable'; 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"))
[NOTE] mlcuddidl.3.0.8 is not installed.
Nothing to do.
The following actions will be performed:
=== install 5 packages
- install camlidl 1.13 [required by mlcuddidl]
- install conf-m4 1 [required by mlcuddidl]
- install mlcuddidl 3.0.8
- install ocamlbuild 0.15.0+ox [required by mlcuddidl]
- install ocamlfind 1.9.8+ox [required by mlcuddidl]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/15: [camlidl.1.13: extract]
Processing 2/15: [camlidl.1.13: extract]
Processing 3/15: [camlidl.1.13: extract] [mlcuddidl.3.0.8: extract]
Processing 4/15: [camlidl.1.13: extract] [mlcuddidl.3.0.8: extract] [ocamlbuild.0.15.0+ox: extract]
Processing 5/15: [camlidl.1.13: extract] [mlcuddidl.3.0.8: extract] [ocamlbuild.0.15.0+ox: extract] [conf-m4: sh echo | m4]
-> retrieved camlidl.1.13 (cached)
Processing 5/15: [mlcuddidl.3.0.8: extract] [ocamlbuild.0.15.0+ox: extract] [conf-m4: sh echo | m4]
Processing 6/15: [mlcuddidl.3.0.8: extract] [ocamlbuild.0.15.0+ox: extract] [ocamlfind.1.9.8+ox: extract] [conf-m4: sh echo | m4]
Processing 7/15: [mlcuddidl.3.0.8: extract] [ocamlbuild.0.15.0+ox: extract] [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [conf-m4: sh echo | m4]
-> retrieved mlcuddidl.3.0.8 (cached)
Processing 7/15: [ocamlbuild.0.15.0+ox: extract] [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [conf-m4: sh echo | m4]
-> retrieved ocamlbuild.0.15.0+ox (cached)
Processing 7/15: [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [conf-m4: sh echo | m4]
[ocamlbuild: patch] applying flambda2.patch
Processing 8/15: [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [conf-m4: sh echo | m4] [ocamlbuild: make configure.make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "echo | m4" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/conf-m4.1)
- + echo
- + m4
-
-> compiled conf-m4.1
Processing 8/15: [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [ocamlbuild: make configure.make]
-> installed conf-m4.1
Processing 9/15: [ocamlfind.1.9.8+ox: extract] [camlidl: mv] [ocamlbuild: make configure.make]
-> retrieved ocamlfind.1.9.8+ox (cached)
Processing 9/15: [camlidl: mv] [ocamlbuild: make configure.make]
[ocamlfind: patch] applying oxcaml-ocamlfind.patch
Processing 10/15: [camlidl: mv] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "mv" "config/Makefile.unix" "config/Makefile" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13)
Processing 10/15: [camlidl: make all] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/5.2.0+flambda2" "OCAMLBUILD_BINDIR=/home/opam/.opam/5.2.0+flambda2/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/5.2.0+flambda2/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/5.2.0+flambda2/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/5.2.0+flambda2/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/5.2.0+flambda2/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/5.2.0+flambda2/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/5.2.0+flambda2"; \
- echo "BINDIR=/home/opam/.opam/5.2.0+flambda2/bin"; \
- echo "LIBDIR=/home/opam/.opam/5.2.0+flambda2/lib"; \
- echo "MANDIR=/home/opam/.opam/5.2.0+flambda2/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = {|/home/opam/.opam/5.2.0+flambda2/bin|}'; \
- echo 'let libdir = {|/home/opam/.opam/5.2.0+flambda2/lib|}'; \
- echo 'let ocaml_libdir = {|/home/opam/.opam/5.2.0+flambda2/lib/ocaml|}'; \
- echo 'let libdir_abs = {|/home/opam/.opam/5.2.0+flambda2/lib|}'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.15.0"'; \
- ) > src/ocamlbuild_config.ml
Processing 10/15: [camlidl: make all] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/5.2.0+flambda2/bin" "-sitelib" "/home/opam/.opam/5.2.0+flambda2/lib" "-mandir" "/home/opam/.opam/5.2.0+flambda2/man" "-config" "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox)
- Welcome to findlib version 1.9.8
- 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...
- Configuring libraries...
- unix: found (in +unix)
- dynlink: found (in +dynlink)
- bigarray: not present (possible since 4.08)
- 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: not present
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found (in +str)
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- 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/5.2.0+flambda2/lib/ocaml
- Binaries: /home/opam/.opam/5.2.0+flambda2/bin
- Manual pages: /usr/local/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/5.2.0+flambda2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/5.2.0+flambda2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/5.2.0+flambda2/bin
- Manual pages: /home/opam/.opam/5.2.0+flambda2/man
- topfind script: /home/opam/.opam/5.2.0+flambda2/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 10/15: [camlidl: make all] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/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/5.2.0+flambda2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.2.0+flambda2/lib/ocaml' | \
- ../../tools/patch '@RELATIVE_PATHS@' 'false' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;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 fl_compat.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 findlib_config.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
- 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
- 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 fl_compat.cmo fl_split.cmo findlib_config.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 385, characters 6-16:
- 385 | Sys.signal Sys.sigint Sys.Signal_ignore in
- ^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.signal
- Use [Sys.Safe.signal].
-
- File "frontend.ml", line 428, characters 4-18:
- 428 | Sys.set_signal Sys.sigint old_sigint;
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- 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
- if [ "1" = "1" ]; then \
- cp topfind.in topfind.compat.in; \
- else \
- sed -e '/REMOVE_DIRECTORY_BEGIN/,/REMOVE_DIRECTORY_END/ d' topfind.in \
- > topfind.compat.in ; \
- fi
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind.compat.in | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/5.2.0+flambda2/lib' | \
- ../../tools/patch '@RELATIVE_PATHS@' 'false' \
- >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
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- if [ "false" = "true" ]; then \
- make findlib-relative; \
- else \
- make findlib-absolute; \
- fi
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/5.2.0+flambda2/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.2.0+flambda2/lib/ocaml:/home/opam/.opam/5.2.0+flambda2/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
- make[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
Processing 10/15: [camlidl: make all] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13)
- cd compiler; make all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/compiler'
- rm -f config.ml
- sed -e 's|%%CPP%%|cpp|' \
- config.mlp > config.ml
- chmod -w config.ml
- ocamlc -g -c config.mli
- ocamlc -g -c config.ml
- ocamlc -g -c utils.mli
- ocamlc -g -c utils.ml
- ocamlc -g -c clflags.ml
- ocamlc -g -c idltypes.mli
- ocamlc -g -c prefix.mli
- ocamlc -g -c prefix.ml
- ocamlc -g -c lexpr.mli
- ocamlc -g -c lexpr.ml
- ocamlc -g -c cvttyp.mli
- ocamlc -g -c cvttyp.ml
- ocamlc -g -c variables.mli
- ocamlc -g -c variables.ml
- ocamlc -g -c idlarray.mli
- ocamlc -g -c idlarray.ml
- ocamlc -g -c struct.mli
- ocamlc -g -c struct.ml
- ocamlc -g -c enum.mli
- ocamlc -g -c enum.ml
- ocamlc -g -c union.mli
- ocamlc -g -c union.ml
- ocamlc -g -c cvtval.mli
- ocamlc -g -c cvtval.ml
- ocamlc -g -c structdecl.mli
- ocamlc -g -c structdecl.ml
- ocamlc -g -c enumdecl.mli
- ocamlc -g -c enumdecl.ml
- ocamlc -g -c uniondecl.mli
- ocamlc -g -c uniondecl.ml
- ocamlc -g -c typedef.mli
- ocamlc -g -c typedef.ml
- ocamlc -g -c funct.mli
- ocamlc -g -c funct.ml
- ocamlc -g -c constdecl.mli
- ocamlc -g -c constdecl.ml
- ocamlc -g -c intf.mli
- ocamlc -g -c intf.ml
- ocamlc -g -c file.mli
- ocamlc -g -c file.ml
- ocamlc -g -c predef.mli
- ocamlc -g -c predef.ml
- ocamllex linenum.mll
- 16 states, 331 transitions, table size 1420 bytes
- ocamlc -g -c linenum.mli
- ocamlc -g -c linenum.ml
- ocamlc -g -c parse_aux.mli
- ocamlc -g -c parse_aux.ml
- ocamlyacc -v parser_midl.mly
- 12 shift/reduce conflicts, 4 reduce/reduce conflicts.
- ocamlc -g -c parser_midl.mli
- ocamlc -g -c parser_midl.ml
- ocamllex lexer_midl.mll
- 129 states, 1747 transitions, table size 7762 bytes
- ocamlc -g -c lexer_midl.mli
- ocamlc -g -c lexer_midl.ml
- ocamlc -g -c parse.mli
- ocamlc -g -c parse.ml
- ocamlc -g -c fixlabels.mli
- ocamlc -g -c fixlabels.ml
- ocamlc -g -c normalize.mli
- ocamlc -g -c normalize.ml
- ocamlc -g -c main.ml
- ocamlc -g -o camlidl config.cmo utils.cmo clflags.cmo prefix.cmo lexpr.cmo cvttyp.cmo variables.cmo idlarray.cmo struct.cmo enum.cmo union.cmo cvtval.cmo structdecl.cmo enumdecl.cmo uniondecl.cmo typedef.cmo funct.cmo constdecl.cmo intf.cmo file.cmo predef.cmo linenum.cmo parse_aux.cmo parser_midl.cmo lexer_midl.cmo parse.cmo fixlabels.cmo normalize.cmo main.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/compiler'
- cd runtime; make all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/runtime'
- ocamlc -g -ccopt "-Wall -g" idlalloc.c
- ocamlc -g -ccopt "-Wall -g" comintf.c
- ocamlc -g -ccopt "-Wall -g" comerror.c
- rm -f dllcamlidl.so
- ocamlmklib -o camlidl idlalloc.o comintf.o comerror.o
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/runtime'
- cd lib; make all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/lib'
- ocamlc -g -c com.mli
- ocamlc -g -c com.ml
- File "com.ml", line 39, characters 2-29:
- 39 | Callback.register_exception "Com.Error" (Error(0, "", ""))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
- ocamlc -g -a -o com.cma -dllib -lcamlidl -cclib -lcamlidl com.cmo
- ocamlopt -c com.ml
- File "com.ml", line 39, characters 2-29:
- 39 | Callback.register_exception "Com.Error" (Error(0, "", ""))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
- ocamlopt -a -o com.cmxa -cclib -lcamlidl com.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/lib'
- cd tools; make all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/camlidl.1.13/tools'
-> compiled camlidl.1.13
Processing 10/15: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
-> installed camlidl.1.13
Processing 11/15: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_compat.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 findlib_config.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
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- 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 fl_compat.cmx fl_split.cmx findlib_config.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 fl_compat.cmx fl_split.cmx findlib_config.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 385, characters 6-16:
- 385 | Sys.signal Sys.sigint Sys.Signal_ignore in
- ^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.signal
- Use [Sys.Safe.signal].
-
- File "frontend.ml", line 428, characters 4-18:
- 428 | Sys.set_signal Sys.sigint old_sigint;
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- 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
-
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
-
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- 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
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/src/findlib'
-> compiled ocamlfind.1.9.8+ox
Processing 11/15: [ocamlbuild: make check-if-preinstalled]
Processing 12/15: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox)
- if [ "0" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/5.2.0+flambda2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.2.0+flambda2/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/5.2.0+flambda2/bin"
- install -d "/home/opam/.opam/5.2.0+flambda2/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- install -d "`dirname \"/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/5.2.0+flambda2/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/src/findlib'
- install -d "/home/opam/.opam/5.2.0+flambda2/lib/findlib"
- install -d "/home/opam/.opam/5.2.0+flambda2/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/5.2.0+flambda2/lib/ocaml"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/5.2.0+flambda2/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` && \
- cp $files "/home/opam/.opam/5.2.0+flambda2/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/5.2.0+flambda2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/5.2.0+flambda2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/5.2.0+flambda2/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/5.2.0+flambda2/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- for x in bytes ; do install -d "/home/opam/.opam/5.2.0+flambda2/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/5.2.0+flambda2/lib/$x/META.tmp" && mv "/home/opam/.opam/5.2.0+flambda2/lib/$x/META.tmp" "/home/opam/.opam/5.2.0+flambda2/lib/$x/META"; done
- install -d "/home/opam/.opam/5.2.0+flambda2/lib/findlib"; cp Makefile.packages "/home/opam/.opam/5.2.0+flambda2/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/5.2.0+flambda2/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
- install -d "/home/opam/.opam/5.2.0+flambda2/man/man1" "/home/opam/.opam/5.2.0+flambda2/man/man3" "/home/opam/.opam/5.2.0+flambda2/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.2.0+flambda2/man/man1"
- cp: cannot stat 'doc/ref-man/ocamlfind.1': No such file or directory
- make[1]: [Makefile:91: install-doc] Error 1 (ignored)
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.2.0+flambda2/man/man5"
- cp: cannot stat 'doc/ref-man/META.5': No such file or directory
- cp: cannot stat 'doc/ref-man/site-lib.5': No such file or directory
- cp: cannot stat 'doc/ref-man/findlib.conf.5': No such file or directory
- make[1]: [Makefile:92: install-doc] Error 1 (ignored)
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlfind.1.9.8+ox'
-> installed ocamlfind.1.9.8+ox
Processing 12/15: [ocamlbuild: make check-if-preinstalled]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox)
- if test -d /home/opam/.opam/5.2.0+flambda2/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/5.2.0+flambda2/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 235 states, 1033 transitions, table size 5542 bytes
- 4238 additional bytes used for bindings
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/exit_codes.cmo src/my_std.cmo src/ocamlbuild_executor.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte -I +unix unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/exit_codes.cmx src/my_std.cmx src/ocamlbuild_executor.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native -I +unix unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt -I +unix unix.cma src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/ocamlbuild.0.15.0+ox'
-> compiled ocamlbuild.0.15.0+ox
-> installed ocamlbuild.0.15.0+ox
[mlcuddidl: patch] applying compilation_ocaml5.diff
[mlcuddidl: patch] applying exn_init_val_unit.diff
Processing 14/15: [mlcuddidl: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8)
- checking for mktemp... yes (/usr/bin/mktemp)
- checking for ar... yes (/usr/bin/ar)
- checking for ranlib... yes (/usr/bin/ranlib)
- checking for gsed... no
- checking for sed... yes (/usr/bin/sed)
- checking for gm4... no
- checking for m4... yes (/usr/bin/m4)
- checking for awk... yes (/usr/bin/awk)
- checking for ocamlc.opt... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt)
- checking for ocamlopt.opt... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt)
- checking for ocamldep.opt... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamldep.opt)
- checking for ocamldoc.opt... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamldoc.opt)
- checking for ocamlmklib.opt... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamlmklib.opt)
- checking for ocamlfind... yes (/home/opam/.opam/5.2.0+flambda2/bin/ocamlfind)
- checking for camlidl... yes (/home/opam/.opam/5.2.0+flambda2/bin/camlidl)
- checking for gcc... yes (/usr/bin/gcc)
- checking for g++... yes (/usr/bin/g++)
- Checking compilation of C file with ocamlopt: working
- Profiling-enabled version will not be built as no specific flag was found
- awk found: documentation will be built
Processing 14/15: [mlcuddidl: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j255" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8)
- /usr/bin/m4 macros.m4 hash.idl > tmp/hash.idl
- /usr/bin/m4 macros.m4 man.idl > tmp/man.idl
- /usr/bin/m4 macros.m4 cache.idl > tmp/cache.idl
- /usr/bin/m4 macros.m4 memo.idl > tmp/memo.idl
- /usr/bin/m4 macros.m4 bdd.idl > tmp/bdd.idl
- (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . hash.idl);
- (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . cache.idl);
- (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . memo.idl);
- (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . man.idl);
- (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . bdd.idl);
- /usr/bin/sed -f sedscript_c tmp/hash_stubs.c > hash_caml.c;
- /usr/bin/sed -f sedscript_c tmp/cache_stubs.c > cache_caml.c;
- /usr/bin/sed -f sedscript_c tmp/memo_stubs.c > memo_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/cache.ml > cache.ml;
- /usr/bin/sed -f sedscript_caml tmp/hash.ml > hash.ml;
- /usr/bin/sed -f sedscript_caml tmp/memo.ml > memo.ml;
- /usr/bin/sed -f sedscript_c tmp/man_stubs.c > man_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/cache.mli > cache.mli;
- /usr/bin/sed -f sedscript_caml tmp/hash.mli > hash.mli;
- /usr/bin/sed -f sedscript_caml tmp/man.ml > man.ml;
- /usr/bin/sed -f sedscript_caml tmp/memo.mli > memo.mli;
- /usr/bin/sed -f sedscript_c tmp/bdd_stubs.c > bdd_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/man.mli > man.mli;
- /usr/bin/sed -f sedscript_caml tmp/bdd.ml > bdd.ml;
- /usr/bin/sed -f sedscript_caml tmp/bdd.mli > bdd.mli;
- /home/opam/.opam/5.2.0+flambda2/bin/ocamldep.opt -one-line hash.mli cache.mli memo.mli man.mli bdd.mli hash.ml cache.ml memo.ml man.ml bdd.ml | \
- /usr/bin/sed -e '/\.cmo/ { p; s/\.cmo/.d.cmo/; }' \
- -e '/\.cmx/ { p; s/\.cmx/.p.cmx/; }' \
- -e '#/\.p\.cmx/ { p; s/\.p\./.d./; }' \
- > Makefile.depend
- /usr/bin/sed -e "s!@VERSION@!3.0.8!g;" -e "/gprof/ d" META.in > META;
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c hash.mli
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c cache.mli
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c man.mli
- mkdir -p cuddsrc-base;
- mkdir -p cuddsrc-dbug;
- ( srcdir="/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0"; cd cuddsrc-base && CPPFLAGS="" CFLAGS="-fPIC -O3" "${srcdir}/configure" DOXYGEN= --prefix "/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-base" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-base; false; };
- sh ./ocamlpack -o cudd_ocamldoc.mli -title "Interface to CUDD library" \
- -intro cudd.mlpacki hash cache memo man bdd
- echo "archive(native,plugin) = \"cudd.cmxs\"" >>META
- echo "plugin(native) = \"cudd.cmxs\"" >>META
- ( srcdir="/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0"; cd cuddsrc-dbug && CPPFLAGS="-DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG" CFLAGS="-fPIC -O0 -g" "${srcdir}/configure" DOXYGEN= --prefix "/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-dbug" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-dbug; false; };
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c hash.ml
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c hash.ml
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c cache.ml
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c memo.mli
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c cache.ml
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c memo.ml
- File "cache.ml", line 20, characters 23-30:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "cache.ml", line 20, characters 13-17:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "hash.ml", line 48, characters 8-25:
- 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
- ^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register
- Use [Callback.Safe.register].
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o cache.d.cmo -c cache.ml
- File "cache.ml", line 20, characters 23-30:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "cache.ml", line 20, characters 13-17:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o hash.d.cmo -c hash.ml
- File "hash.ml", line 48, characters 8-25:
- 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
- ^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register
- Use [Callback.Safe.register].
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o memo.d.cmo -c memo.ml
- File "cache.ml", line 20, characters 23-30:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "cache.ml", line 20, characters 13-17:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "hash.ml", line 48, characters 8-25:
- 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
- ^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register
- Use [Callback.Safe.register].
- /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c memo.ml
- File "memo.ml", line 1:
- Error: cache.cmx contains the description for unit
- Cache when Cudd.Cache was expected
- make: *** [Makefile:332: memo.cmx] Error 2
- make: *** Waiting for unfinished jobs....
- checking build system type... checking build system type... x86_64-pc-linux-gnu
- checking host system type... x86_64-pc-linux-gnu
- checking for a BSD-compatible install... x86_64-pc-linux-gnu
- checking host system type... x86_64-pc-linux-gnu
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- yes
- checking whether make supports nested variables... yes
- checking whether make supports nested variables... yes
- checking for gcc... gcc
- checking for gcc... gcc
- checking whether the C compiler works... checking whether the C compiler works...
- yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling...
- checking whether we are cross compiling... no
- checking for suffix of object files... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... yes
- checking for gcc option to accept ISO C89... none needed
- checking whether gcc understands -c and -o together... none needed
- checking whether gcc understands -c and -o together... yes
- checking for style of include used by make... GNU
- checking dependency style of gcc... none
- checking for g++... g++
- yes
- checking for style of include used by make... GNU
- checking dependency style of gcc... none
- checking for g++... g++
- checking whether we are using the GNU C++ compiler... checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g... yes
- checking dependency style of g++... none
- checking for ar... ar
- checking the archiver (ar) interface... yes
- checking whether g++ accepts -g... yes
- checking dependency style of g++... none
- checking for ar... ar
- checking the archiver (ar) interface... ar
- checking how to print strings... printf
- checking for a sed that does not truncate output... /usr/bin/sed
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for fgrep... ar
- /usr/bin/grep -F
- checking for ld used by gcc... checking how to print strings... printf
- checking for a sed that does not truncate output... /usr/bin/sed
- /usr/bin/x86_64-linux-gnu-ld
- checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... checking for grep that handles long lines and -e... yes
- checking for BSD- or MS-compatible name lister (nm)... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for fgrep... /usr/bin/nm -B
- checking the name lister (/usr/bin/nm -B) interface... /usr/bin/grep -F
- checking for ld used by gcc... /usr/bin/x86_64-linux-gnu-ld
- checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
- checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
- checking the name lister (/usr/bin/nm -B) interface... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments... 1572864
- checking whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... yes
- checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/x86_64-linux-gnu-ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for archiver @FILE support... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments...
- 1572864
- checking whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... yes
- checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/x86_64-linux-gnu-ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for archiver @FILE support... @
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... @
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... ok
- checking for sysroot... no
- /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
- checking for mt... no
- checking if : is a manifest tool... no
- checking how to run the C preprocessor... ok
- checking for sysroot... no
- /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
- checking for mt... no
- checking if : is a manifest tool... gcc -E
- no
- checking how to run the C preprocessor... checking for ANSI C header files... gcc -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- yes
- checking for sys/stat.h... checking for stdlib.h...
- yes
- yes
- checking for stdlib.h... checking for string.h... yes
- yes
- checking for string.h... checking for memory.h... yes
- yes
- checking for memory.h... checking for strings.h... yes
- yes
- checking for strings.h... checking for inttypes.h... yes
- yes
- checking for inttypes.h... checking for stdint.h... yes
- yes
- checking for unistd.h... checking for stdint.h... yes
- yes
- checking for unistd.h... checking for dlfcn.h... yes
- yes
- checking for objdir... checking for dlfcn.h... .libs
- yes
- checking for objdir... .libs
- checking if gcc supports -fno-rtti -fno-exceptions... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... checking if gcc supports -fno-rtti -fno-exceptions... yes
- checking if gcc static flag -static works... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... yes
- checking if gcc static flag -static works... yes
- checking if gcc supports -c -o file.o...
- yes
- checking if gcc supports -c -o file.o... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking dynamic linker characteristics... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking dynamic linker characteristics... GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... yes
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... no
- checking whether to build static libraries... yes
- checking how to run the C++ preprocessor... GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... yes
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... no
- checking whether to build static libraries... yes
- g++ -E
- checking how to run the C++ preprocessor... g++ -E
- checking for ld used by g++... /usr/bin/x86_64-linux-gnu-ld
- checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking for ld used by g++... /usr/bin/x86_64-linux-gnu-ld
- checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking for g++ option to produce PIC... -fPIC -DPIC
- checking if g++ PIC flag -fPIC -DPIC works... yes
- checking if g++ static flag -static works... checking for g++ option to produce PIC... -fPIC -DPIC
- checking if g++ PIC flag -fPIC -DPIC works... yes
- checking if g++ static flag -static works... yes
- checking if g++ supports -c -o file.o... yes
- checking if g++ supports -c -o file.o... (cached) yes
- checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking dynamic linker characteristics... (cached)
- GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether byte ordering is bigendian... yes
- checking if g++ supports -c -o file.o... yes
- checking if g++ supports -c -o file.o... (cached) yes
- checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
- checking dynamic linker characteristics... (cached) GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether byte ordering is bigendian... no
- checking for doxygen... no
- configure: WARNING: Doxygen not found - continuing without Doxygen support
- checking for pdflatex... no
- configure: WARNING: pdflatex not found - unable to compile manual to PDF
- checking for makeindex... no
- configure: WARNING: makeindex not found - unable to compile manual to PDF
- checking for library containing pow... no
- checking for doxygen... no
- configure: WARNING: Doxygen not found - continuing without Doxygen support
- checking for pdflatex... no
- configure: WARNING: pdflatex not found - unable to compile manual to PDF
- checking for makeindex... no
- configure: WARNING: makeindex not found - unable to compile manual to PDF
- checking for library containing pow... -lm
- checking for pthread_create in -lpthread... -lm
- checking for pthread_create in -lpthread... yes
- checking for library containing WSAStartup... yes
- checking for library containing WSAStartup... no
- checking for library containing GetProcessMemoryInfo... no
- checking for library containing GetProcessMemoryInfo... no
- checking float.h usability... yes
- checking float.h presence... no
- checking float.h usability... yes
- checking for float.h... yes
- checking for inttypes.h... (cached) yes
- checking limits.h usability... yes
- checking float.h presence...
- yes
- checking for float.h... yes
- yes
- checking limits.h presence... checking for inttypes.h... (cached) yes
- checking limits.h usability... yes
- checking for limits.h... yes
- checking stddef.h usability... yes
- checking limits.h presence... yes
- checking for limits.h... yes
- yes
- checking stddef.h presence... checking stddef.h usability... yes
- checking for stddef.h... yes
- checking for stdlib.h... (cached) yes
- checking for string.h... (cached) yes
- yes
- checking stddef.h presence... checking assert.h usability... yes
- checking for stddef.h... yes
- checking for stdlib.h... (cached) yes
- checking for string.h... (cached) yes
- yes
- checking assert.h presence... checking assert.h usability... yes
- checking for assert.h... yes
- checking math.h usability... yes
- checking assert.h presence... yes
- checking for assert.h... yes
- checking math.h usability... yes
- checking math.h presence... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- yes
- checking math.h presence... checking sys/time.h usability... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- yes
- checking sys/time.h presence... checking sys/time.h usability... yes
- checking for sys/time.h... yes
- checking sys/times.h usability... yes
- checking sys/time.h presence... yes
- checking sys/times.h presence... yes
- checking for sys/time.h... yes
- yes
- checking for sys/times.h... yes
- checking sys/times.h usability... checking sys/resource.h usability... yes
- checking sys/times.h presence... yes
- checking sys/resource.h presence... yes
- checking for sys/times.h... yes
- checking sys/resource.h usability...
- yes
- checking for sys/resource.h... yes
- checking sys/wait.h usability... yes
- checking sys/resource.h presence... yes
- checking for sys/resource.h... yes
- yes
- checking sys/wait.h presence... checking sys/wait.h usability... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking sys/wait.h presence... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking for stdbool.h that conforms to C99... no
- checking for _Bool... yes
- checking for stdbool.h that conforms to C99... no
- checking for _Bool... yes
- checking for inline... inline
- checking for size_t... yes
- checking for inline... inline
- checking for size_t...
- yes
- checking for uint16_t... yes
- checking for uint32_t... yes
- checking for uint16_t... yes
- checking for ptrdiff_t... yes
- checking for uint32_t... yes
- checking for ptrdiff_t... yes
- checking size of int... yes
- checking size of int... 4
- checking size of long... 4
- checking size of long... 8
- checking size of void *... 8
- checking size of void *... 8
- checking size of long double... 8
- checking size of long double... 16
- checking whether we are building for a Win32 host... no
- checking whether enough of C++11 is supported...
- 16
- checking whether we are building for a Win32 host... yes
- checking for pow... no
- checking whether enough of C++11 is supported... yes
- checking for pow... yes
- checking for sqrt... yes
- checking for sqrt... yes
- checking for strchr... yes
- checking for strchr... yes
- checking for strstr... yes
- checking for strstr... yes
- checking for powl... yes
- checking for powl... yes
- checking for gethostname... yes
- yes
- checking for gethostname... checking for getrlimit... yes
- yes
- checking for getrlimit... checking for getrusage...
- yes
- checking for getrusage... yes
- checking for sysconf... yes
- checking for sysconf... yes
- checking for +Infinity (IEEE 754 floating point)... no
- yes
- checking for +Infinity (IEEE 754 floating point)... checking that generated files are newer than configure... done
- configure: creating ./config.status
- no
- checking that generated files are newer than configure... done
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating dddmp/exp/test1.sh
- config.status: creating Makefile
- config.status: creating dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test1.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test7.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating config.h
- config.status: creating dddmp/exp/test7.sh
- config.status: executing depfiles commands
- config.status: executing libtool commands
- config.status: creating config.h
- config.status: executing depfiles commands
- config.status: executing libtool commands
- --------------------------------------------------
- Configuration summary for cudd 3.0.0
-
- Build system : x86_64-pc-linux-gnu
- Host system : x86_64-pc-linux-gnu
- Prefix : '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-base'
- Compilers : 'gcc -fPIC -O3'
- : 'g++ -Wall -Wextra -std=c++0x -g -O3'
- Shared library : no
- dddmp enabled : no
- obj enabled : no
- --------------------------------------------------
- --------------------------------------------------
- Configuration summary for cudd 3.0.0
-
- Build system : x86_64-pc-linux-gnu
- Host system : x86_64-pc-linux-gnu
- Prefix : '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-dbug'
- Compilers : 'gcc -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -fPIC -O0 -g'
- : 'g++ -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -Wall -Wextra -std=c++0x -g -O3'
- Shared library : no
- dddmp enabled : no
- obj enabled : no
- --------------------------------------------------
[ERROR] The compilation of mlcuddidl.3.0.8 failed at "make -j255".
#=== ERROR while compiling mlcuddidl.3.0.8 ====================================#
# context 2.5.0 | linux/x86_64 | ocaml-variants.5.2.0+ox | file:///home/opam/opam-repository
# path ~/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8
# command ~/.opam/opam-init/hooks/sandbox.sh build make -j255
# exit-code 2
# env-file ~/.opam/log/mlcuddidl-8-36df0d.env
# output-file ~/.opam/log/mlcuddidl-8-36df0d.out
### output ###
# /usr/bin/m4 macros.m4 hash.idl > tmp/hash.idl
# /usr/bin/m4 macros.m4 man.idl > tmp/man.idl
# /usr/bin/m4 macros.m4 cache.idl > tmp/cache.idl
# /usr/bin/m4 macros.m4 memo.idl > tmp/memo.idl
# /usr/bin/m4 macros.m4 bdd.idl > tmp/bdd.idl
# (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . hash.idl);
# (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . cache.idl);
# (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . memo.idl);
# (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . man.idl);
# (cd tmp; /home/opam/.opam/5.2.0+flambda2/bin/camlidl -no-include -nocpp -I . bdd.idl);
# /usr/bin/sed -f sedscript_c tmp/hash_stubs.c > hash_caml.c;
# /usr/bin/sed -f sedscript_c tmp/cache_stubs.c > cache_caml.c;
# /usr/bin/sed -f sedscript_c tmp/memo_stubs.c > memo_caml.c;
# /usr/bin/sed -f sedscript_caml tmp/cache.ml > cache.ml;
# /usr/bin/sed -f sedscript_caml tmp/hash.ml > hash.ml;
# /usr/bin/sed -f sedscript_caml tmp/memo.ml > memo.ml;
# /usr/bin/sed -f sedscript_c tmp/man_stubs.c > man_caml.c;
# /usr/bin/sed -f sedscript_caml tmp/cache.mli > cache.mli;
# /usr/bin/sed -f sedscript_caml tmp/hash.mli > hash.mli;
# /usr/bin/sed -f sedscript_caml tmp/man.ml > man.ml;
# /usr/bin/sed -f sedscript_caml tmp/memo.mli > memo.mli;
# /usr/bin/sed -f sedscript_c tmp/bdd_stubs.c > bdd_caml.c;
# /usr/bin/sed -f sedscript_caml tmp/man.mli > man.mli;
# /usr/bin/sed -f sedscript_caml tmp/bdd.ml > bdd.ml;
# /usr/bin/sed -f sedscript_caml tmp/bdd.mli > bdd.mli;
# /home/opam/.opam/5.2.0+flambda2/bin/ocamldep.opt -one-line hash.mli cache.mli memo.mli man.mli bdd.mli hash.ml cache.ml memo.ml man.ml bdd.ml | \
# /usr/bin/sed -e '/\.cmo/ { p; s/\.cmo/.d.cmo/; }' \
# -e '/\.cmx/ { p; s/\.cmx/.p.cmx/; }' \
# -e '#/\.p\.cmx/ { p; s/\.p\./.d./; }' \
# > Makefile.depend
# /usr/bin/sed -e "s!@VERSION@!3.0.8!g;" -e "/gprof/ d" META.in > META;
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c hash.mli
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c cache.mli
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c man.mli
# mkdir -p cuddsrc-base;
# mkdir -p cuddsrc-dbug;
# ( srcdir="/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0"; cd cuddsrc-base && CPPFLAGS="" CFLAGS="-fPIC -O3" "${srcdir}/configure" DOXYGEN= --prefix "/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-base" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-base; false; };
# sh ./ocamlpack -o cudd_ocamldoc.mli -title "Interface to CUDD library" \
# -intro cudd.mlpacki hash cache memo man bdd
# echo "archive(native,plugin) = \"cudd.cmxs\"" >>META
# echo "plugin(native) = \"cudd.cmxs\"" >>META
# ( srcdir="/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0"; cd cuddsrc-dbug && CPPFLAGS="-DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG" CFLAGS="-fPIC -O0 -g" "${srcdir}/configure" DOXYGEN= --prefix "/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-dbug" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-dbug; false; };
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c hash.ml
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c hash.ml
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c cache.ml
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c memo.mli
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c cache.ml
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -c memo.ml
# File "cache.ml", line 20, characters 23-30:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
#
# File "cache.ml", line 20, characters 13-17:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
# File "hash.ml", line 48, characters 8-25:
# 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
# ^^^^^^^^^^^^^^^^^
# Alert unsafe_multidomain: Stdlib.Callback.register
# Use [Callback.Safe.register].
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o cache.d.cmo -c cache.ml
# File "cache.ml", line 20, characters 23-30:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
#
# File "cache.ml", line 20, characters 13-17:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o hash.d.cmo -c hash.ml
# File "hash.ml", line 48, characters 8-25:
# 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
# ^^^^^^^^^^^^^^^^^
# Alert unsafe_multidomain: Stdlib.Callback.register
# Use [Callback.Safe.register].
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlc.opt -annot -g -o memo.d.cmo -c memo.ml
# File "cache.ml", line 20, characters 23-30:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
#
# File "cache.ml", line 20, characters 13-17:
# 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
# ^^^^
# Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
# File "hash.ml", line 48, characters 8-25:
# 48 | let _ = Callback.register "camlidl_cudd_hash_clear_all" clear_all
# ^^^^^^^^^^^^^^^^^
# Alert unsafe_multidomain: Stdlib.Callback.register
# Use [Callback.Safe.register].
# /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c memo.ml
# File "memo.ml", line 1:
# Error: cache.cmx contains the description for unit
# Cache when Cudd.Cache was expected
# make: *** [Makefile:332: memo.cmx] Error 2
# make: *** Waiting for unfinished jobs....
# checking build system type... checking build system type... x86_64-pc-linux-gnu
# checking host system type... x86_64-pc-linux-gnu
# checking for a BSD-compatible install... x86_64-pc-linux-gnu
# checking host system type... x86_64-pc-linux-gnu
# checking for a BSD-compatible install... /usr/bin/install -c
# checking whether build environment is sane... yes
# /usr/bin/install -c
# checking whether build environment is sane... yes
# checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
# checking for gawk... no
# checking for mawk... mawk
# checking whether make sets $(MAKE)... checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
# checking for gawk... no
# checking for mawk... mawk
# checking whether make sets $(MAKE)... yes
# yes
# checking whether make supports nested variables... yes
# checking whether make supports nested variables... yes
# checking for gcc... gcc
# checking for gcc... gcc
# checking whether the C compiler works... checking whether the C compiler works... yes
# checking for C compiler default output file name... a.out
# checking for suffix of executables... yes
# checking for C compiler default output file name... a.out
# checking for suffix of executables...
# checking whether we are cross compiling...
# checking whether we are cross compiling... no
# checking for suffix of object files... no
# checking for suffix of object files... o
# checking whether we are using the GNU C compiler... o
# checking whether we are using the GNU C compiler... yes
# checking whether gcc accepts -g... yes
# checking whether gcc accepts -g... yes
# checking for gcc option to accept ISO C89... yes
# checking for gcc option to accept ISO C89... none needed
# checking whether gcc understands -c and -o together... none needed
# checking whether gcc understands -c and -o together... yes
# checking for style of include used by make... GNU
# checking dependency style of gcc... none
# checking for g++... g++
# yes
# checking for style of include used by make... GNU
# checking dependency style of gcc... none
# checking for g++... g++
# checking whether we are using the GNU C++ compiler... checking whether we are using the GNU C++ compiler... yes
# checking whether g++ accepts -g... yes
# checking dependency style of g++... none
# checking for ar... ar
# checking the archiver (ar) interface... yes
# checking whether g++ accepts -g... yes
# checking dependency style of g++... none
# checking for ar... ar
# checking the archiver (ar) interface... ar
# checking how to print strings... printf
# checking for a sed that does not truncate output... /usr/bin/sed
# checking for grep that handles long lines and -e... /usr/bin/grep
# checking for egrep... /usr/bin/grep -E
# checking for fgrep... ar
# /usr/bin/grep -F
# checking for ld used by gcc... checking how to print strings... printf
# checking for a sed that does not truncate output... /usr/bin/sed
# /usr/bin/x86_64-linux-gnu-ld
# checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... checking for grep that handles long lines and -e... yes
# checking for BSD- or MS-compatible name lister (nm)... /usr/bin/grep
# checking for egrep... /usr/bin/grep -E
# checking for fgrep... /usr/bin/nm -B
# checking the name lister (/usr/bin/nm -B) interface... /usr/bin/grep -F
# checking for ld used by gcc... /usr/bin/x86_64-linux-gnu-ld
# checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
# checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
# checking the name lister (/usr/bin/nm -B) interface... BSD nm
# checking whether ln -s works... yes
# checking the maximum length of command line arguments... 1572864
# checking whether the shell understands some XSI constructs... yes
# checking whether the shell understands "+="... yes
# checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
# checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
# checking for /usr/bin/x86_64-linux-gnu-ld option to reload object files... -r
# checking for objdump... objdump
# checking how to recognize dependent libraries... pass_all
# checking for dlltool... no
# checking how to associate runtime and link libraries... printf %s\n
# checking for archiver @FILE support... BSD nm
# checking whether ln -s works... yes
# checking the maximum length of command line arguments... 1572864
# checking whether the shell understands some XSI constructs... yes
# checking whether the shell understands "+="... yes
# checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
# checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
# checking for /usr/bin/x86_64-linux-gnu-ld option to reload object files... -r
# checking for objdump... objdump
# checking how to recognize dependent libraries... pass_all
# checking for dlltool... no
# checking how to associate runtime and link libraries... printf %s\n
# checking for archiver @FILE support... @
# checking for strip... strip
# checking for ranlib... ranlib
# checking command to parse /usr/bin/nm -B output from gcc object... @
# checking for strip... strip
# checking for ranlib... ranlib
# checking command to parse /usr/bin/nm -B output from gcc object... ok
# checking for sysroot... no
# /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
# checking for mt... no
# checking if : is a manifest tool... no
# checking how to run the C preprocessor... ok
# checking for sysroot... no
# /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
# checking for mt... no
# checking if : is a manifest tool... gcc -E
# no
# checking how to run the C preprocessor... checking for ANSI C header files... gcc -E
# checking for ANSI C header files... yes
# checking for sys/types.h... yes
# checking for sys/types.h... yes
# checking for sys/stat.h... yes
# yes
# checking for sys/stat.h... checking for stdlib.h... yes
# yes
# checking for stdlib.h... checking for string.h... yes
# yes
# checking for string.h... checking for memory.h... yes
# yes
# checking for memory.h... checking for strings.h... yes
# yes
# checking for strings.h... checking for inttypes.h... yes
# yes
# checking for inttypes.h... checking for stdint.h... yes
# yes
# checking for unistd.h... checking for stdint.h... yes
# yes
# checking for unistd.h... checking for dlfcn.h... yes
# yes
# checking for objdir... checking for dlfcn.h... .libs
# yes
# checking for objdir... .libs
# checking if gcc supports -fno-rtti -fno-exceptions... no
# checking for gcc option to produce PIC... -fPIC -DPIC
# checking if gcc PIC flag -fPIC -DPIC works... checking if gcc supports -fno-rtti -fno-exceptions... yes
# checking if gcc static flag -static works... no
# checking for gcc option to produce PIC... -fPIC -DPIC
# checking if gcc PIC flag -fPIC -DPIC works... yes
# checking if gcc static flag -static works... yes
# checking if gcc supports -c -o file.o... yes
# checking if gcc supports -c -o file.o... yes
# checking if gcc supports -c -o file.o... (cached) yes
# checking whether the gcc linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking dynamic linker characteristics... yes
# checking if gcc supports -c -o file.o... (cached) yes
# checking whether the gcc linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking dynamic linker characteristics... GNU/Linux ld.so
# checking how to hardcode library paths into programs... immediate
# checking whether stripping libraries is possible... yes
# checking if libtool supports shared libraries... yes
# checking whether to build shared libraries... no
# checking whether to build static libraries... yes
# checking how to run the C++ preprocessor... GNU/Linux ld.so
# checking how to hardcode library paths into programs... immediate
# checking whether stripping libraries is possible... yes
# checking if libtool supports shared libraries... yes
# checking whether to build shared libraries... no
# checking whether to build static libraries... yes
# g++ -E
# checking how to run the C++ preprocessor... g++ -E
# checking for ld used by g++... /usr/bin/x86_64-linux-gnu-ld
# checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
# checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking for ld used by g++... /usr/bin/x86_64-linux-gnu-ld
# checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes
# checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking for g++ option to produce PIC... -fPIC -DPIC
# checking if g++ PIC flag -fPIC -DPIC works... yes
# checking if g++ static flag -static works... checking for g++ option to produce PIC... -fPIC -DPIC
# checking if g++ PIC flag -fPIC -DPIC works... yes
# checking if g++ static flag -static works... yes
# checking if g++ supports -c -o file.o... yes
# checking if g++ supports -c -o file.o... (cached) yes
# checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking dynamic linker characteristics... (cached) GNU/Linux ld.so
# checking how to hardcode library paths into programs... immediate
# checking whether byte ordering is bigendian... yes
# checking if g++ supports -c -o file.o... yes
# checking if g++ supports -c -o file.o... (cached) yes
# checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld) supports shared libraries... yes
# checking dynamic linker characteristics... (cached) GNU/Linux ld.so
# checking how to hardcode library paths into programs... immediate
# checking whether byte ordering is bigendian... no
# checking for doxygen... no
# configure: WARNING: Doxygen not found - continuing without Doxygen support
# checking for pdflatex... no
# configure: WARNING: pdflatex not found - unable to compile manual to PDF
# checking for makeindex... no
# configure: WARNING: makeindex not found - unable to compile manual to PDF
# checking for library containing pow... no
# checking for doxygen... no
# configure: WARNING: Doxygen not found - continuing without Doxygen support
# checking for pdflatex... no
# configure: WARNING: pdflatex not found - unable to compile manual to PDF
# checking for makeindex... no
# configure: WARNING: makeindex not found - unable to compile manual to PDF
# checking for library containing pow... -lm
# checking for pthread_create in -lpthread... -lm
# checking for pthread_create in -lpthread... yes
# checking for library containing WSAStartup... yes
# checking for library containing WSAStartup... no
# checking for library containing GetProcessMemoryInfo... no
# checking for library containing GetProcessMemoryInfo... no
# checking float.h usability... yes
# checking float.h presence... no
# checking float.h usability... yes
# checking for float.h... yes
# checking for inttypes.h... (cached) yes
# checking limits.h usability... yes
# checking float.h presence... yes
# checking for float.h... yes
# yes
# checking limits.h presence... checking for inttypes.h... (cached) yes
# checking limits.h usability... yes
# checking for limits.h... yes
# checking stddef.h usability... yes
# checking limits.h presence... yes
# checking for limits.h... yes
# yes
# checking stddef.h presence... checking stddef.h usability... yes
# checking for stddef.h... yes
# checking for stdlib.h... (cached) yes
# checking for string.h... (cached) yes
# yes
# checking stddef.h presence... checking assert.h usability... yes
# checking for stddef.h... yes
# checking for stdlib.h... (cached) yes
# checking for string.h... (cached) yes
# yes
# checking assert.h presence... checking assert.h usability... yes
# checking for assert.h... yes
# checking math.h usability... yes
# checking assert.h presence... yes
# checking for assert.h... yes
# checking math.h usability... yes
# checking math.h presence... yes
# checking for math.h... yes
# checking for unistd.h... (cached) yes
# yes
# checking math.h presence... checking sys/time.h usability... yes
# checking for math.h... yes
# checking for unistd.h... (cached) yes
# yes
# checking sys/time.h presence... checking sys/time.h usability... yes
# checking for sys/time.h... yes
# checking sys/times.h usability... yes
# checking sys/time.h presence... yes
# checking sys/times.h presence... yes
# checking for sys/time.h... yes
# yes
# checking for sys/times.h... yes
# checking sys/times.h usability... checking sys/resource.h usability... yes
# checking sys/times.h presence... yes
# checking sys/resource.h presence... yes
# checking for sys/times.h... yes
# checking sys/resource.h usability... yes
# checking for sys/resource.h... yes
# checking sys/wait.h usability... yes
# checking sys/resource.h presence... yes
# checking for sys/resource.h... yes
# yes
# checking sys/wait.h presence... checking sys/wait.h usability... yes
# checking for sys/wait.h... yes
# checking for working C++ thread header... yes
# checking sys/wait.h presence... yes
# checking for sys/wait.h... yes
# checking for working C++ thread header... yes
# checking for stdbool.h that conforms to C99... no
# checking for _Bool... yes
# checking for stdbool.h that conforms to C99... no
# checking for _Bool... yes
# checking for inline... inline
# checking for size_t... yes
# checking for inline... inline
# checking for size_t... yes
# checking for uint16_t... yes
# checking for uint32_t... yes
# checking for uint16_t... yes
# checking for ptrdiff_t... yes
# checking for uint32_t... yes
# checking for ptrdiff_t... yes
# checking size of int... yes
# checking size of int... 4
# checking size of long... 4
# checking size of long... 8
# checking size of void *... 8
# checking size of void *... 8
# checking size of long double... 8
# checking size of long double... 16
# checking whether we are building for a Win32 host... no
# checking whether enough of C++11 is supported... 16
# checking whether we are building for a Win32 host... yes
# checking for pow... no
# checking whether enough of C++11 is supported... yes
# checking for pow... yes
# checking for sqrt... yes
# checking for sqrt... yes
# checking for strchr... yes
# checking for strchr... yes
# checking for strstr... yes
# checking for strstr... yes
# checking for powl... yes
# checking for powl... yes
# checking for gethostname... yes
# yes
# checking for gethostname... checking for getrlimit... yes
# yes
# checking for getrlimit... checking for getrusage... yes
# checking for getrusage... yes
# checking for sysconf... yes
# checking for sysconf... yes
# checking for +Infinity (IEEE 754 floating point)... no
# yes
# checking for +Infinity (IEEE 754 floating point)... checking that generated files are newer than configure... done
# configure: creating ./config.status
# no
# checking that generated files are newer than configure... done
# configure: creating ./config.status
# config.status: creating Makefile
# config.status: creating dddmp/exp/test1.sh
# config.status: creating Makefile
# config.status: creating dddmp/exp/test2.sh
# config.status: creating dddmp/exp/test1.sh
# config.status: creating dddmp/exp/test3.sh
# config.status: creating dddmp/exp/test2.sh
# config.status: creating dddmp/exp/test4.sh
# config.status: creating dddmp/exp/test3.sh
# config.status: creating dddmp/exp/test5.sh
# config.status: creating dddmp/exp/test4.sh
# config.status: creating dddmp/exp/test6.sh
# config.status: creating dddmp/exp/test5.sh
# config.status: creating dddmp/exp/test7.sh
# config.status: creating dddmp/exp/test6.sh
# config.status: creating config.h
# config.status: creating dddmp/exp/test7.sh
# config.status: executing depfiles commands
# config.status: executing libtool commands
# config.status: creating config.h
# config.status: executing depfiles commands
# config.status: executing libtool commands
# --------------------------------------------------
# Configuration summary for cudd 3.0.0
#
# Build system : x86_64-pc-linux-gnu
# Host system : x86_64-pc-linux-gnu
# Prefix : '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-base'
# Compilers : 'gcc -fPIC -O3'
# : 'g++ -Wall -Wextra -std=c++0x -g -O3'
# Shared library : no
# dddmp enabled : no
# obj enabled : no
# --------------------------------------------------
# --------------------------------------------------
# Configuration summary for cudd 3.0.0
#
# Build system : x86_64-pc-linux-gnu
# Host system : x86_64-pc-linux-gnu
# Prefix : '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/mlcuddidl.3.0.8/cuddbld-dbug'
# Compilers : 'gcc -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -fPIC -O0 -g'
# : 'g++ -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -Wall -Wextra -std=c++0x -g -O3'
# Shared library : no
# dddmp enabled : no
# obj enabled : no
# --------------------------------------------------
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build mlcuddidl 3.0.8
+-
+- The following changes have been performed
| - install camlidl 1.13
| - install conf-m4 1
| - install ocamlbuild 0.15.0+ox
| - install ocamlfind 1.9.8+ox
+-
<><> mlcuddidl.3.0.8 troubleshooting ><><><><><><><><><><><><><><><><><><><><><>
=> For supporting ocaml 5 some modules are removed compared to the release
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.2.0+flambda2/.opam-switch/backup/state-20260121103020.export"
'opam install -vy mlcuddidl.3.0.8' failed.
"/usr/bin/env" "bash" "-c" "opam remove -y mlcuddidl.3.0.8
opam install -vy mlcuddidl.3.0.8
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: mlcuddidl.3.0.8 | grep -q 'debian-unstable'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res" failed with exit status 31
Failed: Build failed
Home|Differences with the last checks|Previous runs