cppcheck.

2021-03-24 05:24:26 +03:00
parent e0626d5735
commit e204a1a266
3 changed files with 12 additions and 4 deletions
@@ -11,6 +11,7 @@ from pisi.actionsapi import get

 j = "-DUSE_Z3=ON \
     -DHAVE_RULES=ON \
+     -DPYTHON_EXECUTABLE=/usr/bin/python3 \
     -DBUILD_GUI=ON \
     -DBUILD_SHARED_LIBS=ON \
     -DBUILD_TESTS=OFF \