Add SourceRepository information for OASIS.

bmeurer · Oct 16, 2011 · 5ca4b7d · 5ca4b7d
1 parent 084fa5c
commit 5ca4b7d
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 3 deletions.
diff --git a/_oasis b/_oasis
@@ -23,8 +23,8 @@ Description:
   modules as drop-in replacement for the Map and Set modules.
 
 Library "rbtrees"
-  Path:       src
-  Modules:    Rbmap, Rbset
+  Path: src
+  Modules: Rbmap, Rbset
 
 Document "rbtrees"
   Title: API reference for rbtrees
@@ -33,3 +33,9 @@ Document "rbtrees"
   BuildTools: ocamldoc
   XOCamlbuildPath: src
   XOCamlbuildLibraries: rbtrees
+
+SourceRepository master
+  Type: git
+  Branch: master
+  Browser: https://github.com/bmeurer/ocaml-rbtrees
+  Location: git://github.com/bmeurer/ocaml-rbtrees.git
diff --git a/setup.ml b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.2.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 5f539b411f06cc30cbed499d0b3595b4) *)
+(* DO NOT EDIT (digest: 6eca5ecf9d318fc8b53c153ab607cb5a) *)
 (*
    Regenerated by OASIS v0.2.0
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -5066,6 +5066,23 @@ let setup_t =
                       lib_findlib_parent = None;
                       lib_findlib_name = None;
                       lib_findlib_containers = [];
+                      });
+               SrcRepo
+                 ({
+                     cs_name = "master";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      src_repo_type = Git;
+                      src_repo_location =
+                        "git://github.com/bmeurer/ocaml-rbtrees.git";
+                      src_repo_browser =
+                        Some "https://github.com/bmeurer/ocaml-rbtrees";
+                      src_repo_module = None;
+                      src_repo_branch = Some "master";
+                      src_repo_tag = None;
+                      src_repo_subdir = None;
                       })
             ];
           plugins =