package portia

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

portia 1.5

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 portia.1.5 ocamlfind.1.9.6 num.1.5 dune.3.13.0 camlp-streams.5.0.1 batteries.3.7.2" 

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 dune is already installed (current version is 3.13.0).
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
  - install num           1.5
  - install camlp-streams 5.0.1
  - install batteries     3.7.2
  - install portia        1.5
===== 4 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/12:
Processing  2/12:
Processing  3/12:
-> retrieved camlp-streams.5.0.1  (cached)
Processing  4/12: [portia.1.5: http]
Processing  5/12: [portia.1.5: http] [camlp-streams: dune build]
-> retrieved batteries.3.7.2  (cached)
-> retrieved num.1.5  (cached)
Processing  6/12: [portia.1.5: http] [camlp-streams: dune build] [num: make opam-modern]
Processing  6/12: [camlp-streams: dune build] [num: make opam-modern]
-> retrieved portia.1.5  (https://github.com/rixed/portia/archive/v1.5.tar.gz)
-> compiled  camlp-streams.5.0.1
Processing  6/12: [num: make opam-modern]
-> installed camlp-streams.5.0.1
Processing  7/12: [num: make opam-modern]
+ /usr/bin/make "PROFILE=release" "opam-modern" (CWD=/home/opam/.opam/5.1/.opam-switch/build/num.1.5)
- /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
-> installed num.1.5
Processing  9/12: [batteries: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "batteries" "-j" "255" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/batteries.3.7.2)
-> compiled  batteries.3.7.2
-> installed batteries.3.7.2
Processing 11/12: [portia: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/5.1/.opam-switch/build/portia.1.5)
- ocamlfind ocamldep  -package "batteries dynlink" *.ml > depend
- echo 'let plugindir = "/usr/lib/portia"' > pkgConfig.ml
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c pkgConfig.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "pkgConfig.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaLog.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "portiaLog.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaConfig.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "portiaConfig.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaDefinition.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "portiaDefinition.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaParse.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "portiaParse.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c output.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "output.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c main.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlfind ocamlc   -o portia.byte  -package "batteries dynlink" -linkpkg  -w Ael-31-33-40-41-42-44-45 -g -annot -I . pkgConfig.cmo portiaLog.cmo portiaConfig.cmo portiaDefinition.cmo portiaParse.cmo output.cmo main.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Ael', is deprecated.
- Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 
- File "_none_", line 1:
- Error: Cannot find file /home/opam/.opam/5.1/lib/ocaml/threads.cma
- make: *** [Makefile:65: portia.byte] Error 2
[ERROR] The compilation of portia.1.5 failed at "make".

#=== ERROR while compiling portia.1.5 =========================================#
# context              2.1.5 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/portia.1.5
# command              /usr/bin/make
# exit-code            2
# env-file             ~/.opam/log/portia-113-79fb38.env
# output-file          ~/.opam/log/portia-113-79fb38.out
### output ###
# ocamlfind ocamldep  -package "batteries dynlink" *.ml > depend
# echo 'let plugindir = "/usr/lib/portia"' > pkgConfig.ml
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c pkgConfig.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "pkgConfig.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaLog.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "portiaLog.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaConfig.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "portiaConfig.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaDefinition.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "portiaDefinition.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c portiaParse.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "portiaParse.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c output.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "output.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc  -package "batteries dynlink"  -w Ael-31-33-40-41-42-44-45 -g -annot -I . -c main.ml
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "main.ml", line 1:
# Warning 70 [missing-mli]: Cannot find interface file.
# ocamlfind ocamlc   -o portia.byte  -package "batteries dynlink" -linkpkg  -w Ael-31-33-40-41-42-44-45 -g -annot -I . pkgConfig.cmo portiaLog.cmo portiaConfig.cmo portiaDefinition.cmo portiaParse.cmo output.cmo main.cmo
# File "_none_", line 1:
# Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
# like 'Ael', is deprecated.
# Use the equivalent signed form: +A-e-l-31-33-40-41-42-44-45.
# Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
# 
# File "_none_", line 1:
# Error: Cannot find file /home/opam/.opam/5.1/lib/ocaml/threads.cma
# make: *** [Makefile:65: portia.byte] Error 2



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build portia 1.5
+- 
+- The following changes have been performed
| - install batteries     3.7.2
| - install camlp-streams 5.0.1
| - install num           1.5
+- 
# 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-20240129152912.export"
'opam --cli=2.1 install portia.1.5 ocamlfind.1.9.6 num.1.5 dune.3.13.0 camlp-streams.5.0.1 batteries.3.7.2 --verbose --yes --confirm-level=unsafe-yes' failed.