package lambdapi

  1. Overview
  2. Docs
On This Page
  1. Error log

lambdapi 2.0.0

Error log

The package failed to build. The error log from opam follows.

[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 29 packages
  - install alt-ergo            2.2.0
  - install bindlib             5.0.1
  - install camlp-streams       5.0.1
  - install camlzip             1.07
  - install cmdliner            1.3.0
  - install conf-autoconf       0.2
  - install conf-gmp            4
  - install conf-pkg-config     4
  - install gen                 1.1
  - install lambdapi            2.0.0
  - install menhir              20211128
  - install menhirLib           20211128
  - install menhirSdk           20211128
  - install num                 1.5-1
  - install ocaml-compiler-libs v0.12.4
  - install ocamlbuild          0.15.0
  - install ocplib-simplex      0.4.1
  - install ppx_derivers        1.2.1
  - install ppxlib              0.35.0
  - install pratter             1.2.1
  - install psmt2-frontend      0.1
  - install sedlex              3.3
  - install seq                 base
  - install sexplib0            v0.17.0
  - install stdlib-shims        0.3.0
  - install timed               1.1
  - install why3                1.4.1
  - install yojson              2.2.2
  - install zarith              1.14

The following system packages will first need to be installed:
    autoconf libgmp-dev pkg-config zlib1g-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" "pkg-config" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18745 files and directories currently installed.)
- Preparing to unpack .../00-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../01-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../02-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../03-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../04-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../05-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../06-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../07-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../08-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../09-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../10-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up m4 (1.4.19-3) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up autoconf (2.71-3) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved alt-ergo.2.2.0  (cached)
-> retrieved bindlib.5.0.1  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved camlzip.1.07  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved gen.1.1  (cached)
-> installed conf-autoconf.0.2
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128  (cached)
-> installed camlp-streams.5.0.1
-> retrieved lambdapi.2.0.0  (cached)
-> retrieved num.1.5-1  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocplib-simplex.0.4.1  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved pratter.1.2.1  (cached)
-> retrieved psmt2-frontend.0.1  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved sedlex.3.3  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> retrieved timed.1.1  (cached)
-> retrieved why3.1.4.1  (cached)
-> installed camlzip.1.07
-> retrieved yojson.2.2.2  (cached)
-> retrieved zarith.1.14  (cached)
-> installed cmdliner.1.3.0
-> installed gen.1.1
-> installed menhirLib.20211128
-> installed menhirSdk.20211128
-> installed num.1.5-1
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppx_derivers.1.2.1
-> installed pratter.1.2.1
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed timed.1.1
-> installed yojson.2.2.2
-> installed ocplib-simplex.0.4.1
-> installed zarith.1.14
-> installed ocamlbuild.0.15.0
-> installed bindlib.5.0.1
-> installed menhir.20211128
-> installed ppxlib.0.35.0
-> installed sedlex.3.3
-> installed psmt2-frontend.0.1
[ERROR] The installation of alt-ergo failed at "make install MANDIR=/home/opam/.opam/4.14/man".
-> installed why3.1.4.1

#=== ERROR while installing alt-ergo.2.2.0 ====================================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///src
# path                 ~/.opam/4.14/.opam-switch/build/alt-ergo.2.2.0
# command              /usr/bin/make install MANDIR=/home/opam/.opam/4.14/man
# exit-code            2
# env-file             ~/.opam/log/alt-ergo-113-51d48c.env
# output-file          ~/.opam/log/alt-ergo-113-51d48c.out
### output ###
# autoconf 
# configure.in:328: warning: AC_OUTPUT should be used without arguments.
# configure.in:328: You should run autoupdate.
# ./configure
# checking for ocp-ocamlc... no
# checking for ocamlc... ocamlc
# ocaml version is 4.14.2
# ocaml library path is /home/opam/.opam/4.14/lib/ocaml
# checking for ocamlfind... yes
# ocamlfind found zarith in -I /home/opam/.opam/4.14/lib/zarith
# ocamlfind found num in -I /home/opam/.opam/4.14/lib/num
# ocamlfind found camlzip in -I /home/opam/.opam/4.14/lib/camlzip/../zip
# ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.14/lib/ocplib-simplex
# ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.14/lib/psmt2-frontend
# checking for ocp-ocamlopt... no
# checking for ocamlopt... ocamlopt
# checking ocamlopt version... ok
# checking for ocp-ocamlc.opt... no
# checking for ocamlc.opt... ocamlc.opt
# checking ocamlc.opt version... ok
# checking for ocp-ocamlopt.opt... no
# checking for ocamlopt.opt... ocamlopt.opt
# checking ocamlc.opt version... ok
# checking for ocamldep... ocamldep
# checking for ocamllex... ocamllex
# checking for ocamllex.opt... ocamllex.opt
# checking for menhir... menhir
# ocamlfind: Package `lablgtk2.sourceview2' not found
# checking for /home/opam/.opam/4.14/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
# Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
# checking for ocamlweb... true
# checking platform... configure: creating ./config.status
# config.status: creating Makefile.configurable
# config.status: WARNING:  'Makefile.configurable.in' seems to ignore the --datarootdir setting
# ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \
#         tools/gui/*.ml* parsers/why/*.ml* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
# autoconf 
# configure.in:328: warning: AC_OUTPUT should be used without arguments.
# configure.in:328: You should run autoupdate.
# ./configure
# checking for ocp-ocamlc... no
# checking for ocamlc... ocamlc
# ocaml version is 4.14.2
# ocaml library path is /home/opam/.opam/4.14/lib/ocaml
# checking for ocamlfind... yes
# ocamlfind found zarith in -I /home/opam/.opam/4.14/lib/zarith
# ocamlfind found num in -I /home/opam/.opam/4.14/lib/num
# ocamlfind found camlzip in -I /home/opam/.opam/4.14/lib/camlzip/../zip
# ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.14/lib/ocplib-simplex
# ocamlfind found psmt2-frontend in -I /home/opam/.opam/4.14/lib/psmt2-frontend
# checking for ocp-ocamlopt... no
# checking for ocamlopt... ocamlopt
# checking ocamlopt version... ok
# checking for ocp-ocamlc.opt... no
# checking for ocamlc.opt... ocamlc.opt
# checking ocamlc.opt version... ok
# checking for ocp-ocamlopt.opt... no
# checking for ocamlopt.opt... ocamlopt.opt
# checking ocamlc.opt version... ok
# checking for ocamldep... ocamldep
# checking for ocamllex... ocamllex
# checking for ocamllex.opt... ocamllex.opt
# checking for menhir... menhir
# ocamlfind: Package `lablgtk2.sourceview2' not found
# checking for /home/opam/.opam/4.14/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
# Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
# checking for ocamlweb... true
# checking platform... configure: creating ./config.status
# config.status: creating Makefile.configurable
# config.status: WARNING:  'Makefile.configurable.in' seems to ignore the --datarootdir setting
# mkdir -p /home/opam/.opam/4.14/man/man1
# cp -f doc/alt-ergo.1 /home/opam/.opam/4.14/man/man1
# mkdir -p /usr/local/lib/alt-ergo/preludes
# mkdir: cannot create directory '/usr/local/lib/alt-ergo': Permission denied
# make: *** [Makefile.users:243: install-preludes] Error 1



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - install alt-ergo 2.2.0
+- 
+- The following changes have been performed (the rest was aborted)
| - install bindlib             5.0.1
| - install camlp-streams       5.0.1
| - install camlzip             1.07
| - install cmdliner            1.3.0
| - install conf-autoconf       0.2
| - install conf-gmp            4
| - install conf-pkg-config     4
| - install gen                 1.1
| - install menhir              20211128
| - install menhirLib           20211128
| - install menhirSdk           20211128
| - install num                 1.5-1
| - install ocaml-compiler-libs v0.12.4
| - install ocamlbuild          0.15.0
| - install ocplib-simplex      0.4.1
| - install ppx_derivers        1.2.1
| - install ppxlib              0.35.0
| - install pratter             1.2.1
| - install psmt2-frontend      0.1
| - install sedlex              3.3
| - install seq                 base
| - install sexplib0            v0.17.0
| - install stdlib-shims        0.3.0
| - install timed               1.1
| - install why3                1.4.1
| - install yojson              2.2.2
| - install zarith              1.14
+- 
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.14/.opam-switch/backup/state-20250206031450.export"
OCaml

Innovation. Community. Security.