From 0da63bec88d27e3032fd334e1f0416c21c7eee63 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Thu, 22 Apr 2021 11:55:13 +0200 Subject: [PATCH] Script to generate source files on Windows Signed-off-by: Gilles Peskine --- scripts/make_generated_files.bat | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 scripts/make_generated_files.bat diff --git a/scripts/make_generated_files.bat b/scripts/make_generated_files.bat new file mode 100644 index 000000000..4c4b53eea --- /dev/null +++ b/scripts/make_generated_files.bat @@ -0,0 +1,9 @@ +@rem Generate automatically-generated configuration-independent source files +@rem and build scripts. +@rem Perl and Python 3 must be on the PATH. +perl scripts\generate_errors.pl || exit /b +perl scripts\generate_query_config.pl || exit /b +perl scripts\generate_features.pl || exit /b +perl scripts\generate_visualc_files.pl || exit /b +python scripts\generate_psa_constants.py || exit /b +python tests\scripts\generate_psa_tests.py || exit /b