Skip to content

Instantly share code, notes, and snippets.

@ericoporto

ericoporto/Instalar_coq.txt

Created April 6, 2023 21:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ericoporto/5ffbdddb17841b6427a0c1096524eaf5 to your computer and use it in GitHub Desktop.
Save ericoporto/5ffbdddb17841b6427a0c1096524eaf5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Instalar_coq.txt
Baixe o instalador pra windows da release do projeto coq platform: https://github.com/coq/platform/releases/tag/2022.09.1
NÃO INSTALE, use 7-zip pra extrair o exe em um diretório
copie o bin, lib, etc, share, man para seu /usr/local/
confirme que o arquivo findlib.conf está em /usr/local/lib
No seu bash rc, adicione a linha export OCAMLFIND_CONF=/usr/local/lib/findlib.conf
reinicie seu terminal MSYS2 e digite coqide no terminal
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment