On This Page
package tplib
tplib 1.3
Error log
The package failed to build. The error log from opam follows.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
- recompile opam-depext 1.2.1-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1 (cached)
-> removed opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.
<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment
<><> Carrying on to "opam depext -viy tplib.1.3 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.1.5"
You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
- install ocamlbuild 0.14.3
- install num 1.5
- install tplib 1.3
===== 3 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/9:
Processing 2/9:
Processing 3/9:
-> retrieved num.1.5 (cached)
Processing 4/9: [num: make opam-modern]
-> retrieved ocamlbuild.0.14.3 (cached)
Processing 5/9: [num: make opam-modern] [ocamlbuild: make configure.make]
-> retrieved tplib.1.3 (cached)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/5.1/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/5.1/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/5.1/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.1"; \
- echo "BINDIR=/home/opam/.opam/5.1/bin"; \
- echo "LIBDIR=/home/opam/.opam/5.1/lib"; \
- echo "MANDIR=/home/opam/.opam/5.1/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/5.1/bin"'; \
- echo 'let libdir = "/home/opam/.opam/5.1/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/5.1/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/5.1/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.14.3"'; \
- ) > src/ocamlbuild_config.ml
Processing 5/9: [num: make opam-modern] [ocamlbuild: make check-if-preinstalled]
- /usr/bin/make -C src all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src'
- cp src/num-modern.install num.install
-> compiled num.1.5
Processing 5/9: [ocamlbuild: make check-if-preinstalled]
-> installed num.1.5
Processing 6/9: [ocamlbuild: make check-if-preinstalled]
+ /usr/bin/make "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3)
- if test -d /home/opam/.opam/5.1/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/5.1/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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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/my_std.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/exit_codes.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 +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 +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 +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -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_executor.ml
- ocamlc.opt -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.mli
- ocamlc.opt -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 +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 +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 unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.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_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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/my_std.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/exit_codes.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 +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 +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -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 +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 unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.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_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt 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
- /usr/bin/make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/bin/make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- 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.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'lib: [' >> ocamlbuild.install
- /usr/bin/make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- 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.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- 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_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- 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.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
- 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.1/.opam-switch/build/ocamlbuild.0.14.3'
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlbuild.0.14.3'
-> compiled ocamlbuild.0.14.3
-> installed ocamlbuild.0.14.3
[tplib: patch] applying fix-makefile.diff
Processing 8/9: [tplib: patch]
Processing 8/9: [tplib: ./configure]
+ /home/opam/.opam/5.1/.opam-switch/build/tplib.1.3/./configure "--prefix" "/home/opam/.opam/5.1" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tplib.1.3)
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for ocamlc... ocamlc
- OCaml version is 5.1.1
- OCaml library path is /home/opam/.opam/5.1/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking for ocamlc.opt... ocamlc.opt
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocaml... ocaml
- checking for ocamldep... ocamldep
- checking for ocamlmktop... ocamlmktop
- checking for ocamlmklib... ocamlmklib
- checking for ocamldoc... ocamldoc
- checking for ocamlbuild... ocamlbuild
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for cat... cat
- checking for rm... rm
- checking for cp... cp
- checking for ar... ar
- checking for mkdir... mkdir
- checking for ranlib... ranlib
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for gawk... no
- checking for mawk... mawk
- checking for ocamlfind... ocamlfind
- checking for OCaml findlib package dynlink... found
- checking for OCaml findlib package zarith... not found
- checking for OCaml findlib package gmp... not found
- checking for caml_startup in -lasmrun... no
- checking how to run the C preprocessor... gcc -E
- checking for egrep... /usr/bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h...
- yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking caml/alloc.h usability... yes
- checking caml/alloc.h presence... yes
- checking for caml/alloc.h... yes
- checking caml/callback.h usability... yes
- checking caml/callback.h presence... yes
- checking for caml/callback.h... yes
- checking caml/memory.h usability... yes
- checking caml/memory.h presence... yes
- checking for caml/memory.h... yes
- checking caml/mlvalues.h usability... yes
- checking caml/mlvalues.h presence... yes
- checking for caml/mlvalues.h... yes
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/config.ml
- config.status: creating src/META
Processing 8/9: [tplib: make]
+ /usr/bin/make (CWD=/home/opam/.opam/5.1/.opam-switch/build/tplib.1.3)
- ocamlbuild -classic-display -no-links -build-dir _build -use-ocamlfind src/tplib.mllib \
- src/numeric.cmi src/semiring.cmi src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi src/tplib_abstract.cmi \
- \
- \
- src/compute_ext_rays.native src/compute_ext_rays_polar.native src/compute_halfspaces.native src/compute_tangent_hypergraph.native src/compute_minimal_external_representations.native src/compute_tropical_complex.native
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/5.1/lib/ocamlbuild /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- ocamlfind ocamldep -modules src/numeric.mli > src/numeric.mli.depends
- ocamlfind ocamldep -modules src/numeric_plugin.mli > src/numeric_plugin.mli.depends
- ocamlfind ocamlc -c -I src -o src/numeric_plugin.cmi src/numeric_plugin.mli
- ocamlfind ocamlc -c -I src -o src/numeric.cmi src/numeric.mli
- ocamlfind ocamldep -modules src/semiring.mli > src/semiring.mli.depends
- ocamlfind ocamlc -c -I src -o src/semiring.cmi src/semiring.mli
- ocamlfind ocamldep -modules src/vector.mli > src/vector.mli.depends
- ocamlfind ocamlc -c -I src -o src/vector.cmi src/vector.mli
- ocamlfind ocamldep -modules src/halfspace.mli > src/halfspace.mli.depends
- ocamlfind ocamlc -c -I src -o src/halfspace.cmi src/halfspace.mli
- ocamlfind ocamldep -modules src/hypergraph.mli > src/hypergraph.mli.depends
- ocamlfind ocamlc -c -I src -o src/hypergraph.cmi src/hypergraph.mli
- ocamlfind ocamldep -modules src/tplib_core.mli > src/tplib_core.mli.depends
- ocamlfind ocamlc -c -I src -o src/tplib_core.cmi src/tplib_core.mli
- ocamlfind ocamldep -modules src/tplib_abstract.mli > src/tplib_abstract.mli.depends
- ocamlfind ocamlc -c -I src -o src/tplib_abstract.cmi src/tplib_abstract.mli
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_ext_rays.ml > src/compute_ext_rays.ml.depends
- ocamlfind ocamldep -modules src/config.mli > src/config.mli.depends
- ocamlfind ocamlc -c -I src -o src/config.cmi src/config.mli
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays.cmo src/compute_ext_rays.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/config.ml > src/config.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/halfspace.ml > src/halfspace.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/semiring.ml > src/semiring.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric.ml > src/numeric.ml.depends
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/config.cmx src/config.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric_plugin.ml > src/numeric_plugin.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/random_generator.ml > src/random_generator.ml.depends
- ocamlfind ocamldep -modules src/random_generator.mli > src/random_generator.mli.depends
- ocamlfind ocamlc -c -I src -o src/random_generator.cmi src/random_generator.mli
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/numeric_plugin.cmx src/numeric_plugin.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/random_generator.cmx src/random_generator.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/numeric.cmx src/numeric.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/vector.ml > src/vector.ml.depends
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/semiring.cmx src/semiring.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/vector.cmx src/vector.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/tplib_core.ml > src/tplib_core.ml.depends
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/halfspace.cmx src/halfspace.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/hypergraph.ml > src/hypergraph.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/union_find.ml > src/union_find.ml.depends
- ocamlfind ocamldep -modules src/union_find.mli > src/union_find.mli.depends
- ocamlfind ocamlc -c -I src -o src/union_find.cmi src/union_find.mli
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/union_find.cmx src/union_find.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/hypergraph.cmx src/hypergraph.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/tplib_core.cmx src/tplib_core.ml
- + ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/tplib_core.cmx src/tplib_core.ml
- File "src/tplib_core.ml", line 568, characters 12-25:
- 568 | let sectors_list' =
- ^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable sectors_list'.
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays.cmx src/compute_ext_rays.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/tplib_abstract.ml > src/tplib_abstract.ml.depends
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/tplib_abstract.cmx src/tplib_abstract.ml
- + ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/tplib_abstract.cmx src/tplib_abstract.ml
- File "src/tplib_abstract.ml", line 140, characters 7-10:
- 140 | let dim = V.size v in
- ^^^
- Warning 26 [unused-var]: unused variable dim.
- ocamlfind ocamlopt -a -I src src/config.cmx src/random_generator.cmx src/numeric_plugin.cmx src/numeric.cmx src/semiring.cmx src/vector.cmx src/halfspace.cmx src/union_find.cmx src/hypergraph.cmx src/tplib_core.cmx src/tplib_abstract.cmx -o src/tplib.cmxa
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_ext_rays.cmx -o src/compute_ext_rays.native
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_ext_rays_polar.ml > src/compute_ext_rays_polar.ml.depends
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays_polar.cmo src/compute_ext_rays_polar.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays_polar.cmx src/compute_ext_rays_polar.ml
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_ext_rays_polar.cmx -o src/compute_ext_rays_polar.native
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_halfspaces.ml > src/compute_halfspaces.ml.depends
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_halfspaces.cmo src/compute_halfspaces.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_halfspaces.cmx src/compute_halfspaces.ml
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_halfspaces.cmx -o src/compute_halfspaces.native
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_tangent_hypergraph.ml > src/compute_tangent_hypergraph.ml.depends
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_tangent_hypergraph.cmo src/compute_tangent_hypergraph.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_tangent_hypergraph.cmx src/compute_tangent_hypergraph.ml
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_tangent_hypergraph.cmx -o src/compute_tangent_hypergraph.native
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_minimal_external_representations.ml > src/compute_minimal_external_representations.ml.depends
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_minimal_external_representations.cmo src/compute_minimal_external_representations.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_minimal_external_representations.cmx src/compute_minimal_external_representations.ml
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_minimal_external_representations.cmx -o src/compute_minimal_external_representations.native
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_tropical_complex.ml > src/compute_tropical_complex.ml.depends
- ocamlfind ocamldep -modules src/cell_decomposition.mli > src/cell_decomposition.mli.depends
- ocamlfind ocamldep -modules src/polytrope.mli > src/polytrope.mli.depends
- ocamlfind ocamlc -c -I src -o src/polytrope.cmi src/polytrope.mli
- ocamlfind ocamlc -c -I src -o src/cell_decomposition.cmi src/cell_decomposition.mli
- ocamlfind ocamlc -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_tropical_complex.cmo src/compute_tropical_complex.ml
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/cell_decomposition.ml > src/cell_decomposition.ml.depends
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/germ.ml > src/germ.ml.depends
- ocamlfind ocamldep -modules src/germ.mli > src/germ.mli.depends
- ocamlfind ocamlc -c -I src -o src/germ.cmi src/germ.mli
- ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/polytrope.ml > src/polytrope.ml.depends
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/germ.cmx src/germ.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/polytrope.cmx src/polytrope.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/cell_decomposition.cmx src/cell_decomposition.ml
- ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/compute_tropical_complex.cmx src/compute_tropical_complex.ml
- ocamlfind ocamlopt -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/germ.cmx src/polytrope.cmx src/cell_decomposition.cmx src/compute_tropical_complex.cmx -o src/compute_tropical_complex.native
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/5.1/lib/ocamlbuild /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/5.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
-> compiled tplib.1.3
Processing 9/9: [tplib: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tplib.1.3)
- ocamlfind install -destdir `ocamlfind printconf destdir` tplib src/META \
- _build/src/tplib.a _build/src/numeric.mli _build/src/semiring.mli _build/src/vector.mli _build/src/halfspace.mli _build/src/hypergraph.mli _build/src/tplib_core.mli _build/src/tplib_abstract.mli _build/src/tplib.cmxa _build/src/numeric.cmi _build/src/semiring.cmi _build/src/vector.cmi _build/src/halfspace.cmi _build/src/hypergraph.cmi _build/src/tplib_core.cmi _build/src/tplib_abstract.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/tplib_abstract.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/tplib_core.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/hypergraph.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/halfspace.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/vector.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/semiring.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/numeric.cmi
- Installed /home/opam/.opam/5.1/lib/tplib/tplib.cmxa
- Installed /home/opam/.opam/5.1/lib/tplib/tplib_abstract.mli
- Installed /home/opam/.opam/5.1/lib/tplib/tplib_core.mli
- Installed /home/opam/.opam/5.1/lib/tplib/hypergraph.mli
- Installed /home/opam/.opam/5.1/lib/tplib/halfspace.mli
- Installed /home/opam/.opam/5.1/lib/tplib/vector.mli
- Installed /home/opam/.opam/5.1/lib/tplib/semiring.mli
- Installed /home/opam/.opam/5.1/lib/tplib/numeric.mli
- Installed /home/opam/.opam/5.1/lib/tplib/tplib.a
- Installed /home/opam/.opam/5.1/lib/tplib/META
- test -d /home/opam/.opam/5.1/bin || install -d /home/opam/.opam/5.1/bin
- /usr/bin/install -c _build/src/compute_ext_rays _build/src/compute_ext_rays_polar _build/src/compute_halfspaces _build/src/compute_tangent_hypergraph _build/src/compute_minimal_external_representations _build/src/compute_tropical_complex /home/opam/.opam/5.1/bin
- mkdir -p /home/opam/.opam/5.1/include
- /usr/bin/install -c -m 644 /home/opam/.opam/5.1/include
- /usr/bin/install: missing destination file operand after '/home/opam/.opam/5.1/include'
- Try '/usr/bin/install --help' for more information.
- make: *** [Makefile:124: install-bindings] Error 1
[ERROR] The installation of tplib failed at "make install".
Processing 9/9: [tplib: ./configure]
+ /home/opam/.opam/5.1/.opam-switch/build/tplib.1.3/./configure "--prefix" "/home/opam/.opam/5.1" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tplib.1.3)
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for ocamlc... ocamlc
- OCaml version is 5.1.1
- OCaml library path is /home/opam/.opam/5.1/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking for ocamlc.opt... ocamlc.opt
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocaml... ocaml
- checking for ocamldep... ocamldep
- checking for ocamlmktop... ocamlmktop
- checking for ocamlmklib... ocamlmklib
- checking for ocamldoc... ocamldoc
- checking for ocamlbuild... ocamlbuild
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for cat... cat
- checking for rm... rm
- checking for cp... cp
- checking for ar... ar
- checking for mkdir... mkdir
- checking for ranlib... ranlib
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for gawk... no
- checking for mawk... mawk
- checking for ocamlfind... ocamlfind
- checking for OCaml findlib package dynlink... found
- checking for OCaml findlib package zarith... not found
- checking for OCaml findlib package gmp... not found
- checking for caml_startup in -lasmrun... no
- checking how to run the C preprocessor... gcc -E
- checking for egrep... /usr/bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h...
- yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking caml/alloc.h usability... yes
- checking caml/alloc.h presence... yes
- checking for caml/alloc.h... yes
- checking caml/callback.h usability... yes
- checking caml/callback.h presence... yes
- checking for caml/callback.h... yes
- checking caml/memory.h usability... yes
- checking caml/memory.h presence... yes
- checking for caml/memory.h... yes
- checking caml/mlvalues.h usability... yes
- checking caml/mlvalues.h presence... yes
- checking for caml/mlvalues.h... yes
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/config.ml
- config.status: creating src/META
Processing 9/9: [tplib: make uninstall]
+ /usr/bin/make "uninstall" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tplib.1.3)
- ocamlfind remove -destdir `ocamlfind printconf destdir` tplib
- Removed /home/opam/.opam/5.1/lib/tplib/META
- Removed /home/opam/.opam/5.1/lib/tplib
- rm -f /home/opam/.opam/5.1/bin/compute_ext_rays /home/opam/.opam/5.1/bin/compute_ext_rays_polar /home/opam/.opam/5.1/bin/compute_halfspaces /home/opam/.opam/5.1/bin/compute_tangent_hypergraph /home/opam/.opam/5.1/bin/compute_minimal_external_representations /home/opam/.opam/5.1/bin/compute_tropical_complex
- rm -f
- rm -f
#=== ERROR while installing tplib.1.3 =========================================#
# context 2.1.5 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path ~/.opam/5.1/.opam-switch/build/tplib.1.3
# command /usr/bin/make install
# exit-code 2
# env-file ~/.opam/log/tplib-113-09dae3.env
# output-file ~/.opam/log/tplib-113-09dae3.out
### output ###
# ocamlfind install -destdir `ocamlfind printconf destdir` tplib src/META \
# _build/src/tplib.a _build/src/numeric.mli _build/src/semiring.mli _build/src/vector.mli _build/src/halfspace.mli _build/src/hypergraph.mli _build/src/tplib_core.mli _build/src/tplib_abstract.mli _build/src/tplib.cmxa _build/src/numeric.cmi _build/src/semiring.cmi _build/src/vector.cmi _build/src/halfspace.cmi _build/src/hypergraph.cmi _build/src/tplib_core.cmi _build/src/tplib_abstract.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/tplib_abstract.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/tplib_core.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/hypergraph.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/halfspace.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/vector.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/semiring.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/numeric.cmi
# Installed /home/opam/.opam/5.1/lib/tplib/tplib.cmxa
# Installed /home/opam/.opam/5.1/lib/tplib/tplib_abstract.mli
# Installed /home/opam/.opam/5.1/lib/tplib/tplib_core.mli
# Installed /home/opam/.opam/5.1/lib/tplib/hypergraph.mli
# Installed /home/opam/.opam/5.1/lib/tplib/halfspace.mli
# Installed /home/opam/.opam/5.1/lib/tplib/vector.mli
# Installed /home/opam/.opam/5.1/lib/tplib/semiring.mli
# Installed /home/opam/.opam/5.1/lib/tplib/numeric.mli
# Installed /home/opam/.opam/5.1/lib/tplib/tplib.a
# Installed /home/opam/.opam/5.1/lib/tplib/META
# test -d /home/opam/.opam/5.1/bin || install -d /home/opam/.opam/5.1/bin
# /usr/bin/install -c _build/src/compute_ext_rays _build/src/compute_ext_rays_polar _build/src/compute_halfspaces _build/src/compute_tangent_hypergraph _build/src/compute_minimal_external_representations _build/src/compute_tropical_complex /home/opam/.opam/5.1/bin
# mkdir -p /home/opam/.opam/5.1/include
# /usr/bin/install -c -m 644 /home/opam/.opam/5.1/include
# /usr/bin/install: missing destination file operand after '/home/opam/.opam/5.1/include'
# Try '/usr/bin/install --help' for more information.
# make: *** [Makefile:124: install-bindings] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - install tplib 1.3
+-
+- The following changes have been performed
| - install num 1.5
| - install ocamlbuild 0.14.3
+-
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240129152513.export"
'opam --cli=2.1 install tplib.1.3 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.1.5 --verbose --yes --confirm-level=unsafe-yes' failed.
On This Page