ocamlfind
ocamlfind copied to clipboard
opam install ocamlfind.1.9.5 fails with ocaml 4.00.1
15:58 ~/src/hol-light (master) ocamlc -v
The OCaml compiler, version 4.00.1
Standard library directory: /home/blanqui/.opam/4.00.1/lib/ocaml
15:57 ~/src/hol-light (master) opam install ocamlfind
The following actions will be performed:
∗ install ocamlfind 1.9.5
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved ocamlfind.1.9.5 (cached)
[ERROR] The compilation of ocamlfind.1.9.5 failed at "make opt".
#=== ERROR while compiling ocamlfind.1.9.5 ====================================#
# context 2.1.2 | linux/x86_64 | ocaml-base-compiler.4.00.1 | https://opam.ocaml.org#a887fb27
# path ~/.opam/4.00.1/.opam-switch/build/ocamlfind.1.9.5
# command ~/.opam/opam-init/hooks/sandbox.sh build make opt
# exit-code 2
# env-file ~/.opam/log/ocamlfind-6441-f5e279.env
# output-file ~/.opam/log/ocamlfind-6441-f5e279.out
### output ###
# Options are:
# [...]
# -dalloc (undocumented)
# -dreload (undocumented)
# -dscheduling (undocumented)
# -dlinear (undocumented)
# -dstartup (undocumented)
# - <file> Treat <file> as a file name (even if it starts with `-')
# -help Display this list of options
# --help Display this list of options
# make[1]: *** [Makefile:173 : findlib_config.cmx] Erreur 2
# make[1] : on quitte le répertoire « /home/blanqui/.opam/4.00.1/.opam-switch/build/ocamlfind.1.9.5/src/findlib »
# make: *** [Makefile:18 : opt] Erreur 2
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build ocamlfind 1.9.5
└─
╶─ No changes have been performed
Indeed - you should be able to pin it instead (opam pin add ocamlfind --dev-repo should pick up 1.9.6).
@gerdstolpmann - is there anything blocking the release of 1.9.6 to opam-repository?