Installation in local OPAM switch with dune-project fails
Steps to reproduce the issue
Create a local OPAM switch, create an empty dune-project
file, install Frama-C (last version 26).
mkdir test
cd test
opam switch create . 4.14.1
eval (opam env)
touch dune-project
opam install frama-c
Expected behaviour
Installation succeeds.
Actual behaviour
Installation fails:
[ERROR] The installation of frama-c failed at "make PREFIX=/home/lelio/Projects/test/_opam MANDIR= install".
#=== ERROR while installing frama-c.26.0 ======================================#
# context 2.1.4 | linux/x86_64 | ocaml-base-compiler.4.14.1 | https://opam.ocaml.org#34077df0
# path ~/Projects/test/_opam/.opam-switch/build/frama-c.26.0
# command ~/.opam/opam-init/hooks/sandbox.sh install make PREFIX=/home/lelio/Projects/test/_opam MANDIR= install
# exit-code 2
# env-file ~/.opam/log/frama-c-2744448-3e4244.env
# output-file ~/.opam/log/frama-c-2744448-3e4244.out
### output ###
# Installing Frama-C to current Opam switch
# (copying and relocating files...)
# make: *** [share/Makefile.installation:62: install] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ ∗ install frama-c 26.0
└─
╶─ No changes have been performed
Contextual information
- Frama-C installation mode: local Opam switch with
dune-project
file - Frama-C version: 26.0
- OS name: Archlinux
Additional information (optional)
I precise that the procedure works well for anterior versions (eg. 24, 25). It works also for version 26 if no dune-project
file is present.
This is a minimal example, in my use case I didn't even have an error message, Frama-C was reported as successfully installed but the frama-c
binary was actually not installed (in _opam/bin/frama-c
).