On Sun, Mar 22, 2020 at 02:42:39PM +0100, Klemens Nanni wrote:
> If devel/z3 is installed, cmake picks it up at configure time:
>
> -- Found Z3: /usr/local/lib/libz3.so.2.0 (found suitable version "4.8.6
> - 64 bit", minimum required is "4.7.1")
> -- Configuring done
>
> Bump REVISI
If devel/z3 is installed, cmake picks it up at configure time:
-- Found Z3: /usr/local/lib/libz3.so.2.0 (found suitable version "4.8.6
- 64 bit", minimum required is "4.7.1")
-- Configuring done
Bump REVISION to be safe in case build machines have picked it up.
Feedback? OK?
I
