diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index 948d591ee9fd28cfdc36c7693e70272a5122fe85..51f1d228cf798a01c330f58ae260d12f439f9f41 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