search

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.
https://opam.ocaml.org
Creative Commons Zero v1.0 Universal
517 stars 1.14k forks source link

Error installing vscoq-language-server on Windows 11 #26491

Open W1llDu opened 2 months ago

W1llDu commented 2 months ago

Steps: make switch (4.13.1) pin coq to 8.19.2

#=== ERROR while compiling coq-core.8.19.2 ====================================#
# context     2.2.1 | win32/x86_64 | ocaml-base-compiler.4.13.1 | https://opam.ocaml.org#b239951e2279e4b35b1fcef0a4da819a409faa5d
# path        C:\opamroot\opam-1ddc8f\coq\.opam-switch\build\coq-core.8.19.2
# command     C:\opamroot\opam-1ddc8f\coq\.opam-switch\build\coq-core.8.19.2\./configure -prefix C:\opamroot\opam-1ddc8f\coq -mandir C:\opamroot\opam-1ddc8f\coq\man -libdir C:\opamroot\opam-1ddc8f\coq\lib/coq -native-compiler no
# exit-code   1
# env-file    C:\opamroot\opam-1ddc8f\log\coq-core-53332-754c34.env
# output-file C:\opamroot\opam-1ddc8f\log\coq-core-53332-754c34.out
### output ###
# Uncaught exception: Invalid_argument("index out of bounds")
# Error while running 'C:\opamroot\opam-1ddc8f\coq\bin/ocamlfind.exe ocamlc -version' (exit code 3)
# Configuration script failed!

coq-core-53332-754c34.env.txt coq-core-53332-754c34.info.txt coq-core-53332-754c34.out.txt

proux01 commented 2 months ago

Coq currently doesn't work on OPAM for windows. Until we get it to work (might take months), the best solution is probably, as recommended on the official website to resort on the Coq platform: https://coq.inria.fr/download