From a9ad8ae22a904a58eb7dea85148a6992284d2723 Mon Sep 17 00:00:00 2001 From: Romain Naour Date: Fri, 9 Jun 2023 01:28:50 +0200 Subject: [PATCH] support/testing: TestZ3: use base configuration The base configuration now provide a glibc toolchain, we can safely switch to it. Signed-off-by: Romain Naour Signed-off-by: Thomas Petazzoni --- 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