問題タブ [utop]

OPAM をインストールするには (ocaml が既にインストールされている状態で)、次のガイドに従いました: https://github.com/realworldocaml/book/wiki/Installation-Instructions。OPAMをインストールするために行った手順は次のとおりです

パッケージ (utop など) をインストールしようとするたびに、次のエラーが発生します。

私が間違ったことについてのアイデアはありますか？

extLib.cmaOCaml のトップ レベルでファイルをロードしようとするとutop、次のエラーが発生します。

ただし、opam を使用してインストールしようとすると、次のメモが表示されます。

私は何を間違っていますか？

Real World OCaml の指示に基づいて、Ubuntu 14.04 で OCaml、OPAM、関連ライブラリ、および UTOP をセットアップしようとしています。現在、OCaml コンパイラと OPAM をインストールできています。ただし、コアと UTOP をインストールしようとすると、次のエラーが発生します。

[エラー] core は有効なバージョン管理されたパッケージ名ではありません

「opam install core utop」が失敗しました。

と

[エラー] utop は有効なバージョン管理されたパッケージ名ではありません

「opam install utop」が失敗しました。

誰かが問題の内容とその対処方法について提案を提供していただければ幸いです。

ありがとう！

編集: フィードバックに基づいて、インストールに関する詳細を含めました。OPAM 1.1.1 をインストールしました。インストールで実行された最後のコマンドは

opam スイッチ 4.03.0

私のためにそのバージョンをコンパイルし、次に

eval 'opam 構成環境'

ただし、core と utop は有効なバージョン管理されたパッケージ名ではないため、まだインストールできません。

Jonathan Protzenko によるすばらしいガイドのおかげで、Windows (Cygwin) にOCaml + OPAM + utopをインストールして実行することができました。utopでは、特にctypes + ctypes.foreignを使用して、さまざまな WinAPI 呼び出しにアクセスしてすばやく実験およびプロトタイプを作成できるようにしたいと考えています。理論的には、ctypesパッケージを正常にインストールできました (成功)。残念ながら、実際にそれらを utopにロードしようとすると、驚くべきエラー メッセージが表示されて惨めに失敗します。opam install ...

で同じことをしようとするとrlwrap ocaml、やや長いエラー メッセージが表示されます。

注:セッションの完全なトランスクリプトはこちらです。utopこれには、cmd.exe ターミナルでのセッションの出力とrlwrap ocaml、Cygwin ターミナルでの追加のセッションの出力が含まれています。

なぜそれが起こるのか、または状況をさらにデバッグ/特定/診断する方法がまったくわからないので、回避策を見つけることができます。(ちなみに、私は OCaml と OPAM のまったくの初心者ですが、C/C++ と Linux の一般的な経験はかなりあります。) 以下は、私が持っているいくつかの質問です。うまくいけば、問題を十分に解決するのに役立つと思います。障害物を乗り越えるために:

• ローカルで git リポジトリ (つまり ctypes) を微調整して、元の github リポジトリの代わりに OPAM に渡す方法はありますか?
• ctypesの問題＃198でも示唆されているように、「libffiの静的バージョン」が機能する可能性があることに言及しているように見えるコメントをなんとかグーグルで検索しました。しかし、私は OCaml のまったくの初心者であり、残念ながら、この提案をutopに適用する方法がまったくわかりません。
• どの libffi を ctypes に使用するかを OPAM に伝えるにはどうすればよいですか? （具体的には、「静的libffi」を使用するには？）
• インストールしたmingw64-x86_64-libffi Cygwin パッケージが静的にリンクされているか、動的にリンクされているかを確認するにはどうすればよいですか? または、両方のバリアントが提供されている場合、ctypes はどちらを使用しますか? libffi.a が PIC (?) 再配置 [ -fpic?] にリンクされているかどうかを検出する方法について SO でいくつかの回答を見つけましたが、それらはすべて本当にハックのようで、少なくとも私の場合は、実際に機能しているようには見えませんでした。 .
• どんな助けでも大歓迎です。OCaml、OPAM、utop、Cygwin の交差点にあることを考えると、これについて誰に尋ねればよいかさえわかりません。これらはすべて巨大で、多少無関係/直交するシステムです。問題を ctypes repo に投稿しようとしましたが、1か月以上経過したのは「パッチ歓迎」ラベルだけでした。

ユーザーが無効なディレクトリに入力した場合のパターンを作成しようとしています。

私の機能は次のとおりです。

コンパイルエラーが発生し続けることを除いて：

パターンマッチングで何が間違っているのかわかりません。誰かがこれについて私を助けることができれば、それは大歓迎です!

その他の注意事項:

ターミナルで次のコマンドを使用してコードをコンパイルしています。

これは私の ocamlinit です:

まさにこれで、私はこれをutopで取得します

#ppxの代わりに で始まる行を使用すると#require "ppx_jane"、このエラーが発生します

使用する ocamlinit をどのように設定すればよい[@@deriving show]ですか?