Not logged in. · Lost password · Register

Svenno
Member since Nov 2019
39 posts
Subject: Coq kompilieren
+1 errnosys
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 built

Weiß jemand woran das liegen kann?

Edit: bin auf Ubuntu 20.04.01
This post was edited on 2020-12-10, 14:15 by Svenno.
Svenno
Member since Nov 2019
39 posts
Ok, man hätte auch einfach

sudo apt install coqide

verwenden können, also Problem gelöst  :nuts:  :nuts:
Marcel[Inf]
#faui2k15, GTI-Tutor a. D.
Member since Nov 2015
604 posts
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ß!
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen