Source: z3 Version: 4.8.12-3.1 Severity: important Tags: patch Hello,
z3 currently cannot build on hurd-amd64 due to the java dependency. The attached patch fixes this, could you apply it? Thanks, Samuel -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'stable-security'), (500, 'stable-debug'), (500, 'oldstable-proposed-updates-debug'), (500, 'oldstable-proposed-updates'), (500, 'oldoldstable-proposed-updates'), (500, 'oldoldstable'), (500, 'buildd-unstable'), (500, 'unstable'), (500, 'stable'), (500, 'oldstable'), (1, 'experimental-debug'), (1, 'buildd-experimental'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386, arm64 Kernel: Linux 6.5.0-1-amd64 (SMP w/8 CPU threads; PREEMPT) Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled -- Samuel --- Pour une évaluation indépendante, transparente et rigoureuse ! Je soutiens la Commission d'Évaluation de l'Inria.
--- debian/control.original 2023-11-06 20:21:25.000000000 +0000 +++ debian/control 2023-11-06 20:21:40.000000000 +0000 @@ -5,8 +5,8 @@ Uploaders: Fabian Wolff <fabi.wo...@arcor.de> Build-Depends: debhelper-compat (= 13), dh-python, python3, cmake, libsimde-dev, - javahelper [!hppa !hurd-i386 !m68k !sh4] <!nojava>, - default-jdk [!hppa !hurd-i386 !m68k !sh4] <!nojava> + javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>, + default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava> Standards-Version: 4.6.0 Homepage: https://github.com/Z3Prover/z3 Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git