From 22c2d167f38cbebe5c436d15a90c9cc63d2d3419 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 28 Jun 2014 04:01:25 +0200 Subject: [PATCH] oasis files --- _tags | 3 +-- containers.odocl | 4 ++-- containers_string.odocl | 3 +-- core/META | 14 +++++++------- core/containers.mldylib | 3 ++- core/containers.mllib | 3 ++- setup.ml | 12 ++++++------ string/containers_string.mlpack | 3 +-- 8 files changed, 22 insertions(+), 23 deletions(-) diff --git a/_tags b/_tags index c0acdf36..4966c906 100644 --- a/_tags +++ b/_tags @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: 3e4b3ffbcf17509bedefd6d577653253) +# DO NOT EDIT (digest: 424d94004913edeb907a94dc6eb6cd33) # Ignore VCS directories, you can use the same kind of rule outside # OASIS_START/STOP if you want to exclude directories that contains # useless stuff for the build process @@ -18,7 +18,6 @@ # Library containers_string "string/containers_string.cmxs": use_containers_string "string/KMP.cmx": for-pack(Containers_string) -"string/CCString.cmx": for-pack(Containers_string) "string/levenshtein.cmx": for-pack(Containers_string) # Library containers_misc "misc/containers_misc.cmxs": use_containers_misc diff --git a/containers.odocl b/containers.odocl index 85889c71..da42dba3 100644 --- a/containers.odocl +++ b/containers.odocl @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: 31a5587f644ae2d0b7609bafd7a18128) +# DO NOT EDIT (digest: 8c7d21d48d2995a002238551f1ccbc8a) core/CCVector core/CCDeque core/CCGen @@ -27,7 +27,7 @@ core/CCRandom core/CCLinq core/CCKTree core/CCTrie +core/CCString string/KMP -string/CCString string/Levenshtein # OASIS_STOP diff --git a/containers_string.odocl b/containers_string.odocl index 82290967..e370472d 100644 --- a/containers_string.odocl +++ b/containers_string.odocl @@ -1,6 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: d56267d754747002ba3e4fd2948cad98) +# DO NOT EDIT (digest: fae37ce560d3fa23ae92d95d4ecca210) string/KMP -string/CCString string/Levenshtein # OASIS_STOP diff --git a/core/META b/core/META index bd2c2d16..5c45af6a 100644 --- a/core/META +++ b/core/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 38ca5655da37b1039f2aa919ef60de51) -version = "0.3.1-alpha" +# DO NOT EDIT (digest: c45a958aaa0c31769f4e67935c863279) +version = "0.3.1" description = "A modular standard library focused on data structures." archive(byte) = "containers.cma" archive(byte, plugin) = "containers.cma" @@ -8,7 +8,7 @@ archive(native) = "containers.cmxa" archive(native, plugin) = "containers.cmxs" exists_if = "containers.cma" package "thread" ( - version = "0.3.1-alpha" + version = "0.3.1" description = "A modular standard library focused on data structures." requires = "containers threads lwt" archive(byte) = "containers_thread.cma" @@ -19,7 +19,7 @@ package "thread" ( ) package "string" ( - version = "0.3.1-alpha" + version = "0.3.1" description = "A modular standard library focused on data structures." archive(byte) = "containers_string.cma" archive(byte, plugin) = "containers_string.cma" @@ -29,7 +29,7 @@ package "string" ( ) package "misc" ( - version = "0.3.1-alpha" + version = "0.3.1" description = "A modular standard library focused on data structures." requires = "unix containers" archive(byte) = "containers_misc.cma" @@ -40,7 +40,7 @@ package "misc" ( ) package "lwt" ( - version = "0.3.1-alpha" + version = "0.3.1" description = "A modular standard library focused on data structures." requires = "containers lwt lwt.unix containers.misc" archive(byte) = "containers_lwt.cma" @@ -51,7 +51,7 @@ package "lwt" ( ) package "cgi" ( - version = "0.3.1-alpha" + version = "0.3.1" description = "A modular standard library focused on data structures." requires = "containers CamlGI" archive(byte) = "containers_cgi.cma" diff --git a/core/containers.mldylib b/core/containers.mldylib index 8116b7b4..f425b721 100644 --- a/core/containers.mldylib +++ b/core/containers.mldylib @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: f3d51df09b5bc3a18b6273252329401b) +# DO NOT EDIT (digest: c857b890ad9203b3eac8934dba29f733) CCVector CCDeque CCGen @@ -27,4 +27,5 @@ CCRandom CCLinq CCKTree CCTrie +CCString # OASIS_STOP diff --git a/core/containers.mllib b/core/containers.mllib index 8116b7b4..f425b721 100644 --- a/core/containers.mllib +++ b/core/containers.mllib @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: f3d51df09b5bc3a18b6273252329401b) +# DO NOT EDIT (digest: c857b890ad9203b3eac8934dba29f733) CCVector CCDeque CCGen @@ -27,4 +27,5 @@ CCRandom CCLinq CCKTree CCTrie +CCString # OASIS_STOP diff --git a/setup.ml b/setup.ml index a66fc987..febbcd94 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.4 *) (* OASIS_START *) -(* DO NOT EDIT (digest: af57fb786b958cce0ff1ad15f9c9c1c6) *) +(* DO NOT EDIT (digest: c73d6f6d4e34a69eb0b0c010d785ee0b) *) (* Regenerated by OASIS v0.4.4 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6856,7 +6856,7 @@ let setup_t = alpha_features = []; beta_features = []; name = "containers"; - version = "0.3.1-alpha"; + version = "0.3.1"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7021,7 +7021,8 @@ let setup_t = "CCRandom"; "CCLinq"; "CCKTree"; - "CCTrie" + "CCTrie"; + "CCString" ]; lib_pack = false; lib_internal_modules = []; @@ -7052,7 +7053,7 @@ let setup_t = bs_nativeopt = [(OASISExpr.EBool true, [])] }, { - lib_modules = ["KMP"; "CCString"; "Levenshtein"]; + lib_modules = ["KMP"; "Levenshtein"]; lib_pack = true; lib_internal_modules = []; lib_findlib_parent = Some "containers"; @@ -7736,8 +7737,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.4"; - oasis_digest = - Some "\222\021\175\246\227n\021L\206\022\182\224\189J\203\168"; + oasis_digest = Some "\162G2\226\212I\244\003z\015\011=^\157\217\208"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/string/containers_string.mlpack b/string/containers_string.mlpack index 7606441b..6daaf586 100644 --- a/string/containers_string.mlpack +++ b/string/containers_string.mlpack @@ -1,6 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: 743a23d1f0069e7d4c52271dfc2497d1) +# DO NOT EDIT (digest: eed887f169b0c8e02f98f97c676f846c) KMP -CCString Levenshtein # OASIS_STOP