Uncaught exception Failure（ "input_value：bad bigarray kind"） - WindowsおよびMgt開発環境での統一

Question

Windows 8.1でMgt開発環境（mgtcommerce/mgt-development-environment-5.6）を使用しています。 & DockerToolbox for Windows。

また、OpenSSH &ユニゾンの提案バージョンをhttps://www.mgt-commerce.com/documentation/mgt-development-windows-file-synchronizationからダウンロードし、説明したようにsync.batを作成しました。

残念ながら、ユニゾンは、次のエラーメッセージでchrashes：

Uncaught exception Failure("input_value: bad bigarray kind") 
Raised by primitive operation at file "./remote.ml", line 453, characters 18-45 
Called from file "./remote.ml", line 459, characters 23-61 
Called from file "./lwt/lwt.ml", line 75, characters 20-23 
Re-raised at file "./lwt/lwt.ml", line 135, characters 12-13 
Called from file "list.ml", line 73, characters 12-15 
Called from file "./lwt/lwt.ml", line 31, characters 2-37 
Called from file "./lwt/lwt.ml", line 83, characters 17-46 
Called from file "./lwt/win/lwt_unix_impl.ml", line 239, characters 6-40 
Called from file "./uitext.ml", line 490, characters 2-113 
Called from file "./uitext.ml", line 556, characters 38-66 
Called from file "./uitext.ml", line 718, characters 6-47 
Called from file "./uitext.ml", line 756, characters 6-125 
Called from file "./uitext.ml", line 804, characters 8-47 
Called from file "./uitext.ml", line 870, characters 21-43 

それは問題なく作業を行います。

1. と一体的に使用しているときユニゾンがドッキングウィンドウの画像
2. のために使用される最初の時間をフラグ-ignorearchives

私はいくつかの記事を読むこれらのほとんどは、これがOCamlの非互換性の問題であるという結論に至りました。

これを修正するにはどうすればよいですか？ 他の誰かがそのエラーを経験しましたか？

Answer 1

私は次のセットアップを実行している&までの同期を得ることができた：Windowsの10で

• ：ユニゾン・ファイルにprovided by mgt-commerce.comを使用する - それはバージョン2.48.3です（私はドン」
• ドッキング・イメージ内では、unison-sources 2.48.4およびOCamlバージョン4.01との再コンパイルが行われます。このためDockerfile内で使用される0

コマンド：

RUN apt-get update && apt-get install -y \ 
    ocaml \ 
    && curl -L https://github.com/bcpierce00/unison/archive/2.48.4.tar.gz | tar zxv -C /tmp && \ 
     cd /tmp/unison-2.48.4 && \ 
     sed -i -e 's/GLIBC_SUPPORT_INOTIFY 0/GLIBC_SUPPORT_INOTIFY 1/' src/fsmonitor/linux/inotify_stubs.c && \ 
     make && \ 
     cp src/unison src/unison-fsmonitor /usr/bin && \ 
     cd /root && rm -rf /tmp/unison-2.48.4 

Answer 2

エラーメッセージ "input_value：bad bigarray kind"は、Unisonのややよく知られたバグにぶつかっていることを示しています。

同期に関連する2つのユニゾンプロセスのメジャーバージョンが（おそらく分かっているように）マッチする必要があるだけでなく、マーシャリングに関連するOCamlバージョン4.01と4.02の間のOCamlライブラリの内部的な変更もありましたのデータ。

https://github.com/bcpierce00/unison/issues/32 http://unison-users.yahoogroups.narkive.com/7FOa6VCg/re-unison-failed-uncaught-exception-failure-input-value-bad-bigarray-kind

注特にページ上の最後のリンクで：Googleの最も有望な結果のいくつかは、空のページを返すが、私はこれらを行うことを願っていますように、それは、あなたの正確なリンクを提供するのは難しい

[...]これは既知の問題であり、Unisonが同じOCamlバージョン[...]に対して がコンパイルされていないために発生します。 OCamlの4.01でマーシャリングと 4.02は、異なるフォーマットを使用しています...あなたはOCamlでの同じバージョンとユニゾン2.48.3 をコンパイルする必要があります[...]

私は時々、この問題に自分自身を実行し、私は自分自身のOCaml、Lablgtk for the graphical (GTK) interface、Unisonをコンパイルすることでそれを回避します。私はLinuxで（他のオペレーティングシステムでは試していない）それらをコンパイルすることが非常に簡単であることを発見しました。終わり