Dunification of the Red-Black_Trees library

ligo.opam

@@ -23,6 +23,8 @@ depends: [
   "getopt"
   "terminal_size"
   "pprint"
+  "UnionFind"
+  "RedBlackTrees"
   # work around upstream in-place update
   "ocaml-migrate-parsetree" { = "1.4.0" }
 ]

vendors/Red-Black_Trees/.gitignore

@@ -0,0 +1 @@
+/RedBlackTrees.install

vendors/Red-Black_Trees/RedBlackTrees.ml

@@ -0,0 +1,3 @@
+module PolyMap = PolyMap
+module PolySet = PolySet
+module RedBlack = RedBlack

vendors/Red-Black_Trees/RedBlackTrees.opam

@@ -0,0 +1,18 @@
+opam-version : "2.0"
+version      : "1.0"
+maintainer   : "rinderknecht@free.fr"
+authors      : [ "Christian Rinderknecht" ]
+homepage     : "https://gitlab.com/rinderknecht/Red-Black_Trees"
+bug-reports  : "https://gitlab.com/rinderknecht/Red-Black_Trees/issues"
+dev-repo     : "git+https://gitlab.com/rinderknecht/Red-Black_Trees.git"
+license      : "MIT"
+
+depends      : [ "dune" ]
+
+build        : [
+                [ "dune" "build" "-p" name "-j" jobs ]
+               ]
+
+url {
+  src: "https://gitlab.com/rinderknecht/Red-Black_Trees/-/archive/98b11312810d979ee1b0dacee6900228574e41e7/Red-Black_Trees.tar.gz"
+}

vendors/Red-Black_Trees/dune

@@ -0,0 +1,6 @@
+(library
+  (name RedBlackTrees)
+  (public_name RedBlackTrees)
+  (wrapped false)
+  (modules PolyMap PolySet RedBlack RedBlackTrees) ; PolyMapMain PolySetMain RedBlackMain
+)

vendors/Red-Black_Trees/dune-project

@@ -0,0 +1,2 @@
+(lang dune 1.11)
+(name RedBlackTrees)

vendors/UnionFind/UnionFind.opam

@@ -9,7 +9,7 @@ bug-reports  : "https://github.com/rinderknecht/UnionFind/issues"
 dev-repo     : "git+https://github.com/rinderknecht/UnionFind.git"
 license      : "MIT"
 
-depends      : [ "dune" ]
+depends      : [ "dune" "RedBlackTrees" ]
 
 build        : [
                 [ "sh" "-c" "printf 'let version = \"%s\"' \"$(git describe --always --dirty --abbrev=0)\" > Version.ml" ]

vendors/UnionFind/dune-project

@@ -1 +1,2 @@
-(lang dune 1.7)
+(lang dune 1.11)
+(name UnionFind)