Z3 makefile does not recognize file change

Asked Aug 06 '19 at 15:05

Active Aug 06 '19 at 15:05

Viewed 131 times

I'm using z3 quite a lot, but now is the first time I need to actually change some files and rebuild with my changes. I built z3 initially just like the instructions here, brought here again for completeness:

git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py -d
cd build
make -j 4
sudo make install

When I changed some files I naively navigated to z3/build and ran make. This is the message I got and nothing was recompiled:

Z3 was successfully built.
Z3Py scripts can already be executed in the 'build/python' directory.
Z3Py scripts stored in arbitrary directories can be executed if the 'build/python' directory is added to the PYTHONPATH environment variable and the 'build' directory is added to the LD_LIBRARY_PATH environment variable.
Use the following command to install Z3 at prefix /usr.
    sudo make install

asked Aug 06 '19 at 15:05

OrenIshShalom

5,974
9
37
87

I cannot reproduce this issue. What files did you alter? – Patrick Trentin Aug 07 '19 at 09:21
@PatrickTrentin z3/src/api/c++/z3++.h – OrenIshShalom Aug 07 '19 at 09:23
The issue seems to be specific for that, and possibly some other, header files, so I would suggest you to include such list in your question. – Patrick Trentin Aug 07 '19 at 09:36
3

Z3 itself doesn't use `z3++.h`, it's the C++ API that's used by applications and the C++ example. If I remember correctly, just calling `make` won't rebuild the examples, try `make examples` to see whether it picks up your changes. – Christoph Wintersteiger Aug 07 '19 at 10:13

Z3 makefile does not recognize file change

0 Answers0