From: Stephane Glondu <steph@glondu.net>
Date: Tue, 21 Dec 2021 13:07:35 +0000 (+0100)
Subject: Update packaging
X-Git-Tag: archive/raspbian/4.13.1-3+rpi1~2^2~23
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=39c78c83f5f22e36226865bad31439cb3418f7d7;p=ocaml.git

Update packaging
---

diff --git a/debian/dispatch.ml b/debian/dispatch.ml
index f821b880..3ee36d45 100644
--- a/debian/dispatch.ml
+++ b/debian/dispatch.ml
@@ -177,6 +177,7 @@ let () =
     [
       "camlinternalOO"; "camlinternalMod"; "camlinternalLazy";
       "camlinternalFormatBasics"; "camlinternalFormat";
+      "camlinternalAtomic";
       "topdirs";
       "unix"; "unixLabels";
       "str"; "camlstr";
@@ -202,9 +203,14 @@ let process_static x =
   | Some pkg -> push pkg x
   | None -> Some x
 
+let find_base base =
+  match SMap.find_opt base !base_map with
+  | Some x -> Some x
+  | None -> SMap.find_opt (String.capitalize_ascii base) !base_map
+
 let process_file x =
   let base = get_base x in
-  match SMap.find_opt base !base_map with
+  match find_base base with
   | Some set ->
      if List.exists (fun y -> endswith y x) exts_dev then (
        push (snd set) x
diff --git a/debian/ocamlvars.mk b/debian/ocamlvars.mk
index 7cc96e07..07045dfd 100644
--- a/debian/ocamlvars.mk
+++ b/debian/ocamlvars.mk
@@ -1,6 +1,6 @@
 include /usr/share/dpkg/architecture.mk
 
-OCAMLMAJOR := 4.11
+OCAMLMAJOR := 4.13
 OCAMLMINOR := 1
 
 OCAML_ABI := $(OCAMLMAJOR).$(OCAMLMINOR)