opam

0Hitze

1Antwort

Installation Compcert-2.6 auf 64-Bit Mac

bekam ich die folgende Fehlermeldung, wenn compcert 2.6 auf 64-Bit-macos Kompilieren $./configure ia32-macosx ... $make ... /Applications/Xcode.app/Contents/Developer/usr/bin/make -f Makefile.extr

1Hitze

1Antwort

Wo ist Coq aac_tactics installiert?

Ich habe die AAC-Taktik-Bibliothek getestet, um Modulo-Assoziativität und Kommutativität neu zu schreiben. Nach einer Coq website, sollte man: Je nach der Installation entweder ändern Sie die folgende

8Hitze

1Antwort

Wie installiere ich corebuild in ocaml

Ich habe opam installiert, und danach kann ich auf , ocamlc, buildocaml erfolgreich zugreifen. Aber ich lese Real World OCaml, die mich fragt, um ein Tool namens corebuild ausführen. Ich kann corebuil

6Hitze

1Antwort

Erkennt Ocaml OPAM bereits installierte Ocaml-Pakete?

Ich habe vor kurzem OPAM nach Anweisungen installiert, um es zu versuchen und es sieht gut aus und ich möchte es verwenden. Es kann jedoch zuvor installierte OCAML-Pakete, die ich manuell installiert

4Hitze

3Antwort

Kann nicht Kern und Utop für OCaml auf Ubuntu 14.04 mit OPAM

installieren Ich habe versucht, OCaml, OPAM, verwandte Bibliotheken und UTOP auf Ubuntu 14.04 nach Anweisungen von Real World OCaml einzurichten. Ich habe es derzeit geschafft, OCaml Compiler und OPAM

3Hitze

3Antwort

Kann nicht installiert werden ctypes mit opam

Ich möchte Ctypes auf meinem Ubuntu 14.04 Computer installieren. Ich versuche dies mit opam zu tun, aber es versagt. Hier ist die Antwort, die ich erhalten: - opam install ctypes The following action

1Hitze

1Antwort

Opam switch install konnte die ältere Version von ocaml (3.08.3) nicht installieren

Ich mache ein paar Arbeiten mit Ocaml und Opam. Ich benötige ocaml der Version 3.08.3, also habe ich versucht, diese Version über opam zu installieren. opam switch install 3.08.3 Der obige Befehl würd

7Hitze

2Antwort

Ocamlbuild und Pakete mittels OPAM installiert

Ich versuche, dieses Stück Code zu machen: open Lwt;; open Cohttp;; (* a simple function to access the content of the response *) let content = function | Some (_, body) -> Cohttp_lwt_unix.Bod

1Hitze

2Antwort

js_of_ocaml.ppx ist nicht

finden Ich versuche js_of_eliom zu laufen, aber es scheint, dass es nicht ppx_deriving haben Dies ist die Nachricht bekam ich, wenn ich ein Make tun: js_of_eliom -ppx -c -package lwt -package js_of_oc

1Hitze

1Antwort

Befehl opam update fail

Auf meinem System, ArchLinux x86_64, habe ich das Paket opam-git installiert, das bei der letzten Verwendung funktionierte. Der folgende Befehl opam update nicht mit dieser Nachricht: opam update =-