I'm trying to install v2-tlapm (what I believe as the new version of TLAPS).
$ 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.
It seem to be an error in early stage (in line 5)...
Any hints will help.