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
