opam icon indicating copy to clipboard operation
opam copied to clipboard

opam on windows: Error while running ocamlc -version during opam install

Open JonasOberhauser opened this issue 1 year ago • 15 comments

Trying to install coq-core.8.19.2

#=== ERROR while compiling coq-core.8.19.2 ====================================#
# context     2.2.0 | win32/x86_64 | ocaml.5.2.0 | https://opam.ocaml.org#2b34893577f5b57ae4183fd6260e7a3ef7499268
# path        ~\AppData\Local\opam\default\.opam-switch\build\coq-core.8.19.2
# command     ~\AppData\Local\opam\default\.opam-switch\build\coq-core.8.19.2\./configure -prefix D:\Users\...\AppData\Local\opam\default -mandir D:\Users\...\AppData\Local\opam\default\man -libdir D:\Users\...\AppData\Local\opam\default\lib/coq -native-compiler no
# exit-code   1
# env-file    ~\AppData\Local\opam\log\coq-core-40224-fa2d91.env
# output-file ~\AppData\Local\opam\log\coq-core-40224-fa2d91.out
### output ###
# Uncaught exception: Invalid_argument("index out of bounds")
# Error while running 'D:\Users\...\AppData\Local\opam\default\bin/ocamlfind.exe ocamlc -version' (exit code 3)
# Configuration script failed!

Manually running D:\Users\...\AppData\Local\opam\default\bin/ocamlfind.exe ocamlc -version outputs 5.2.0

JonasOberhauser avatar Jul 30 '24 20:07 JonasOberhauser