From a0aa0814c28d8238bc64d774fadfec793fa0b9f2 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 4 Oct 2023 14:38:07 +0200
Subject: [PATCH] [e-acsl] disable _dev tests on macOS due to incompatible
getopt
---
src/plugins/e-acsl/tests/test_config_dev | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index 948d591ee9f..51f1d228cf7 100644
--- a/src/plugins/e-acsl/tests/test_config_dev
+++ b/src/plugins/e-acsl/tests/test_config_dev
@@ -10,6 +10,9 @@ MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
COMMENT: Currently compilation assumes an x86_64 architecture
ENABLED_IF: (= %{architecture} amd64)
+COMMENT: e-acsl-gcc.sh is not currently compatible with macos' getopt
+ENABLED_IF: (<> %{system} macosx)
+
PLUGIN: e-acsl eva,scope,variadic rtegen
COMMENT: The dependency to the plugin share directory has not to be explicited
--
GitLab