set guard/cf and dynamic base in release

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 17, 2020 · e591b32 · e591b32
1 parent f030843
commit e591b32
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
@@ -218,6 +218,8 @@ def mk_dist_dir(x64):
     mk_util.DOTNET_KEY_FILE = DOTNET_KEY_FILE
     mk_util.JAVA_ENABLED = JAVA_ENABLED
     mk_util.PYTHON_ENABLED = PYTHON_ENABLED
+    mk_util.GUARD_CF = True
+    mk_util.ALWAYS_DYNAMIC_BASE = True
     mk_win_dist(build_path, dist_path)
     if is_verbose():
         print("Generated %s distribution folder at '%s'" % (platform, dist_path))