[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] v2-tlapm installation failure



Stephan, 

I see. Thanks a lot!

2020年1月22日水曜日 21時28分37秒 UTC+9 Stephan Merz:
Hello,

this is not the new version of TLAPS, please download from https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries.html or get the sources from https://github.com/tlaplus/v1-tlapm. There is an imminent bug-fix release of TLAPS, so you may want to wait a day or two.

Regards,
Stephan

On 22 Jan 2020, at 12:51, shinsa82 <shin...@xxxxxxxxx> wrote:

I'm trying to install v2-tlapm (what I believe as the new version of TLAPS).
Following instruction at https://github.com/tlaplus/v2-tlapm , I executed command `opam pin add tlapm2 https://github.com/tlaplus/v2-tlapm.git`, but it failed with the following error.

=== error log ===

Package tlapm2 does not exist, create as a NEW package? [Y/n] y
[tlapm2.~dev] synchronised from git+https://github.com/tlaplus/v2-tlapm.git
[WARNING] Failed checks on tlapm2 package definition from source at git+https://github.com/tlaplus/v2-tlapm.git:
    error 57: Synopsis and description must not be both empty
tlapm2 is now pinned to git+https://github.com/tlaplus/v2-tlapm.git (version dev)

The following actions will be performed:
  ∗ install seq               base    [required by containers]
  ∗ install conf-m4           1       [required by ocamlfind]
  ∗ install dune              2.1.3   [required by result, containers, sexplib]
  ∗ install ocamlbuild        0.14.0  [required by tlapm2]
  ∗ install ocamlfind         1.8.1   [required by tlapm2]
  ∗ install sexplib0          v0.13.0 [required by sexplib]
  ∗ install result            1.4     [required by tlapm2]
  ∗ install dune-private-libs 2.1.3   [required by dune-configurator]
  ∗ install topkg             1.0.1   [required by xmlm]
  ∗ install ocamlmod          0.0.9   [required by oasis]
  ∗ install ocamlify          0.0.1   [required by oasis]
  ∗ install num               1.3     [required by sexplib]
  ∗ install dune-configurator 2.1.3   [required by containers]
  ∗ install xmlm              1.3.0   [required by tlapm2]
  ∗ install oasis             0.4.11  [required by tlapm2]
  ∗ install containers        2.8.1   [required by tlapm2]
  ∗ install base              v0.13.0 [required by parsexp]
  ∗ install parsexp           v0.13.0 [required by sexplib]
  ∗ install sexplib           v0.13.0 [required by tlapm2]
  ∗ install tlapm2            dev*
===== ∗ 20 =====
Do you want to continue? [Y/n] y

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
[containers.2.8.1] downloaded from cache at https://opam.ocaml.org/cache
[base.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[dune.2.1.3] downloaded from cache at https://opam.ocaml.org/cache
[dune-configurator.2.1.3] downloaded from cache at https://opam.ocaml.org/cache
[num.1.3] downloaded from cache at https://opam.ocaml.org/cache
[oasis.0.4.11] downloaded from cache at https://opam.ocaml.org/cache
[dune-private-libs.2.1.3] downloaded from cache at https://opam.ocaml.org/cache
[ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ocamlify.0.0.1] downloaded from cache at https://opam.ocaml.org/cache
[ocamlfind.1.8.1] downloaded from cache at https://opam.ocaml.org/cache
[ocamlmod.0.0.9] downloaded from cache at https://opam.ocaml.org/cache
[parsexp.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[result.1.4] downloaded from cache at https://opam.ocaml.org/cache
[sexplib0.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[sexplib.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[topkg.1.0.1] downloaded from cache at https://opam.ocaml.org/cache
[xmlm.1.3.0] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
∗ installed seq.base
∗ installed conf-m4.1
∗ installed ocamlbuild.0.14.0
∗ installed ocamlfind.1.8.1
∗ installed num.1.3
∗ installed ocamlify.0.0.1
∗ installed ocamlmod.0.0.9
∗ installed topkg.1.0.1
∗ installed xmlm.1.3.0
∗ installed dune.2.1.3
∗ installed result.1.4
∗ installed sexplib0.v0.13.0
∗ installed dune-private-libs.2.1.3
∗ installed dune-configurator.2.1.3
∗ installed containers.2.8.1
∗ installed base.v0.13.0
∗ installed oasis.0.4.11
∗ installed parsexp.v0.13.0
∗ installed sexplib.v0.13.0
[ERROR] The compilation of tlapm2 failed at "/Users/shinsa/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /Users/shinsa/.opam/default --disable-tests --enable-docs".

#=== ERROR while compiling tlapm2.dev =========================================#
# context     2.0.6 | macos/x86_64 | ocaml-base-compiler.4.09.0 | pinned(git+https://github.com/tlaplus/v2-tlapm.git#8cc71033)
# path        ~/.opam/default/.opam-switch/build/tlapm2.dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build ./configure --prefix /Users/shinsa/.opam/default --disable-tests --enable-docs
# exit-code   1
# env-file    ~/.opam/log/tlapm2-62496-db4293.env
# output-file ~/.opam/log/tlapm2-62496-db4293.out
### output ###
# [...]
# If you need to stay compatible with OCaml < 4.07, you can use the
# File "setup.ml", line 3467, characters 16-34:
# Alert deprecated: module Stdlib.Pervasives
# Use Stdlib instead.
#
# If you need to stay compatible with OCaml < 4.07, you can use the
# ocamlfind: Package `kaputt' not found
# W: Field 'pkg_kaputt' is not set: Command ''/Users/shinsa/.opam/default/bin/ocamlfind' query -format %d kaputt > '/var/folders/3v/l_bnlbp12zjc7cxpqx2h0gwc0000gn/T/oasis-474386.txt'' terminated with error code 2
# E: Cannot find findlib package kaputt
# E: Failure("1 configuration error")


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
┌─ The following actions failed
│ λ build tlapm2 dev
└─
┌─ The following changes have been performed
│ ∗ install base              v0.13.0
│ ∗ install conf-m4           1
│ ∗ install containers        2.8.1
│ ∗ install dune              2.1.3
│ ∗ install dune-configurator 2.1.3
│ ∗ install dune-private-libs 2.1.3
│ ∗ install num               1.3
│ ∗ install oasis             0.4.11
│ ∗ install ocamlbuild        0.14.0
│ ∗ install ocamlfind         1.8.1
│ ∗ install ocamlify          0.0.1
│ ∗ install ocamlmod          0.0.9
│ ∗ install parsexp           v0.13.0
│ ∗ install result            1.4
│ ∗ install seq               base
│ ∗ install sexplib           v0.13.0
│ ∗ install sexplib0          v0.13.0
│ ∗ install topkg             1.0.1
│ ∗ install xmlm              1.3.0
└─
[NOTE] Pinning command successful, but your installed packages may be out of sync.

=== error log end ===

It seem to be an error in early stage (in line 5)...
Did I take any mistake, or I'm looking at wrong instruction?

My environment:
- macOS Mojave
- Opam 2.0.6 (installed via brew)
- OCaml 4.09.0 (installed via opam)

Any hints will help.

-- shinsa82


--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tla...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/13dc007c-e272-4bd3-b04f-456f641faa06%40googlegroups.com.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/531fce4e-107b-4b91-abb6-52d8ef51419e%40googlegroups.com.