opam

    0熱度

    2回答

    我試圖在Ubuntu 16.04.3在VirtualBox上設置OCaml。我對他們都是新手;請原諒我的無知。我使用 wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 安裝opam,並根據以下的opam安裝說明添加 . /home/<username

    0熱度

    1回答

    我已經使用opam按說明成功安裝了frama-c-Silicon,但是當我想升級到磷時,opam不起作用。 我使用的命令: OPAM銷附加郵資-C下載/郵資-C-Phosphorus20170501.tar.gz 它表示: [NOTE] Package frama-c is already path-pinned to /home/talos/Downloads/frama-c-Pho

    0熱度

    1回答

    我正在使用Coq(版本8.5-6),安裝w/Nix。我想安裝ssreflect,最好也是w/Nix。我發現的唯一信息是here。但是,這不是關於安裝ssreflect,只是嘗試它。儘管如此,我試圖嘗試一下,但最終得到了數百個警告(關於各種文件的內容.v和.ml4),並且不能等待該過程結束。一個相當典型的警告是這樣的: 文件 「./algebra/ssralg.v」,線路856字符0-39:警告:

    1熱度

    1回答

    我是OCaml的新手,我試圖安裝cohttp。因爲我沒有接受Xcode許可協議(OS X Sierra 10.12 0.6)我得到一個錯誤,而包管理器(OPAM)正試圖安裝一個子依賴性,ocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [ERROR] The compila

    0熱度

    2回答

    我試圖在Windows 10中爲OCaml安裝開發環境。 我在bash for win10上安裝了OCaml & OPAM。然後我安裝了我需要的幾個軟件包(merlin,ocp-indent等)。 。 我的最終目標是OCaml的與VScode整合,利用vscode-ocaml的擴展名(https://github.com/hackwaly/vscode-ocaml)以完成安裝,我要補充的OCaml

    1熱度

    1回答

    我編譯了ocaml 4.04.0的自定義版本(其他人寫的)。我可以運行它並使用rlwrap和ledit與它交互,但我寧願使用utop運行它。 (我不需要自動完成;命令編輯比在rtop或ledit更好。) utop顯然依賴於opam默認情況下,因爲它運行使用opam switch設置ocaml的任何版本。但是,我很難找到有關utop和opam之間關係的任何文檔,或者有關如何讓utop運行尚未由opa

    0熱度

    1回答

    [解決(在底部)。安裝石英和重新安裝與X11通過沖泡然後重新啓動機器。] 我正在學習Ocaml,並正在通過these文檔頁面,並需要安裝一些模塊(圖形)。 我錯過了Ocaml中的Graphics模塊。試圖加載它頂層後(REPL吧?)有: $ ocaml OCaml version blahblah # #load "graphics.cma";; # open Graphics;;

    3熱度

    1回答

    試圖與OCaml的開發上Arch Linux的4.12.10,我一直運行到該錯誤消息: ### stderr ### # error: executing gringo failed (No such file or directory) # error: gringo returned with non-zero exit status [ERROR] External solver f

    1熱度

    1回答

    我試圖運行jbuilder install來安裝我剛剛使用jbuilder build @install(它爲我生成了一堆*.install文件)構建的opam軟件包。不過,我得到以下錯誤: $ jbuilder install Sorry, you need the opam-installer tool to be able to install or uninstall packages.

    2熱度

    1回答

    我有一些問題,建立我的OCaml的環境設置,和我下面這個頁面: https://github.com/realworldocaml/book/wiki/Installation-Instructions 不過,我有一些問題,我解決不了。我在macOS 10.12.5上使用zsh。 Brew安裝opam時沒有錯誤或警告。我相信我的問題是環境變量(??)不同步。這裏有一些輸出,當我運行一些建議的命令: