Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Coq kompilieren
Bei mir scheitert das kompilieren von Coq immer an folgendem, obwohl ich vorher Lablgtk3 mit “opam install lablgtk3” erfolgreich installiert habe:
sven@sven-MS-7A38:~/Downloads/coq-8.12.1$ ./configure && make && sudo make install
You have OCaml 4.08.1. Good!
You have OCamlfind 1.8.1. Good!
You have native-code compilation. Good!
You have the Num library installed. Good!
LablGtk3 or LablGtkSourceView3 not found:
=> no CoqIde will be builtWeiß jemand woran das liegen kann?
Edit: bin auf Ubuntu 20.04.01
1 „Gefällt mir“
Ok, man hätte auch einfach
sudo apt install coqideverwenden können, also Problem gelöst :nuts: :nuts:
Wer Zeit verbraten möchte, kann ja mal versuchen auf Windows (mit WSL genauso) Ocaml, Opam und Coq zu installieren oder gar zu kompilieren. Viel Spaß!