opam

0熱

2答えて

emacs ocaml REPL： "プログラムを探しています：そのようなファイルやディレクトリはありません、ocaml"

私はVirtualBoxのUbuntu 16.04.3でOCamlを設定しようとしています。私はそれらのすべてに新しいです。私の無知を許してください。私は wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin を使用してopamをインストールし、opam

4熱

1答えて

がcoqideを使用して、コマンドは `インポートBigN`は8.6 COQ使用して働いていた必要とするが、CoQは8.7

に私はのCoQ 8.6でBIGNUM $ opam upgrade bignum Already up-to-date. をインストールするためにOPAMを使用していないRequire Import BigN.はCoQは8.7でライブラリをインポートしたが、 Iエラーが発生します。私は、このコード行をファイルbignum_problem.vに分離します。そして、 coqc bignum_p

0熱

1答えて

は、opamを使用してframa-c-Phosphorusをインストールできませんでした

opaamを使用してframa-c-Siliconをインストールしましたが、Phosphorusにアップグレードする場合、opamは動作しません。私はコマンドを使用： opamピンアドオンFRAMA-cのダウンロード/ FRAMA-C-Phosphorus20170501.tar.gz それが言っていること： [NOTE] Package frama-c is already path-pinn

0熱

1答えて

Nix：インストールssreflect

私はCoq（バージョン8.5-6）を使用しています。私はssreflect、好ましくはw/Nixもインストールしたいと思う。私がこれについて見つけた唯一の情報はhereです。しかし、単にssreflectをインストールするだけではありません。それにもかかわらず、私はそれを試してみましたが、何百という警告（さまざまな.vと.ml4ファイルの内容について）が終了し、処理が終了するのを待つことができませ

1熱

1答えて

ocamlfindのコンパイルが "install -m 0755 ocaml-stub"で失敗しました

OCamlを初めて使用しており、cohttpをインストールしようとしています。Xcode使用許諾契約書（OS X Sierra 10.12パッケージマネージャ（opam）がサブの依存関係をインストールしようとしている間、0.6）私は、エラーを取得するocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

0熱

2答えて

win10 bashを使用しているときにOPAMパッケージがインストールされている場所を知りたい

Windows 10でOCamlの開発環境をセットアップしようとしています。 OCAMl & OPAMをwin10用のbashにインストールしました。それから、私が必要とするいくつかのパッケージ（merlin、ocp-indentなど）をインストールしました。。インデント - 私の最終目標は、セットアップを完了するためにvscode-ocamlの拡張機能を使用して、VScodeでOCamlのを

0熱

1答えて

Ocamlで不足しているモジュールを取得するには？

[解決済み（底部）。私はOcamlを勉強しており、these文書ページを通過しており、いくつかのモジュール（グラフィックス）をインストールする必要があります。 OcamlにGraphicsモジュールがありません。でトップレベル（？REPLの右側）にそれをロードしようとした後： $ ocaml OCaml version blahblah # #load "graphics.cma";

1熱

1答えて

jbuilderのインストールに失敗しました：no opam-installer tool

を実行して、jbuilder build @install（これは私のために*.installのファイルを生成しました）を使用して作成したopamパッケージをインストールしようとしています。しかし、私は次のエラーを取得する： $ jbuilder install Sorry, you need the opam-installer tool to be able to install or un

0熱

1答えて

VimからOCamlを呼び出す：共有ライブラリを読み込めませんdllbin_prot_stubs

Vimから呼びたいOCamlプログラムがあります。私.vimrcで、私はOCamlのバイトコードを実行すべきコマンドを定義している： command! MyCommand call FunctionCallingOCaml() function! FunctionCallingOCaml() let scriptPath = $HOME . "/path/to/myOCamlProg

2熱

1答えて

OPAMとOCamlのインストール

私はセットアップ私のOCamlの環境を設定するいくつかの問題を抱えている、とこのページを以下の午前： https://github.com/realworldocaml/book/wiki/Installation-Instructions しかし、私は解決できないいくつかの問題を抱えています。私はMacOS 10.12.5で、zshを使っています。エラーまたは警告なしでBREWをインストールし