diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index e98e5eb62f93de601cb5e0f75f480a7b5df64a4f..ee637413caa074f7a35b7f7d482396ca83d8158f 100644
--- a/src/plugins/e-acsl/tests/test_config_dev
+++ b/src/plugins/e-acsl/tests/test_config_dev
@@ -7,6 +7,9 @@ MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X --no-assert-print-data
 COMMENT: Default options for the frama-c invocation
 MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
 
+COMMENT: Currently compilation assumes an x86_64 architecture
+ENABLED_IF: (= %{architecture} x86_64)
+
 PLUGIN: e-acsl eva,scope,variadic rtegen
 
 COMMENT: The dependency to the plugin share directory has not to be explicited