Changes between Version 2 and Version 3 of Tools/Z3


Ignore:
Timestamp:
Aug 9, 2019, 11:23:44 AM (2 years ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Tools/Z3

    v2 v3  
    99cd build
    1010cmake \
    11       -DUSE_OPENMP:BOOL=ON \
    12       -DLINK_TIME_OPTIMIZATION:BOOL=ON \
     11      -DCMAKE_BUILD_TYPE=Release \
     12      -DBUILD_LIBZ3_SHARED=ON \
     13      -DBUILD_PYTHON_BINDINGS=ON \
     14      -DUSE_OPENMP=ON \
     15      -DLINK_TIME_OPTIMIZATION=ON \
    1316      ..
    1417make -s all