[Buildroot] [git commit] support/testing: TestZ3: use base configuration
Thomas Petazzoni
thomas.petazzoni at bootlin.com
Wed Jul 12 21:22:18 UTC 2023
commit: https://git.buildroot.net/buildroot/commit/?id=a9ad8ae22a904a58eb7dea85148a6992284d2723
branch: https://git.buildroot.net/buildroot/commit/?id=refs/heads/master
The base configuration now provide a glibc toolchain,
we can safely switch to it.
Signed-off-by: Romain Naour <romain.naour at gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
---
support/testing/tests/package/test_z3.py | 8 +-------
1 file changed, 1 insertion(+), 7 deletions(-)
diff --git a/support/testing/tests/package/test_z3.py b/support/testing/tests/package/test_z3.py
index 71b074a587..30794a250b 100644
--- a/support/testing/tests/package/test_z3.py
+++ b/support/testing/tests/package/test_z3.py
@@ -4,14 +4,8 @@ import infra.basetest
class TestZ3(infra.basetest.BRTest):
- # Need to use a different toolchain than the default due to
- # z3 requiring fenv.h not provided by uclibc.
- config = \
+ config = infra.basetest.BASIC_TOOLCHAIN_CONFIG + \
"""
- BR2_arm=y
- BR2_TOOLCHAIN_EXTERNAL=y
- BR2_TOOLCHAIN_EXTERNAL_BOOTLIN=y
- BR2_TOOLCHAIN_EXTERNAL_BOOTLIN_ARMV5_EABI_GLIBC_STABLE=y
BR2_PACKAGE_PYTHON3=y
BR2_PACKAGE_Z3=y
BR2_PACKAGE_Z3_PYTHON=y
More information about the buildroot
mailing list