The following actions will be performed: - install pilat 1.1 =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [pilat: http] Command started [pilat: http] Command started [pilat.1.1] https://github.com/Stevendeo/Pilat/archive/stable_1.1.zip downloaded =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [pilat: sh make.sh] Command started + sh "make.sh" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1) - configure.in:18: warning: prefer named diversions - configure.in:24: warning: prefer named diversions - configure.in:30: warning: prefer named diversions - configure.in:40: warning: prefer named diversions - checking for frama-c-gui... yes - checking for Makefile.in... yes - pilat... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml_top.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/zarith/zarith.cmxa... yes - configure: pilat: yes - configure: creating ./config.status - config.status: creating ./Makefile - Generating .Makefile.plugin.generated - Cleaning Pilat - Generating .Makefile.plugin.generated - Generating top/Pilat.mli - Ocamldep ./.depend - Ocamldep ./.depend - Generating META.frama-c-pilat - Ocamlc mat_option.cmi - Ocamlc mat_option.cmo - Ocamlc float.cmo - Ocamlc qring.cmo - Ocamlc pilat_math.cmi - configure.in:18: warning: prefer named diversions - configure.in:24: warning: prefer named diversions - configure.in:30: warning: prefer named diversions - configure.in:40: warning: prefer named diversions - checking for frama-c-gui... yes - checking for Makefile.in... yes - pilat... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml_top.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/zarith/zarith.cmxa... yes - configure: pilat: yes - configure: creating ./config.status - config.status: creating ./Makefile - Generating .Makefile.plugin.generated - Cleaning Pilat - Generating .Makefile.plugin.generated - Generating top/Pilat.mli - Ocamldep ./.depend - Ocamldep ./.depend - Generating META.frama-c-pilat - Ocamlc mat_option.cmi - Ocamlc mat_option.cmo - Ocamlc float.cmo - Ocamlc qring.cmo - Ocamlc pilat_math.cmi - Ocamlc poly.cmi - Ocamlc poly.cmo - Ocamlc poly_utils.cmi - Ocamlc poly_utils.cmo - Ocamlc pilat_visitors.cmi - Ocamlc pilat_visitors.cmo - Ocamlc lacaml_matrix.cmi - File "lacaml_matrix.mli", line 27, characters 16-29: - Error: Unbound module Lacaml__D - /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed - make: *** [lacaml_matrix.cmi] Error 2 - Ocamlc poly.cmi - Ocamlc poly.cmo - Ocamlc poly_utils.cmi - Ocamlc poly_utils.cmo - Ocamlc pilat_visitors.cmi - Ocamlc pilat_visitors.cmo - Ocamlc lacaml_matrix.cmi - File "lacaml_matrix.mli", line 27, characters 16-29: - Error: Unbound module Lacaml__D - /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed - make: *** [lacaml_matrix.cmi] Error 2 [ERROR] The compilation of pilat failed at "sh make.sh". [pilat: ocamlfind remove] Command started + ocamlfind "remove" "pilat" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1) - configure.in:18: warning: prefer named diversions - configure.in:24: warning: prefer named diversions - configure.in:30: warning: prefer named diversions - configure.in:40: warning: prefer named diversions - checking for frama-c-gui... yes - checking for Makefile.in... yes - pilat... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml_top.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/zarith/zarith.cmxa... yes - configure: pilat: yes - configure: creating ./config.status - config.status: creating ./Makefile - Generating .Makefile.plugin.generated - Cleaning Pilat - Generating .Makefile.plugin.generated - Generating top/Pilat.mli - Ocamldep ./.depend - Ocamldep ./.depend - Generating META.frama-c-pilat - Ocamlc mat_option.cmi - Ocamlc mat_option.cmo - Ocamlc float.cmo - Ocamlc qring.cmo - Ocamlc pilat_math.cmi - Ocamlc poly.cmi - Ocamlc poly.cmo - Ocamlc poly_utils.cmi - Ocamlc poly_utils.cmo - Ocamlc pilat_visitors.cmi - Ocamlc pilat_visitors.cmo - Ocamlc lacaml_matrix.cmi - File "lacaml_matrix.mli", line 27, characters 16-29: - Error: Unbound module Lacaml__D - /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed - make: *** [lacaml_matrix.cmi] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/pilat/META - configure.in:18: warning: prefer named diversions - configure.in:24: warning: prefer named diversions - configure.in:30: warning: prefer named diversions - configure.in:40: warning: prefer named diversions - checking for frama-c-gui... yes - checking for Makefile.in... yes - pilat... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/lacaml/lacaml_top.cmxa... yes - checking for /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/zarith/zarith.cmxa... yes - configure: pilat: yes - configure: creating ./config.status - config.status: creating ./Makefile - Generating .Makefile.plugin.generated - Cleaning Pilat - Generating .Makefile.plugin.generated - Generating top/Pilat.mli - Ocamldep ./.depend - Ocamldep ./.depend - Generating META.frama-c-pilat - Ocamlc mat_option.cmi - Ocamlc mat_option.cmo - Ocamlc float.cmo - Ocamlc qring.cmo - Ocamlc pilat_math.cmi - Ocamlc poly.cmi - Ocamlc poly.cmo - Ocamlc poly_utils.cmi - Ocamlc poly_utils.cmo - Ocamlc pilat_visitors.cmi - Ocamlc pilat_visitors.cmo - Ocamlc lacaml_matrix.cmi - File "lacaml_matrix.mli", line 27, characters 16-29: - Error: Unbound module Lacaml__D - /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed - make: *** [lacaml_matrix.cmi] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/pilat/META #=== ERROR while installing pilat.1.1 =========================================# # opam-version 1.2.2+dd (3852ba0a7708d4dc37f64dd4cd00f873bf317ac0) # os linux # command sh make.sh # path /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1 # compiler 4.07.0+pr2051 # exit-code 2 # env-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1/pilat-11737.env # stdout-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1/pilat-11737.out # stderr-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/pilat.1.1/pilat-11737.out ### stdout ### # [...] # Ocamlc poly.cmo # Ocamlc poly_utils.cmi # Ocamlc poly_utils.cmo # Ocamlc pilat_visitors.cmi # Ocamlc pilat_visitors.cmo # Ocamlc lacaml_matrix.cmi # File "lacaml_matrix.mli", line 27, characters 16-29: # Error: Unbound module Lacaml__D # /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed # make: *** [lacaml_matrix.cmi] Error 2 ### stderr ### # [...] # Ocamlc poly.cmo # Ocamlc poly_utils.cmi # Ocamlc poly_utils.cmo # Ocamlc pilat_visitors.cmi # Ocamlc pilat_visitors.cmo # Ocamlc lacaml_matrix.cmi # File "lacaml_matrix.mli", line 27, characters 16-29: # Error: Unbound module Lacaml__D # /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/share/frama-c/Makefile.generic:70: recipe for target 'lacaml_matrix.cmi' failed # make: *** [lacaml_matrix.cmi] Error 2 =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following actions failed - install pilat 1.1 No changes have been performed 'opam install pilat.1.1' failed.