diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 021f6e1c9723758db197d34f5068fc63a5a09227..55961d8201a8550678bc2dd9708243e1990dbff8 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;