diff --git a/scripts/mk_make.py b/scripts/mk_make.py index 0e2409b0f..8cd9f3a7d 100644 --- a/scripts/mk_make.py +++ b/scripts/mk_make.py @@ -13,9 +13,9 @@ parse_options() check_eol() API_files = init_project_def() -#update_version() -#mk_auto_src() +update_version() +mk_auto_src() mk_bindings(API_files) -#mk_vs_proj('z3', ['shell']) -#mk_vs_proj_dll('libz3', ['api_dll']) -#mk_makefile() +mk_vs_proj('z3', ['shell']) +mk_vs_proj_dll('libz3', ['api_dll']) +mk_makefile()