Permission denied error when building v.0.3.0 about fiction HOT 5 CLOSED

Ah I see what the issue might be then. Seems like CMake was unable to detect your Python installation. If you can't make CMake to recognize Python correctly, the following workaround might fix your problem. Navigate to fiction/libs/z3/ and execute

python scripts/mk_make.py --prefix=<PATH_TO_FICTION_FOLDER>/build/z3/
cd build
make
make install

Afterwards, you should be good to build fiction via make fiction in your build folder.

from fiction.

Thanks for commenting. Please try to remove the old Z3 build via

rm -rf libs/z3/build

in fiction's root folder before triggering a new build.

from fiction.

This doesn't work. I use a fresh clone of the repository (like in my dockerfile in PR #5) with the command

git clone --recursive https://github.com/marcelwa/fiction.git

and then use the commands

cd fiction
mkdir build
cd build
cmake ..
make

If I do this there is no build folder in libs/z3/.

from fiction.

With this workaround I am able to build it.

from fiction.

Commit bc3116e should render the workaround unnecessary.

from fiction.