From 90d0df97d8b7634dbe9105255f32e9fc9bd1b2bd Mon Sep 17 00:00:00 2001 From: David Scott Date: Thu, 3 Sep 2015 21:05:38 +0100 Subject: [PATCH] Regenerate OASIS Signed-off-by: David Scott --- _tags | 3 ++- setup.ml | 8 +++++--- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/_tags b/_tags index b623cc3..a4c4e20 100644 --- a/_tags +++ b/_tags @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: 7a3b08a8ca9b171c31a256d94267a3ba) +# DO NOT EDIT (digest: 59091d3a878b9b72b98c132652e76c6b) # 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 @@ -29,6 +29,7 @@ true: annot, bin_annot : pkg_re.str : pkg_sha : pkg_sha.sha1 +: pkg_tapctl : pkg_tar : pkg_threads : pkg_uri diff --git a/setup.ml b/setup.ml index 5f531b4..dfe585d 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.1 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 45d1cd2dfb927113cc84e09fcb72bb7a) *) +(* DO NOT EDIT (digest: e50f69cbe37ee2a3e1670e3ffb230306) *) (* Regenerated by OASIS v0.4.5 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6768,6 +6768,8 @@ let setup_t = FindlibPackage ("sha", None); FindlibPackage ("sha.sha1", None); FindlibPackage ("io-page.unix", None); + FindlibPackage ("threads", None); + FindlibPackage ("tapctl", None); FindlibPackage ("re.str", None) ]; bs_build_tools = [ExternalTool "ocamlbuild"]; @@ -6846,7 +6848,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.5"; - oasis_digest = Some "w\027\174\235\000D\141\152i\132\n\220g\176\001\129"; + oasis_digest = Some "\208\149\173|Vep\bn\249hv\015\025\237\215"; oasis_exec = None; oasis_setup_args = []; setup_update = false @@ -6854,6 +6856,6 @@ let setup_t = let setup () = BaseSetup.setup setup_t;; -# 6858 "setup.ml" +# 6860 "setup.ml" (* OASIS_STOP *) let () = setup ();;