From 5a7997d97421be5bf5e8c463c68df5b4bffad098 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 20 Aug 2024 08:58:34 +0200 Subject: [PATCH] Refresh patches --- ...01-Handle-unknown-ocaml-system-as-Linux.patch | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch index c311fc1..4dd274c 100644 --- a/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch +++ b/debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch @@ -4,19 +4,25 @@ 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(-) + clock/select/select.ml | 4 ++-- + 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/clock/select/select.ml b/clock/select/select.ml -index 78b45cf..6572136 100644 +index aea3237..7318e0a 100644 --- a/clock/select/select.ml +++ b/clock/select/select.ml -@@ -22,7 +22,7 @@ let () = +@@ -22,12 +22,12 @@ let () = | [|_; "--system"; system; "-o"; output|] -> let system = match system with - | "linux" | "elf" -> `Linux + | "linux" | "elf" | "unknown" -> `Linux - | "windows" | "mingw64" | "mingw" | "cygwin" -> `Windows + | "win32" | "win64" | "mingw64" | "mingw" | "cygwin" -> `Windows | "freebsd" -> `FreeBSD | "macosx" -> `MacOSX + | "beos" | "dragonfly" | "bsd" | "openbsd" | "netbsd" | "gnu" +- | "solaris" | "unknown" -> ++ | "solaris" -> + invalid_arg "Unsupported system: %s" system + | v -> + if String.sub system 0 5 = "linux" -- 2.30.2