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]」をどのように使用しますか？