Build:
- 0
2026-11-07 21:38.06: New job: build mlcuddidl.3.0.6 (ac9a5d8ce3d0)
2026-11-07 21:38.06: Waiting for resource in pool day11-builds
2026-11-07 21:51.44: Got resource from pool day11-builds
2026-11-07 21:51.44: [profile full] build mlcuddidl.3.0.6
2026-11-07 21:51.44: build mlcuddidl.3.0.6 (ac9a5d8ce3d0)
=== DEPENDENCIES (7 transitive) ===
camlidl.1.13-1 f6f1cdcc0539
conf-m4.1 5a8335250985
ocaml.4.14.5 59c49aa9a147
ocaml-base-compiler.4.14.5 06eff73c29ec
ocaml-config.2 69d9a96fd308
ocamlbuild.0.16.1 0c6d7ddd5199
ocamlfind.1.9.8 d07e0f862372
=== STDOUT ===
Processing: [default: loading data]
[mlcuddidl.3.0.6: dl]
[mlcuddidl.3.0.6: extract]
-> retrieved mlcuddidl.3.0.6 (https://opam.ocaml.org/cache)
[mlcuddidl: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/./configure (CWD=/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6)
- 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/default/bin/ocamlc.opt)
- checking for ocamlopt.opt... yes (/home/opam/.opam/default/bin/ocamlopt.opt)
- checking for ocamldep.opt... yes (/home/opam/.opam/default/bin/ocamldep.opt)
- checking for ocamldoc.opt... yes (/home/opam/.opam/default/bin/ocamldoc.opt)
- checking for ocamlmklib.opt... yes (/home/opam/.opam/default/bin/ocamlmklib.opt)
- checking for ocamlfind... yes (/home/opam/.opam/default/bin/ocamlfind)
- checking for camlidl... yes (/home/opam/.opam/default/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
[mlcuddidl: make]
+ /usr/bin/make "-j39" (CWD=/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6)
- /usr/bin/m4 macros.m4 hash.idl > tmp/hash.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 man.idl > tmp/man.idl
- /usr/bin/m4 macros.m4 bdd.idl > tmp/bdd.idl
- /usr/bin/m4 macros.m4 vdd.idl > tmp/vdd.idl
- /usr/bin/m4 macros.m4 custom.idl > tmp/custom.idl
- /usr/bin/m4 macros.m4 add.idl > tmp/add.idl
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . hash.idl);
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . cache.idl);
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . memo.idl);
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . man.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;
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . bdd.idl);
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . vdd.idl);
- /usr/bin/sed -f sedscript_caml tmp/hash.ml > hash.ml;
- /usr/bin/sed -f sedscript_caml tmp/cache.ml > cache.ml;
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . custom.idl);
- (cd tmp; /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . add.idl);
- /usr/bin/sed -f sedscript_c tmp/memo_stubs.c > memo_caml.c;
- /usr/bin/sed -f sedscript_c tmp/man_stubs.c > man_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/hash.mli > hash.mli;
- /usr/bin/sed -f sedscript_caml tmp/cache.mli > cache.mli;
- /usr/bin/sed -f sedscript_c tmp/add_stubs.c > add_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/man.ml > man.ml;
- /usr/bin/sed -f sedscript_caml tmp/memo.ml > memo.ml;
- /usr/bin/sed -f sedscript_caml tmp/memo.mli > memo.mli;
- /usr/bin/sed -f sedscript_caml tmp/add.ml > add.ml;
- /usr/bin/sed -f sedscript_caml tmp/add.mli > add.mli;
- /usr/bin/sed -f sedscript_c tmp/vdd_stubs.c > vdd_caml.c;
- /usr/bin/sed -f sedscript_c tmp/bdd_stubs.c > bdd_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/vdd.ml > vdd.ml;
- /usr/bin/sed -f sedscript_caml tmp/bdd.ml > bdd.ml;
- /usr/bin/sed -f sedscript_c tmp/custom_stubs.c > custom_caml.c;
- /usr/bin/sed -f sedscript_caml tmp/man.mli > man.mli;
- /usr/bin/sed -f sedscript_caml tmp/vdd.mli > vdd.mli;
- /usr/bin/sed -f sedscript_caml tmp/bdd.mli > bdd.mli;
- /usr/bin/sed -f sedscript_caml tmp/custom.ml > custom.ml;
- /usr/bin/sed -f sedscript_caml tmp/custom.mli > custom.mli;
- /home/opam/.opam/default/bin/ocamldep.opt -one-line hash.mli cache.mli memo.mli man.mli bdd.mli vdd.mli custom.mli weakke.mli pWeakke.mli mtbdd.mli mtbddc.mli user.mli mapleaf.mli add.mli hash.ml cache.ml memo.ml man.ml bdd.ml vdd.ml custom.ml weakke.ml pWeakke.ml mtbdd.ml mtbddc.ml user.ml mapleaf.ml add.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.6!g;" -e "/gprof/ d" META.in > META;
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c hash.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c cache.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c man.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c weakke.mli
- mkdir -p cuddsrc-base;
- mkdir -p cuddsrc-dbug;
- ( srcdir="/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/cudd-3.0.0"; cd cuddsrc-base && CPPFLAGS="" CFLAGS="-fPIC -O3" "${srcdir}/configure" DOXYGEN= --prefix "/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/cuddbld-base" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-base; false; };
- ( srcdir="/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/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/default/.opam-switch/build/mlcuddidl.3.0.6/cuddbld-dbug" --srcdir="${srcdir}" --disable-dependency-tracking --disable-shared --enable-static ; ) || { rm -rf cuddsrc-dbug; false; };
- sh ./ocamlpack -o cudd_ocamldoc.mli -title "Interface to CUDD library" \
- -intro cudd.mlpacki hash cache memo man bdd vdd custom weakke pWeakke mtbdd mtbddc user mapleaf add
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c hash.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c hash.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c man.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c man.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c weakke.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o hash.d.cmo -c hash.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c cache.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c memo.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c weakke.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c pWeakke.mli
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c cache.ml
- File "cache.ml", line 20, characters 23-38:
- 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-19:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c memo.ml
- File "weakke.ml", line 123, characters 6-18:
- 123 | Obj.truncate (Obj.repr bucket) (prev_len + 1);
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- File "weakke.ml", line 124, characters 6-18:
- 124 | Obj.truncate (Obj.repr hbucket) prev_len;
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- File "cache.ml", line 20, characters 23-38:
- 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-19:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c bdd.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o cache.d.cmo -c cache.ml
- File "weakke.ml", line 123, characters 6-18:
- 123 | Obj.truncate (Obj.repr bucket) (prev_len + 1);
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- File "weakke.ml", line 124, characters 6-18:
- 124 | Obj.truncate (Obj.repr hbucket) prev_len;
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c pWeakke.ml
- File "cache.ml", line 20, characters 23-38:
- 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-19:
- 20 | let create ?(size=0) ?(maxsize=max_int) ~arity =
- ^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c memo.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o memo.d.cmo -c memo.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o man.d.cmo -c man.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c bdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c vdd.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o pWeakke.d.cmo -c pWeakke.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c bdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o weakke.d.cmo -c weakke.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c vdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c custom.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mtbdd.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mtbddc.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mapleaf.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o bdd.d.cmo -c bdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mapleaf.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c custom.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mtbddc.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c user.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c add.mli
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c mtbdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o custom.d.cmo -c custom.ml
- File "weakke.ml", line 123, characters 6-18:
- 123 | Obj.truncate (Obj.repr bucket) (prev_len + 1);
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- File "weakke.ml", line 124, characters 6-18:
- 124 | Obj.truncate (Obj.repr hbucket) prev_len;
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Obj.truncate
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c pWeakke.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c user.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -c add.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c vdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o vdd.d.cmo -c vdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o mtbddc.d.cmo -c mtbddc.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o mtbdd.d.cmo -c mtbdd.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o mapleaf.d.cmo -c mapleaf.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o user.d.cmo -c user.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c custom.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c mtbdd.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c mtbddc.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c mapleaf.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -pack -o cudd.cmi hash.cmo cache.cmo memo.cmo man.cmo bdd.cmo vdd.cmo custom.cmo weakke.cmo pWeakke.cmo mtbdd.cmo mtbddc.cmo user.cmo mapleaf.cmo add.cmo
- /home/opam/.opam/default/bin/ocamlc.opt -annot -pack -o cudd.cmo hash.cmo cache.cmo memo.cmo man.cmo bdd.cmo vdd.cmo custom.cmo weakke.cmo pWeakke.cmo mtbdd.cmo mtbddc.cmo user.cmo mapleaf.cmo add.cmo
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -o add.d.cmo -c add.ml
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c user.ml
- /home/opam/.opam/default/bin/ocamlc.opt -annot -g -g -pack -o cudd.d.cmo hash.d.cmo cache.d.cmo memo.d.cmo man.d.cmo bdd.d.cmo vdd.d.cmo custom.d.cmo weakke.d.cmo pWeakke.d.cmo mtbdd.d.cmo mtbddc.d.cmo user.d.cmo mapleaf.d.cmo add.d.cmo
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -for-pack Cudd -c add.ml
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for a BSD-compatible install... /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)... yes
- checking whether make supports nested variables... yes
- checking for gcc... gcc
- checking build system type... /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -pack -o cudd.cmx hash.cmx cache.cmx memo.cmx man.cmx bdd.cmx vdd.cmx custom.cmx weakke.cmx pWeakke.cmx mtbdd.cmx mtbddc.cmx user.cmx mapleaf.cmx add.cmx
- /home/opam/.opam/default/bin/ocamlopt.opt -annot -inline 20 -g -runtime-variant d -pack -o cudd.d.cmx hash.cmx cache.cmx memo.cmx man.cmx bdd.cmx vdd.cmx custom.cmx weakke.cmx pWeakke.cmx mtbdd.cmx mtbddc.cmx user.cmx mapleaf.cmx add.cmx
- checking whether the C compiler works... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for a BSD-compatible install... /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)... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... yes
- checking whether make supports nested variables... yes
- checking for gcc... gcc
- checking whether the C compiler works...
- checking whether we are cross compiling... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... 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... none needed
- checking whether gcc understands -c and -o together... yes
- checking for gcc option to accept ISO C89... 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...
- yes
- checking whether g++ accepts -g... yes
- checking dependency style of g++... none
- checking for ar... ar
- checking the archiver (ar) interface... none needed
- checking whether gcc understands -c and -o together... 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... /usr/bin/grep -F
- checking for ld used by gcc... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking for style of include used by make... yes
- checking for BSD- or MS-compatible name lister (nm)... GNU
- checking dependency style of gcc... none
- checking for g++... g++
- /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-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... checking whether we are using the GNU C++ compiler... pass_all
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for archiver @FILE support... yes
- checking whether g++ accepts -g... @
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... yes
- checking dependency style of g++... none
- checking for ar... ar
- checking the archiver (ar) interface... ar
- checking how to print strings... ok
- checking for sysroot... no
- printf
- checking for a sed that does not truncate output... /usr/bin/sed
- checking for grep that handles long lines and -e... /home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
- /usr/bin/grep
- checking for egrep... checking for mt... no
- /usr/bin/grep -E
- checking for fgrep... checking if : is a manifest tool... /usr/bin/grep -F
- checking for ld used by gcc... no
- checking how to run the C preprocessor... /usr/bin/ld
- checking if the linker (/usr/bin/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... gcc -E
- 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-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/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 ANSI C header files... @
- 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
- yes
- /home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/cudd-3.0.0/configure: line 7318: /usr/bin/file: No such file or directory
- checking for sys/types.h... checking for mt... no
- checking if : is a manifest tool... no
- checking how to run the C preprocessor... yes
- checking for sys/stat.h... gcc -E
- yes
- checking for stdlib.h... checking for ANSI C header files... yes
- checking for string.h...
- yes
- checking for memory.h... yes
- checking for sys/types.h... yes
- yes
- checking for strings.h... checking for sys/stat.h... yes
- yes
- checking for stdlib.h... checking for inttypes.h... yes
- checking for string.h... yes
- checking for stdint.h... yes
- checking for memory.h... yes
- checking for unistd.h... yes
- checking for strings.h... yes
- checking for dlfcn.h... yes
- checking for inttypes.h... yes
- checking for objdir... .libs
- yes
- checking for stdint.h... yes
- checking for unistd.h... checking if gcc supports -fno-rtti -fno-exceptions... yes
- checking for dlfcn.h... 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 for objdir... .libs
- yes
- checking if gcc supports -c -o file.o... checking if gcc supports -fno-rtti -fno-exceptions... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/ld) supports shared libraries... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... yes
- checking dynamic linker characteristics... yes
- checking if gcc static flag -static works...
- 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... yes
- checking if gcc supports -c -o file.o... g++ -E
- yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/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... g++ -E
- checking for ld used by g++... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
- checking for ld used by g++... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/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/ld) supports shared libraries... yes
- checking dynamic linker characteristics... (cached) yes
- checking if g++ supports -c -o file.o... 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... (cached) yes
- checking whether the g++ linker (/usr/bin/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... yes
- checking for library containing WSAStartup... -lm
- checking for pthread_create in -lpthread... yes
- checking for library containing WSAStartup... no
- checking for library containing GetProcessMemoryInfo... no
- checking float.h usability... no
- checking for library containing GetProcessMemoryInfo... yes
- checking float.h presence... yes
- checking for float.h... yes
- checking for inttypes.h... (cached) yes
- checking limits.h usability... yes
- checking limits.h presence... no
- checking float.h usability... yes
- checking for limits.h... yes
- checking stddef.h usability... yes
- checking float.h presence... yes
- checking for float.h... yes
- yes
- checking stddef.h presence... checking for inttypes.h... (cached) yes
- yes
- checking for stddef.h... yes
- checking for stdlib.h... (cached) yes
- checking limits.h usability... checking for string.h... (cached) yes
- checking assert.h usability... yes
- checking limits.h presence... yes
- checking assert.h presence... yes
- checking for limits.h... yes
- yes
- checking for assert.h... yes
- checking stddef.h usability... checking math.h usability... yes
- checking stddef.h presence... yes
- checking for stddef.h... yes
- yes
- checking math.h presence... checking for stdlib.h... (cached) yes
- checking for string.h... (cached) yes
- checking assert.h usability... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- checking sys/time.h usability... yes
- checking assert.h presence... yes
- checking sys/time.h presence... yes
- checking for assert.h... yes
- yes
- checking for sys/time.h... yes
- checking math.h usability... checking sys/times.h usability... yes
- checking sys/times.h presence... yes
- checking for sys/times.h... yes
- checking sys/resource.h usability... yes
- checking sys/resource.h presence... yes
- checking for sys/resource.h... yes
- checking sys/wait.h usability... yes
- checking sys/wait.h presence... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking math.h presence... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- checking sys/time.h usability... yes
- checking sys/time.h presence... yes
- checking for sys/time.h... yes
- checking sys/times.h usability... yes
- checking sys/times.h presence... yes
- checking for sys/times.h... yes
- checking sys/resource.h usability... yes
- checking for stdbool.h that conforms to C99... yes
- checking sys/resource.h presence... yes
- checking for sys/resource.h... yes
- yes
- checking for _Bool... checking sys/wait.h usability... yes
- checking sys/wait.h presence... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking for inline... inline
- checking for size_t...
- yes
- checking for stdbool.h that conforms to C99... yes
- checking for _Bool... yes
- checking for inline... inline
- checking for size_t... yes
- checking for uint16_t... yes
- checking for uint32_t... yes
- checking for ptrdiff_t... yes
- yes
- checking for uint16_t... checking size of int... yes
- checking for uint32_t... 4
- checking size of long... yes
- checking for ptrdiff_t... 8
- checking size of void *... yes
- checking size of int... 4
- checking size of long... 8
- checking size of long double... 8
- checking size of void *... 16
- checking whether we are building for a Win32 host... no
- checking whether enough of C++11 is supported... yes
- checking for pow... 8
- checking size of long double... yes
- checking for sqrt... 16
- checking whether we are building for a Win32 host... yes
- checking for strchr... no
- checking whether enough of C++11 is supported... yes
- checking for pow...
- yes
- checking for strstr... yes
- checking for sqrt... yes
- checking for powl... yes
- checking for strchr... yes
- checking for gethostname... yes
- checking for getrlimit... yes
- checking for strstr... yes
- checking for getrusage... yes
- checking for powl... yes
- checking for sysconf... yes
- checking for gethostname... yes
- checking for +Infinity (IEEE 754 floating point)... no
- yes
- checking for getrlimit... checking that generated files are newer than configure... done
- configure: creating ./config.status
- yes
- checking for getrusage... yes
- checking for sysconf... yes
- checking for +Infinity (IEEE 754 floating point)... 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 dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating dddmp/exp/test7.sh
- config.status: creating config.h
- config.status: executing depfiles commands
- config.status: executing libtool commands
- config.status: creating Makefile
- config.status: creating dddmp/exp/test1.sh
- config.status: creating dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating dddmp/exp/test7.sh
- 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-unknown-linux-gnu
- Host system : x86_64-unknown-linux-gnu
- Prefix : '/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/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
- --------------------------------------------------
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxAddApply.d.o" -c cuddauxAddApply.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxAddCamlTable.d.o" -c cuddauxAddCamlTable.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxAddIte.d.o" -c cuddauxAddIte.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxBridge.d.o" -c cuddauxBridge.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxCompose.d.o" -c cuddauxCompose.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxGenCof.d.o" -c cuddauxGenCof.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxMisc.d.o" -c cuddauxMisc.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxTDGenCof.d.o" -c cuddauxTDGenCof.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cuddauxUtil.d.o" -c cuddauxUtil.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o hash_caml.d.o" -c hash_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o cache_caml.d.o" -c cache_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o memo_caml.d.o" -c memo_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o man_caml.d.o" -c man_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o bdd_caml.d.o" -c bdd_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o vdd_caml.d.o" -c vdd_caml.c
- /home/opam/.opam/default/bin/ocamlopt.opt -I cudd-3.0.0 -I cudd-3.0.0/st -I cudd-3.0.0/mtr -I cudd-3.0.0/epd -I cudd-3.0.0/util -I cudd-3.0.0/cudd -I cuddsrc-dbug -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -g -ccopt "-fPIC -O0 -g -DDD_CACHE_PROFILE -DDD_UNIQUE_PROFILE -DDD_VERBOSE -DDD_DEBUG -DDD_STATS -DDD_COUNT -DMTR_DEBUG -w -o custom_caml.d.o" -c custom_caml.c
- --------------------------------------------------
- Configuration summary for cudd 3.0.0
-
- Build system : x86_64-unknown-linux-gnu
- Host system : x86_64-unknown-linux-gnu
- Prefix : '/home/opam/.opam/default/.opam-switch/build/mlcuddidl.3.0.6/cuddbld-base'
- Compilers : 'gcc -fPIC -O3'
- : 'g++ -Wall -Wextra -std=c++0x -g -O3'
- Shared library : no
- dddmp enabled : no
- obj enabled : no
- --------------------------------------------------
- custom_caml.c: In function 'camlidl_cudd_ml2c_custom_struct_common':
- custom_caml.c:148:14: error: assignment to 'value' {aka 'long int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion]
- 148 | (*_c2).exn = NULL;
- | ^
- make: *** [Makefile:298: custom_caml.d.o] Error 2
- make: *** Waiting for unfinished jobs....
[ERROR] The compilation of mlcuddidl.3.0.6 failed at "make -j39".
build failed...
=== STDERR ===
2026-11-07 21:52.05: FAILED: build mlcuddidl.3.0.6
2026-11-07 21:52.05: Job failed: build failed: mlcuddidl.3.0.6