Fix compilation in 4.07

module extension Signed-off-by: François Bobot <francois.bobot@cea.fr>
ocaml · Mar 23, 2020 · 28de472 · 28de472
1 parent ed18fa3
commit 28de472
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 33 deletions.
diff --git a/src/dune/coq_rules.ml b/src/dune/coq_rules.ml
@@ -316,7 +316,7 @@ let coq_plugins_install_rules ~scope ~package ~dst_dir (s : Dune_file.Coq.t) =
              let dst =
                Path.Local.(to_string (relative dst_dir plugin_file_basename))
              in
-             (None, Install.(Entry.make Section.Lib_root ~dst plugin_file)))
+             (None, Install.Entry.make Section.Lib_root ~dst plugin_file))
     else
       []
   in

diff --git a/src/dune/install.ml b/src/dune/install.ml
@@ -115,22 +115,6 @@ end
 
 module Section = struct
   include Section
-  type t = Section.t =
-    | Lib
-    | Lib_root
-    | Libexec
-    | Libexec_root
-    | Bin
-    | Sbin
-    | Toplevel
-    | Share
-    | Share_root
-    | Etc
-    | Doc
-    | Stublibs
-    | Man
-    | Misc
-
 
   module Paths = struct
     type t =

diff --git a/src/dune/install.mli b/src/dune/install.mli
@@ -27,21 +27,7 @@ module SectionWithSite : sig
 end
 
 module Section : sig
-  type t = Section.t =
-    | Lib
-    | Lib_root
-    | Libexec
-    | Libexec_root
-    | Bin
-    | Sbin
-    | Toplevel
-    | Share
-    | Share_root
-    | Etc
-    | Doc
-    | Stublibs
-    | Man
-    | Misc
+  type t = Section.t
 
   module Set : Set.S with type elt = t
 

diff --git a/src/dune/install_rules.ml b/src/dune/install_rules.ml
@@ -266,7 +266,7 @@ end = struct
                   ( None
                   , Install.Entry.make
                       ~dst:(sprintf "odoc-pages/%s" (Path.Build.basename mld))
-                      Install.Section.Doc mld ))
+                      Section.Doc mld ))
             | Dune_file.Plugin t ->
               Plugin_rules.install_rules ~sctx ~dir t
             | _ -> []