From: Stephane Glondu Date: Thu, 17 Aug 2023 12:27:20 +0000 (+0200) Subject: Handle "unknown" ocaml system as Linux X-Git-Tag: archive/raspbian/0.10-1+rpi1~2^2~2 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=24471bb0a126f87222b3842f3d72f30417df524e;p=ocaml-eqaf.git Handle "unknown" ocaml system as Linux In Debian, on mipsel and mips64el, ocaml reports system as "unknown". --- diff --git a/debian/changelog b/debian/changelog index c02449f..d782c4d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ocaml-eqaf (0.9-4) unstable; urgency=medium + + * Fix FTBFS on mipsel and mips64el + + -- Stéphane Glondu Thu, 17 Aug 2023 14:30:17 +0200 + ocaml-eqaf (0.9-3) unstable; urgency=medium * Use ocaml_dune DH buildsystem diff --git a/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch new file mode 100644 index 0000000..c311fc1 --- /dev/null +++ b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch @@ -0,0 +1,22 @@ +From: Stephane Glondu +Date: Thu, 17 Aug 2023 14:27:20 +0200 +Subject: Handle "unknown" ocaml system as Linux + +In Debian, on mipsel and mips64el, ocaml reports system as "unknown". +--- + clock/select/select.ml | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/clock/select/select.ml b/clock/select/select.ml +index 78b45cf..6572136 100644 +--- a/clock/select/select.ml ++++ b/clock/select/select.ml +@@ -22,7 +22,7 @@ let () = + | [|_; "--system"; system; "-o"; output|] -> + let system = + match system with +- | "linux" | "elf" -> `Linux ++ | "linux" | "elf" | "unknown" -> `Linux + | "windows" | "mingw64" | "mingw" | "cygwin" -> `Windows + | "freebsd" -> `FreeBSD + | "macosx" -> `MacOSX diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..626a2f4 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Handle-unknown-ocaml-system-as-Linux.patch