opam

1熱

1答えて

私のシステムでは、ArchLinux x86_64では、最後に使用したopam-gitパッケージをインストールしました。次のコマンドopam updateは、このメッセージで失敗：このリンクhttps://github.com/ocaml/opam-repository/issues/6231で opam update =-=- Updating package repositories =

5熱

2答えて

OPamを使ってOCamlをWindowsにインストールするにはどうしたらいいですか？

WindowsにOCamlをインストールするにはどうしたらいいですか？

1熱

1答えて

Coq aac_tacticsはどこにインストールされていますか？

私はモジュロの結合性と可換性を書き直すためにAACの戦術ライブラリをテストしていました。 Coq websiteによると、一つはすべき：インストールに応じ、次の2行、を変更したり、.coqrcファイルに追加し、交換のどちらか「」 aac_tacticsライブラリへのパスはです。 Add Rec LoadPath "." as AAC_tactics. Add ML Path ".". R

0熱

1答えて

Windows上のOPAMのスイッチシステム用のグローバル設定ファイルがありません

私は今日、公式インストーラと必要なCygwinパッケージからWindowsにOCamlをインストールしました。私は "$ opam init"の後に正しい手順を実行しましたが、うまくいきました。その後、OPAMをテストするために、私は "コア"パッケージをインストールしようとしましたが、次のエラーが出ました。 $ opam install core [ERROR] No global confi

6熱

3答えて

OPAMパッケージが実行されていません

私はOPAMをインストールして初期化を実行し、.bashrcコードも更新しました。私はその後、正常に行ったocamlfindパッケージをインストールしました。私は #use "topfind";; をしようとすると、しかし、私は、私はopenSUSEの12.2上のソースから構築されたOCaml 4.00.1を実行している以下の Cannot find file topfind を取得します

8熱

1答えて

ocamlにcorebuildをインストールするには

opamをインストールした後、ocaml、ocamlc、buildocamlにアクセスできました。しかし、私はcorebuildというツールを実行するように頼んでいるReal World OCamlを読んでいます。 corebuildをインストール（または実行）できません。私はsudo find/-name corebuild...を検索する場合、私は /home/abhishek/.opam

6熱

1答えて

Ocaml OPAMは、以前にインストールされたOcamlパッケージを検出しますか？

私は最近OPAMをインストラクションごとにインストールして試してみました。うまく見えて、使いたいです。しかし、OPAMを試してみる前に、手動でインストールした以前にインストールしたOCAMLパッケージを検出できません。パッケージインストールでOPAMが最初にやりたいことは、ocamlfindをインストールすることです。手動でインストールしたパッケージに関する情報を照会すると、すでにインストールさ