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 ===

$ opam pin add tlapm2 https://github.com/tlaplus/v2-tlapm.git
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
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# 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
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# 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.