ocaml: upadte build file

ocaml/README.markdown

@@ -1,22 +1,22 @@
 MsgPack for OCaml
 ==============================
 
-OVERVIEW
+See http://wiki.msgpack.org/display/MSGPACK/QuickStart+for+OCaml
-------------------------------
+
-MessagePack(http://msgpack.org)のOCaml版ライブラリです。
+
-シリアライズしたものをデシリアライズすると元にもどることがCoqによって保証されています。
+
+
+
+
+
+
+
+
+
+
+
+
 
-REQUIRE
-------------------------------
-* extlib http://code.google.com/p/ocaml-extlib/
-* Coq 8.3 http://coq.inria.fr
 
-BUILD & INSTALL
-------------------------------
 
-      $ omake
-      $ omake install
 
-DOCUMENT
-------------------------------
-http://mzp.github.com/msgpack-ocaml/refman

ocaml/ocaml/.gitignore

@@ -1,4 +1,2 @@
 runner
 doc
-msgpackCore.ml
-msgpackCore.mli

ocaml/ocaml/OMakefile

@@ -73,8 +73,8 @@ doc:
 	mkdir -p doc
 	ocamldoc -d doc -html msgpack.mli
 
-install:
+install: all
-	ocamlfind install msgpack META msgpack.cmx msgpack.cmo
+	ocamlfind install msgpack META *.cmo *.cmx *.cmi
 
 clean:
 	rm -rf *.cm[iox] *.o *~ *.omc .omakedb .omakedb.lock *.cmxa *.a *.opt *.run *.annot runner msgpackCore.*

ocaml/ocaml/msgpackCore.mli

@@ -0,0 +1,141 @@
+val fst : ('a1 * 'a2) -> 'a1
+
+val snd : ('a1 * 'a2) -> 'a2
+
+val length : 'a1 list -> int
+
+val app : 'a1 list -> 'a1 list -> 'a1 list
+
+val plus : int -> int -> int
+
+val mult : int -> int -> int
+
+type positive =
+  | XI of positive
+  | XO of positive
+  | XH
+
+val psucc : positive -> positive
+
+val pplus : positive -> positive -> positive
+
+val pplus_carry : positive -> positive -> positive
+
+val pmult_nat : positive -> int -> int
+
+val nat_of_P : positive -> int
+
+val p_of_succ_nat : int -> positive
+
+val pmult : positive -> positive -> positive
+
+type n =
+  | N0
+  | Npos of positive
+
+val nplus : n -> n -> n
+
+val nmult : n -> n -> n
+
+val nat_of_N : n -> int
+
+val n_of_nat : int -> n
+
+val flat_map : ('a1 -> 'a2 list) -> 'a1 list -> 'a2 list
+
+val eucl_dev : int -> int -> (int * int)
+
+type ascii =
+  | Ascii of bool * bool * bool * bool * bool * bool * bool * bool
+
+val zero : ascii
+
+val one : ascii
+
+val shift : bool -> ascii -> ascii
+
+val ascii_of_pos : positive -> ascii
+
+val ascii_of_N : n -> ascii
+
+val ascii_of_nat : int -> ascii
+
+val n_of_digits : bool list -> n
+
+val n_of_ascii : ascii -> n
+
+val nat_of_ascii : ascii -> int
+
+val take : int -> 'a1 list -> 'a1 list
+
+val drop : int -> 'a1 list -> 'a1 list
+
+val split_at : int -> 'a1 list -> 'a1 list * 'a1 list
+
+val pair : 'a1 list -> ('a1 * 'a1) list
+
+val pow : int -> int
+
+val divmod : int -> int -> (int * int)
+
+type ascii8 = ascii
+
+type ascii16 = ascii8 * ascii8
+
+type ascii32 = ascii16 * ascii16
+
+type ascii64 = ascii32 * ascii32
+
+val nat_of_ascii8 : ascii -> int
+
+val ascii8_of_nat : int -> ascii
+
+val ascii16_of_nat : int -> ascii * ascii
+
+val nat_of_ascii16 : ascii16 -> int
+
+val ascii32_of_nat : int -> (ascii * ascii) * (ascii * ascii)
+
+val nat_of_ascii32 : ascii32 -> int
+
+val list_of_ascii8 : ascii8 -> ascii8 list
+
+val list_of_ascii16 : ascii16 -> ascii8 list
+
+val list_of_ascii32 : ascii32 -> ascii8 list
+
+val list_of_ascii64 : ascii64 -> ascii8 list
+
+type object0 =
+  | Bool of bool
+  | Nil
+  | PFixnum of ascii8
+  | NFixnum of ascii8
+  | Uint8 of ascii8
+  | Uint16 of ascii16
+  | Uint32 of ascii32
+  | Uint64 of ascii64
+  | Int8 of ascii8
+  | Int16 of ascii16
+  | Int32 of ascii32
+  | Int64 of ascii64
+  | Float of ascii32
+  | Double of ascii64
+  | FixRaw of ascii8 list
+  | Raw16 of ascii8 list
+  | Raw32 of ascii8 list
+  | FixArray of object0 list
+  | Array16 of object0 list
+  | Array32 of object0 list
+  | FixMap of (object0 * object0) list
+  | Map16 of (object0 * object0) list
+  | Map32 of (object0 * object0) list
+
+val atat : ('a1 -> 'a2) -> 'a1 -> 'a2
+
+val serialize : object0 -> ascii8 list
+
+val compact : object0 list -> ascii8 list
+
+val deserialize : int -> ascii8 list -> object0 list
+