Stéphane Glondu pushed to branch debian/experimental at Debian OCaml 
Maintainers / ocaml


Commits:
f7de02e7 by Stéphane Glondu at 2025-01-15T08:21:39+01:00
Run tests with OCAML_TEST_SIZE=1

- - - - -
0f222b92 by Stéphane Glondu at 2025-01-15T08:26:08+01:00
Enable native backend on hurd-amd64 (Closes: #1086600)

- - - - -
36e99248 by Stéphane Glondu at 2025-01-15T08:28:25+01:00
Renumber patches

- - - - -
f3e2b372 by Stéphane Glondu at 2025-01-15T08:40:48+01:00
Update changelog

- - - - -
3647a729 by Stéphane Glondu at 2025-01-15T10:38:43+01:00
Prepare upload to experimental

- - - - -


11 changed files:

- debian/changelog
- debian/native-archs
- debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch → 
debian/patches/0001-Put-manpages-in-section-3o-instead-of-3.patch
- 
debian/patches/0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch 
→ debian/patches/0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
- debian/patches/0006-Do-not-error-on-warnings-in-autoconf.patch → 
debian/patches/0003-Do-not-error-on-warnings-in-autoconf.patch
- 
debian/patches/0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch 
→ debian/patches/0004-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
- debian/patches/0003-Check-for-definition-of-AT_SECURE-before-using-it.patch → 
debian/patches/0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
- debian/patches/0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch → 
debian/patches/0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
- + debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch
- debian/patches/series
- debian/rules


Changes:

=====================================
debian/changelog
=====================================
@@ -1,3 +1,10 @@
+ocaml (5.3.0-1~exp2) experimental; urgency=medium
+
+  * Run tests with OCAML_TEST_SIZE=1
+  * Enable native backend on hurd-amd64 (Closes: #1086600)
+
+ -- Stéphane Glondu <[email protected]>  Wed, 15 Jan 2025 10:38:28 +0100
+
 ocaml (5.3.0-1~exp1) experimental; urgency=medium
 
   * New upstream release


=====================================
debian/native-archs
=====================================
@@ -1 +1 @@
-amd64 arm64 kfreebsd-amd64 ppc64el s390x riscv64
+amd64 arm64 hurd-amd64 kfreebsd-amd64 ppc64el s390x riscv64


=====================================
debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch → 
debian/patches/0001-Put-manpages-in-section-3o-instead-of-3.patch
=====================================


=====================================
debian/patches/0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch 
→ debian/patches/0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
=====================================


=====================================
debian/patches/0006-Do-not-error-on-warnings-in-autoconf.patch → 
debian/patches/0003-Do-not-error-on-warnings-in-autoconf.patch
=====================================


=====================================
debian/patches/0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch 
→ debian/patches/0004-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
=====================================


=====================================
debian/patches/0003-Check-for-definition-of-AT_SECURE-before-using-it.patch → 
debian/patches/0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
=====================================


=====================================
debian/patches/0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch → 
debian/patches/0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
=====================================


=====================================
debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch
=====================================
@@ -0,0 +1,23 @@
+From: Samuel Thibault <[email protected]>
+Date: Wed, 15 Jan 2025 08:23:51 +0100
+Subject: Enable native backend on hurd-amd64
+
+Bug-Debian: https://bugs.debian.org/1086600
+Forwarded: https://github.com/ocaml/ocaml/pull/13587
+---
+ configure.ac | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure.ac b/configure.ac
+index af1ea7b..2f5d2a1 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -1490,7 +1490,7 @@ AS_CASE([$host],
+   [x86_64-*-linux*],
+     [has_native_backend=yes; arch=amd64; system=linux],
+   [x86_64-*-gnu*],
+-    [arch=amd64; system=gnu],
++    [has_native_backend=yes; arch=amd64; system=gnu],
+   [x86_64-*-dragonfly*],
+     [arch=amd64; system=dragonfly],
+   [x86_64-*-solaris*],


=====================================
debian/patches/series
=====================================
@@ -1,6 +1,7 @@
-0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
-0003-Check-for-definition-of-AT_SECURE-before-using-it.patch
-0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
-0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
-0006-Do-not-error-on-warnings-in-autoconf.patch
-0007-Put-manpages-in-section-3o-instead-of-3.patch
+0001-Put-manpages-in-section-3o-instead-of-3.patch
+0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
+0003-Do-not-error-on-warnings-in-autoconf.patch
+0004-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
+0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
+0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
+0007-Enable-native-backend-on-hurd-amd64.patch


=====================================
debian/rules
=====================================
@@ -284,7 +284,7 @@ ifneq (,$(filter $(DEB_BUILD_ARCH),$(SLOW_ARCHITECTURES)))
        rm -f testsuite/tests/misc-unsafe/almabench.ml
 endif
 ifeq (,$(DEB_TEST_BUILD_PREFIX))
-       make tests $(IGNORE_TESTS_FAILURE)
+       OCAML_TEST_SIZE=1 make tests $(IGNORE_TESTS_FAILURE)
 endif
 endif
 



View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml/-/compare/96f37ae73b0023569bda05b0f6a652c672c6c7df...3647a7295aa48faed12fbb9bc39d662072763741

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml/-/compare/96f37ae73b0023569bda05b0f6a652c672c6c7df...3647a7295aa48faed12fbb9bc39d662072763741
You're receiving this email because of your account on salsa.debian.org.


Reply via email to