diff --git a/share/analysis-scripts/make_template.py b/share/analysis-scripts/make_template.py index 419dc9d443072b29d39e93c44040e05bc1596624..504043a6ebf62a733e1b9290293b866f0a15463a 100755 --- a/share/analysis-scripts/make_template.py +++ b/share/analysis-scripts/make_template.py @@ -250,7 +250,7 @@ gnumakefile.write_text("".join(lines)) print(f"Template created: {gnumakefile}") -if not framac_in_path: +if not "PTESTS_TESTING" in os.environ and not framac_in_path: print(f"Frama-C not in path, adding path.mk to {dir}") frama_c_script = bindir / "frama-c-script" os.system(f"{frama_c_script} make-path {dir}") diff --git a/tests/fc_script/oracle/make_template.res b/tests/fc_script/oracle/make_template.res index 8d4a89eefce975172999f89a7e9917cb87545087..eb6734b3ca4224a9a3b0f2b872a3d83b8317b4f6 100644 --- a/tests/fc_script/oracle/make_template.res +++ b/tests/fc_script/oracle/make_template.res @@ -10,8 +10,6 @@ warning: result/GNUmakefile already exists. Overwrite? [y/N] Main target name: S warning: 'main' seems to be defined multiple times. Is this ok? [Y/n] compile_commands.json exists, add option -json-compilation-database? [Y/n] Add stub for function main (only needed if it uses command-line arguments)? [y/N] Please define the architectural model (machdep) of the target machine. Known machdeps: x86_16 x86_32 x86_64 gcc_x86_16 gcc_x86_32 gcc_x86_64 ppc_32 msvc_x86_64 -Please enter the machdep [x86_32]: 'invalid_machdep' is not a standard machdep. Proceed anyway? [y/N]Please enter the machdep [x86_32]: warning: result/fc_stubs.c already exists. Overwrite? [y/N] Wrote to: result/path.mk -Created stub for main function: result/fc_stubs.c +Please enter the machdep [x86_32]: 'invalid_machdep' is not a standard machdep. Proceed anyway? [y/N]Please enter the machdep [x86_32]: warning: result/fc_stubs.c already exists. Overwrite? [y/N] Created stub for main function: result/fc_stubs.c Template created: result/GNUmakefile -Frama-C not in path, adding path.mk to result Running ptests: cleaning up after tests...