termux-packages/packages/z3
Henrik Grimler c96f6ef9de z3: give build with TERMUX_MAKE_PROCESSES=1 a shot
Based on xeffyrs suggestion.
Already available in repo so this is just to check if it fixes the build.
2020-10-18 00:47:12 +02:00
..
build.sh z3: give build with TERMUX_MAKE_PROCESSES=1 a shot 2020-10-18 00:47:12 +02:00