From 79c2422159a55be7088f2f634f2a4820f4943587 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 16 Feb 2022 15:09:19 +0100
Subject: [PATCH] [ptests] add default macro for FRAMAC_SHARE
---
ptests/ptests.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 021f6e1c972..55961d8201a 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -965,6 +965,7 @@ end = struct
"frama-c-cmd", !macro_frama_c_cmd;
"frama-c", !macro_frama_c;
"DEV_NULL", dev_null;
+ "FRAMAC_SHARE", get_default_env "FRAMAC_SHARE" "";
"PTEST_DEFAULT_OPTIONS", default_options;
"PTEST_OPTIONS", !macro_options;
"PTEST_PRE_OPTIONS", !macro_pre_options;
--
GitLab