Building z3 with Visual studio command prompt on Windows x64


I downloaded z3 from gitHub, I decide to download the source code in order to have all the files.

I have followed the instruction in the file for installing z3 on windows x64, but it didn’t work. Then, I have tried different command Prompt to launch "scripts/ -x" as I saw in suggestions around the web.
But the output is always the same:

<Generating srcutilz3_version.h from Traceback (most recent call last):File "scripts/", line 16, in <module> update_version() File "C:Program Files (x86)", line 2750, in update_version mk_version_dot_h(major, minor, build, revision) File "C:Program Files (x86)", line 2772, in mk_version_dot_h configure_file(version_template, version_header_output, File "C:Program Files (x86)", line 3426, in configure_file with open(output_file_path, 'w') as f: PermissionError: [Errno 13] Permission denied: 'srcutilz3_version.h'>.

Does anyone know what I have to do?

Thanks a lot if someone will answer me!!

Source: Visual Studio Questions