問題タブ [godi]

Linux（Ubuntu）にGODIをインストールしようとしています。ocaml 言語のライブラリ管理ツールです。私は実際にこれを以前に2回インストールしましたが、少し前に問題はありませんでした-覚えている限りですが、今回は何が足りないのかわかりません.

適切なディレクトリをパスに追加したところ、それらはクイックecho $pathで表示され、次のgodi_confdirように報告されました。

（...そしてディレクトリが存在し、godi.confファイルが存在します）。だから、なぜ./bootstrap_stage2うまくいかないのか分かりません。

私は Fedora 9 x86_64 を実行しており、多かれ少なかれ Linux の初心者です (使用していませんが、インストールなど)。エラーは、ブートストラップの第 2 段階 (つまり、「./bootstrap_stage2」) で発生します。それは多くのことを行い、その後これらのエラーが発生し始めます:

私はそれを実行してメモリを監視しましたが、間違いなく不足していないと言えます（約500を使用して3を取得しました）。それで、誰が問題が何であるか知っていますか？私はネットを検索しましたが、私が見つけた唯一の他の同様のものは、ここの他のスレッドでした（ただし、別のエラーがありました）

前回インストールしたときは問題なく動作したので、どんな助けも大歓迎です。

GODI コンソールを使用して godi-batteries をインストールしようとしています。すべての依存関係がソートされているようです (Camomile など)。Godi のインターフェイス内で次のエラーが発生します。

Mac OS X 10.6.4 を使用しています。私は64ビットマシンを持っています。

これを回避する方法についてのアイデアはありますか？

ありがとう、スリケーター。

私は以前にこの質問をしましたが、私が解決策であると信じていたものはそうではないことがわかりました。

問題

GODIの新規インストールを開始したばかりで、バッテリーライブラリをインストールしようとしています。カモミールなど、すべての依存関係を並べ替えました。次のエラーが発生します。

うまくいかない解決策

以前の質問では、この投稿に基づいて、GODI設定を切り替えました

そしてそれは電池の取り付けを終えました。しかし、GODIの新規インストールを開始したばかりであり、この設定を使用しても、上記のエラーが発生します（これは元々と同じです）。

私の設定

最新バージョンのGODI（rocketboost-20091222）を搭載したMacBookPro（64ビット）でMacOSXバージョン10.6.4を使用しています。

アイデア？

から

バッテリー/ゴディは64ビットで何かをしようとしているようですが、64ビットで何かをしようとしているようです。バッテリーまたはゴディにこれを変更できる設定はありますか？

から

問題の原因はライブラリであることがわかりbatteries_uni.aます。そこに32ビットを課す何かがあるかどうかわかりませんか？整数用のモジュールInt32とInt64が含まれていることに気づきましたbatteries_uni.mlが、それは実際には問題ではないはずです。

何か案は？

これに関するどんな助けも素晴らしいでしょう！

どうもありがとう、スリケーター。

私が書いている OCaml アプリケーションの GUI を構築したいと思います。私の最初のアイデアはGTK+を使うことでした。自分のアプリケーションを Mac、Linux、Windows で自然なルック アンド フィールで実行したいと考えています。GTK+ はデフォルトで Mac で X11 を使用しますが (これはひどいようです)、クォーツを使用し、自然に見えるgtk-osx-applicationがあり、macports を使用してインストールしたばかりです。

3 つの質問があります。

gtk-osx-application +quartz+no_x11(1) 実際にOCamlで使えるの？(以前に (x11 ベースの gtk2 を配置して) lablgtk2 を問題なくインストールした私の GODI インストールは、現在 (gtk-osx-application +quartz+no_x11および以前の x11 ベースの gtk2 を削除して) が見つからないことについて不平を言ってい/opt/local/lib/libgtk-x11-2.0.0.dylibます。これは x11 関連です。しかし、私が知る限りGODI を介して lablgtk2 をインストールする場合、x11 よりもクォーツを選択する方法はありません。)

(2) gtk-osx-application を使用して自分の Mac でコードを開発した場合、別の GTK を使用する他のプラットフォームでコンパイルするためにコードをそのまま使用できますか?それとも問題が発生する可能性がありますか?

(3) 問題が発生する場合、OCaml で GUI を開発するための他の環境で、ルック アンド フィールの両方が優れている可能性があり、容易に相互利用できる環境を知っていますか? (私は labltk を認識していますが、より多くの機能を備えたものを好みます。たとえば、ノートブック、別名タブ付きパネルを使用する機能、および Glade を使用して迅速な GUI 設計を行うことができる機能などです。)

助けてくれてありがとう！

乾杯、スリケーター

64ビットLinux（基本的にUbuntu11.04であるMintLinux）にOCaml3.12.1をインストールしようとしています。最新のロケットブースト（godi-rocketboost-20110717）を使用しています。./bootstrapを実行し、しばらくすると（bootstrap.logで）次のようになります。

4287###Godi-pcreの構築

4288===>godi-pcre-6.2.2godi1のクリーニング

4289=>pcre-ocaml-6.2.2.tar.gzのチェックサムの不一致。

4290 Makefileとチェックサムファイル（/home/phil/godi-3.12.1/build/godi/ godi-pcre / distinfo）を確認してください

4291は最新です。このチェックを上書きする場合は、次のように入力します

4292 "godi_make NO_CHECKSUM =yes[その他の引数]"。

4293エラー：実行エラー：ファイル/home/phil/godi-3.12.1/build/godi/godi-pcre/./../../ mk / bsd.pkg.mk、行1689：コマンドが非ゼロ終了コード

4294エラー：コマンドがコード1で失敗する：godi_console

これはPCREのパッケージの問題ですか？

そして、これを修正するために、提案「godi_make NO_CHECKSUM = yes [otherargs]」をどのように使用しますか？

omakeでOMakefileをコンパイルしてみました。必要なすべてのパッケージを GODI でインストールしました。GODI は、これらのパッケージがインストール済みであることを示しています。Ocamlfind は、これらのパッケージのすべてを見つけるわけではありません。ocamlfind list を使用すると、一部のみが表示されます。

見つからなかったパッケージは、バッテリーと ocamlgraph です。この問題を解決するアイデアはありますか。私の目標は、他の誰かが作成したプログラムを使用することです。

ご挨拶

スヴェン

パッケージ環境には最初にlablgtkが付属していなかったため（lablgtkのみ）、wodi32 cygwinにlablgtk2をインストールしようとしました。

私はこれらの指示に従って、自分で手動で行いました：

しかし、それは正しく機能していないようです。これを行うウォディの方法はありますか？