1

Closed

Generating makefile for unstable branch fails

description

Generating makefile for unstable branch fails with the error message below. It seems that a file was renamed: scripts/config-release.mk to scripts/config-vs-release.mk

Changing the line in the python script seems to work.


The error message:

New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'interval'
New component: 'subpaving'
New component: 'ast'
New component: 'rewriter'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'grobner'
New component: 'euclid'
New component: 'front_end_params'
New component: 'simplifier'
New component: 'normal_forms'
New component: 'core_tactics'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'solver'
New component: 'cmd_context'
New component: 'extra_cmds'
New component: 'smt2parser'
New component: 'pattern'
New component: 'macros'
New component: 'proof_checker'
New component: 'bit_blaster'
New component: 'proto_model'
New component: 'smt'
New component: 'user_plugin'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'fpa'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'muz_qe'
New component: 'smtlogic_tactics'
New component: 'ufbv_tactic'
New component: 'portfolio'
New component: 'smtparser'
New component: 'api'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'cpp'
Python bindinds directory was detected.
New component: 'cpp_example'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'py_example'
Generated 'src/util/version.h'
Updated 'src/api/dotnet/Properties/AssemblyInfo.cs'
Generated 'src/ast/pattern/database.h'
Generated 'src/shell/install_tactic.cpp'
Generated 'src/test/install_tactic.cpp'
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/api/python/z3consts.py'
Generated 'src/api/dotnet/Enumerations.cs'
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3core.py'
Generated 'src/api/dotnet/Native.cs'
Listing src/api/python ...
Compiling src/api/python/z3.py ...
Compiling src/api/python/z3consts.py ...
Compiling src/api/python/z3core.py ...
Compiling src/api/python/z3printer.py ...
Compiling src/api/python/z3test.py ...
Compiling src/api/python/z3types.py ...
Generated 'z3.pyc'
Generated 'z3consts.pyc'
Generated 'z3core.pyc'
Generated 'z3printer.pyc'
Generated 'z3test.pyc'
Generated 'z3types.pyc'
Traceback (most recent call last):
File "scripts/mk_make.py", line 20, in <module>
mk_makefile()
File "/cygdrive/c/Users/Markus Rabe/Documents/University/MSR/z3/scripts/mk_uti
l.py", line 831, in mk_makefile
cp_config_mk()
File "/cygdrive/c/Users/Markus Rabe/Documents/University/MSR/z3/scripts/mk_uti
l.py", line 807, in cp_config_mk
shutil.copyfile('scripts/config-release.mk', '%s/config.mk' % BUILD_DIR)
File "/usr/lib/python2.6/shutil.py", line 52, in copyfile
fsrc = open(src, 'rb')
IOError: [Errno 2] No such file or directory: 'scripts/config-release.mk'
Closed Aug 12, 2013 at 10:03 PM by leodemoura
It seems the issue has been solved.

comments

leodemoura wrote Jul 18, 2013 at 4:39 PM

I'm assuming you are using cygwin. I can't reproduce the problem you described. I just executed python scripts/mk_make.py without problems under cygwin.

Could you try a "clean" build? Please, execute the following commands in an empty directory using the cygwin command prompt.

git clone https://git01.codeplex.com/z3
cd z3
git checkout -b unstable origin/unstable
python scripts/mk_make.py
cd build
make

MarkusRabe wrote Jul 20, 2013 at 11:56 AM

Hi,

I was using the visual studio command prompt. Using cygwin does not produce the error.

Thanks!