Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CMake build system, attempt 2 #461

Merged
merged 42 commits into from
Mar 7, 2016
Merged

CMake build system, attempt 2 #461

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
9558dc1
Refactor ``exec_pyg_scripts()`` so that it is usable externally
Feb 26, 2016
ef58179
Refactor ``mk_pat_db()`` so that it is usable externally via a new fu…
Feb 27, 2016
a134388
Refactor ``mk_install_tactic_cpp()`` so that it is usable externally …
Feb 28, 2016
2f7f022
Refactor ``mk_mem_initializer_cpp()`` so that it is usable externally…
Feb 28, 2016
2b3fe3d
Refactor ``mk_gparams_register_modules()`` so that it is usable exter…
Feb 28, 2016
db34baa
Partially refactor the code in ``update_api.py`` so that it can
Feb 28, 2016
2515276
Implement a CMake build system.
Feb 20, 2016
e1584cc
CMake 2.8.12 does not support the ``LANGUAGES`` argument.
Feb 29, 2016
9f5f8f1
CMake 2.8.12 doesn't support the ``continue()`` command.
Feb 29, 2016
32e51ed
Only CMake >= 3.2 supports the ``USES_TERMINAL`` argument to
Feb 29, 2016
e8a9209
Add sanity check to make sure in-source CMake builds are disallowed.
Feb 29, 2016
7ac9172
Fix CMake configure under CMake 3.1 with MSVC under Windows.
Feb 29, 2016
ca6c41e
Don't append ${OpenMP_CXX_FLAGS} to Z3_DEPENDENT_LIBS. This is wrong
Feb 29, 2016
246a105
Force incremental linking to be off for MSVC. Whilst I'm here copy
Feb 29, 2016
ce54f6d
Fix racing MSVC CMake build. The ``libz3`` target must have a different
Feb 29, 2016
46ac368
Refactor ``mk_def_file()`` so that it is usable externally via a new
Feb 29, 2016
beb2112
Move where the Z3 API header files to be scanned by the Python scripts
Mar 1, 2016
c9e3332
Teach the CMake build system to generate the module exports
Mar 1, 2016
0aa86c2
Add documentation on CMake build system.
Mar 1, 2016
346f66d
Don't set the ``_DEBUG`` define. This is related to issue #463
Mar 1, 2016
2b9bdf3
Only pass OpenMP flags to the linker when using GCC or Clang.
Mar 1, 2016
1a914eb
Improve CMake build system documentation
Mar 1, 2016
f6e9464
Made emission of the API module files ``api_log_macros.h``,
Mar 2, 2016
8bc7d31
Refactor ``mk_z3consts_py()`` to that is usable externally via a new
Mar 2, 2016
fb44951
Teach the CMake build system to build and install the python bindings
Mar 2, 2016
9b48b5c
When building with OpenMP make sure libz3 passes extra linker
Mar 2, 2016
849c16c
Don't try to remove the CMAKE_INSTALL_PREFIX from the
Mar 2, 2016
d54d6b5
Teach the Python build system to use the ``version.h.in`` template fi…
Mar 2, 2016
a3e0eae
Move CMakeLists.txt files (other than the one in the repository root)
Mar 2, 2016
875acfc
Add bootstrap.py script to copy CMake files into their correct location
Mar 3, 2016
b76ce60
Provide a friendly error message if someone tries to use the CMake
Mar 3, 2016
a5f8cea
Add globbing patterns to ``.gitignore`` so the files copied
Mar 3, 2016
e67ed6b
Note in the README the experimental CMake build system.
Mar 3, 2016
786362a
Fix bug in CMake bootstrap script when running under Windows.
Mar 3, 2016
017e9a2
Try to fix the freebsd build by linking against the system's
Mar 3, 2016
d12b558
Fix typo spotted by @arrowd
Mar 3, 2016
7033ebe
Fix running the CMake bootstrap script under Python 2.7
Mar 3, 2016
a2cc6d2
Emit an error message if building the Python bindings is enabled
Mar 3, 2016
29901e7
Fix how the list of linker flags ``Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS``
Mar 4, 2016
a52d81e
Document ``z3_add_component()``.
Mar 4, 2016
1d9a7dc
Add missing shebang in ``scripts/update_api.py``. The script
Mar 4, 2016
7fd5042
Minor tweaks to ``README-CMake.md``.
Mar 5, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -75,3 +75,12 @@ src/api/ml/z3.mllib
*.bak
doc/api
doc/code

# CMake files copied over by the ``contrib/cmake/boostrap.py`` script
# See #461
examples/CMakeLists.txt
examples/*/CMakeLists.txt
src/CMakeLists.txt
src/*/CMakeLists.txt
src/*/*/CMakeLists.txt
src/*/*/*/CMakeLists.txt
366 changes: 366 additions & 0 deletions CMakeLists.txt
View file
Open in desktop

Large diffs are not rendered by default.

Loading