3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
z3/contrib
Dan Liew fd7b8fe1ab [CMake] On Windows fix the `install` target so that it installs
``libz3.dll``.

I've left a comment about the installation of ``libz3.lib``. I'm not
sure if we want that installed or not.
2016-04-26 11:49:46 +01:00
..
cmake [CMake] On Windows fix the `install` target so that it installs 2016-04-26 11:49:46 +01:00