Open fblanqui opened 1 year ago
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).
opam pin add ocamlfind --dev-repo
@gerdstolpmann - is there anything blocking the release of 1.9.6 to opam-repository?