OCAML コンパイラ (ver 4.01.0) と GNU make 4.0 を使用して unison ソースをコンパイルしようとしています。ソースコードはリンクから取得されます ( http://www.seas.upenn.edu/~bcpierce/unison//download/releases/unison-2.27.57/ )
tar.gz を抽出し、ユーザー マニュアル ( http://www.seas.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual .html ) 一からウィンドウを作成するセクションを参照してください。
コードは数秒間コンパイルを開始しますが、停止し、次のエラーが表示されます。
----------
File "/cygdrive/c/unison_build/unison-2.27.57/update.ml", line 1:
Error: The implementation /cygdrive/c/unison_build/unison-2.27.57/update.ml
does not match the interface update.cmi:
...
In module NameMap:
The field `split' is required but not provided
In module NameMap:
The field `choose' is required but not provided
In module NameMap:
The field `max_binding' is required but not provided
In module NameMap:
The field `min_binding' is required but not provided
In module NameMap:
The field `bindings' is required but not provided
In module NameMap:
The field `cardinal' is required but not provided
In module NameMap:
The field `partition' is required but not provided
In module NameMap:
The field `filter' is required but not provided
In module NameMap:
The field `exists' is required but not provided
In module NameMap:
The field `for_all' is required but not provided
In module NameMap:
The field `merge' is required but not provided
In module NameMap:
The field `singleton' is required but not provided
Makefile.OCaml:339: recipe for target 'update.cmo' failed
make: *** [update.cmo] Error 2