From a3e0eae9ec1a6bcfdf8a1ddde647606892c9431e Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 2 Mar 2016 23:39:03 +0000 Subject: [PATCH] Move CMakeLists.txt files (other than the one in the repository root) and the cmake directory into a new directory ``contrib/cmake`` that mirrors the directory structure of the root. This is a comprimise between me and Christoph Wintersteiger that was suggested by Arie Gurfinkel that allows the CMake build system to live in the Z3 repository but not impact the Z3 developers that want to avoid the CMake build system. The build system will not work in its new location and a bootstrap script will soon be provided that allows a developer to copy the files back to their correct location. --- {cmake => contrib/cmake/cmake}/cmake_uninstall.cmake.in | 0 {cmake => contrib/cmake/cmake}/compiler_flags_override.cmake | 0 {cmake => contrib/cmake/cmake}/compiler_warnings.cmake | 0 {cmake => contrib/cmake/cmake}/modules/FindGMP.cmake | 0 {cmake => contrib/cmake/cmake}/target_arch_detect.cmake | 0 {cmake => contrib/cmake/cmake}/target_arch_detect.cpp | 0 {cmake => contrib/cmake/cmake}/z3_add_component.cmake | 0 {cmake => contrib/cmake/cmake}/z3_add_cxx_flag.cmake | 0 {examples => contrib/cmake/examples}/CMakeLists.txt | 0 {examples => contrib/cmake/examples}/c++/CMakeLists.txt | 0 {examples => contrib/cmake/examples}/c/CMakeLists.txt | 0 {src => contrib/cmake/src}/CMakeLists.txt | 0 {src => contrib/cmake/src}/ackermannization/CMakeLists.txt | 0 {src => contrib/cmake/src}/api/CMakeLists.txt | 0 {src => contrib/cmake/src}/api/dll/CMakeLists.txt | 0 {src => contrib/cmake/src}/api/python/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/fpa/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/macros/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/normal_forms/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/pattern/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/proof_checker/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/rewriter/CMakeLists.txt | 0 .../cmake/src}/ast/rewriter/bit_blaster/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/simplifier/CMakeLists.txt | 0 {src => contrib/cmake/src}/ast/substitution/CMakeLists.txt | 0 {src => contrib/cmake/src}/cmd_context/CMakeLists.txt | 0 {src => contrib/cmake/src}/cmd_context/extra_cmds/CMakeLists.txt | 0 {src => contrib/cmake/src}/duality/CMakeLists.txt | 0 {src => contrib/cmake/src}/interp/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/automata/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/euclid/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/grobner/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/hilbert/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/interval/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/polynomial/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/realclosure/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/simplex/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/subpaving/CMakeLists.txt | 0 {src => contrib/cmake/src}/math/subpaving/tactic/CMakeLists.txt | 0 {src => contrib/cmake/src}/model/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/base/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/bmc/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/clp/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/dataflow/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/ddnf/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/duality/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/fp/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/pdr/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/rel/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/tab/CMakeLists.txt | 0 {src => contrib/cmake/src}/muz/transforms/CMakeLists.txt | 0 {src => contrib/cmake/src}/nlsat/CMakeLists.txt | 0 {src => contrib/cmake/src}/nlsat/tactic/CMakeLists.txt | 0 {src => contrib/cmake/src}/opt/CMakeLists.txt | 0 {src => contrib/cmake/src}/parsers/smt/CMakeLists.txt | 0 {src => contrib/cmake/src}/parsers/smt2/CMakeLists.txt | 0 {src => contrib/cmake/src}/parsers/util/CMakeLists.txt | 0 {src => contrib/cmake/src}/qe/CMakeLists.txt | 0 {src => contrib/cmake/src}/sat/CMakeLists.txt | 0 {src => contrib/cmake/src}/sat/sat_solver/CMakeLists.txt | 0 {src => contrib/cmake/src}/sat/tactic/CMakeLists.txt | 0 {src => contrib/cmake/src}/shell/CMakeLists.txt | 0 {src => contrib/cmake/src}/smt/CMakeLists.txt | 0 {src => contrib/cmake/src}/smt/params/CMakeLists.txt | 0 {src => contrib/cmake/src}/smt/proto_model/CMakeLists.txt | 0 {src => contrib/cmake/src}/smt/tactic/CMakeLists.txt | 0 {src => contrib/cmake/src}/solver/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/aig/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/arith/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/bv/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/core/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/fpa/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/nlsat_smt/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/portfolio/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/sls/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/smtlogics/CMakeLists.txt | 0 {src => contrib/cmake/src}/tactic/ufbv/CMakeLists.txt | 0 {src => contrib/cmake/src}/test/CMakeLists.txt | 0 {src => contrib/cmake/src}/test/fuzzing/CMakeLists.txt | 0 {src => contrib/cmake/src}/util/CMakeLists.txt | 0 82 files changed, 0 insertions(+), 0 deletions(-) rename {cmake => contrib/cmake/cmake}/cmake_uninstall.cmake.in (100%) rename {cmake => contrib/cmake/cmake}/compiler_flags_override.cmake (100%) rename {cmake => contrib/cmake/cmake}/compiler_warnings.cmake (100%) rename {cmake => contrib/cmake/cmake}/modules/FindGMP.cmake (100%) rename {cmake => contrib/cmake/cmake}/target_arch_detect.cmake (100%) rename {cmake => contrib/cmake/cmake}/target_arch_detect.cpp (100%) rename {cmake => contrib/cmake/cmake}/z3_add_component.cmake (100%) rename {cmake => contrib/cmake/cmake}/z3_add_cxx_flag.cmake (100%) rename {examples => contrib/cmake/examples}/CMakeLists.txt (100%) rename {examples => contrib/cmake/examples}/c++/CMakeLists.txt (100%) rename {examples => contrib/cmake/examples}/c/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ackermannization/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/api/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/api/dll/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/api/python/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/fpa/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/macros/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/normal_forms/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/pattern/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/proof_checker/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/rewriter/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/rewriter/bit_blaster/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/simplifier/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/ast/substitution/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/cmd_context/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/cmd_context/extra_cmds/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/duality/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/interp/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/automata/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/euclid/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/grobner/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/hilbert/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/interval/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/polynomial/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/realclosure/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/simplex/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/subpaving/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/math/subpaving/tactic/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/model/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/base/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/bmc/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/clp/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/dataflow/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/ddnf/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/duality/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/fp/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/pdr/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/rel/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/tab/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/muz/transforms/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/nlsat/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/nlsat/tactic/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/opt/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/parsers/smt/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/parsers/smt2/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/parsers/util/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/qe/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/sat/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/sat/sat_solver/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/sat/tactic/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/shell/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/smt/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/smt/params/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/smt/proto_model/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/smt/tactic/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/solver/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/aig/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/arith/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/bv/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/core/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/fpa/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/nlsat_smt/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/portfolio/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/sls/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/smtlogics/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/tactic/ufbv/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/test/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/test/fuzzing/CMakeLists.txt (100%) rename {src => contrib/cmake/src}/util/CMakeLists.txt (100%) diff --git a/cmake/cmake_uninstall.cmake.in b/contrib/cmake/cmake/cmake_uninstall.cmake.in similarity index 100% rename from cmake/cmake_uninstall.cmake.in rename to contrib/cmake/cmake/cmake_uninstall.cmake.in diff --git a/cmake/compiler_flags_override.cmake b/contrib/cmake/cmake/compiler_flags_override.cmake similarity index 100% rename from cmake/compiler_flags_override.cmake rename to contrib/cmake/cmake/compiler_flags_override.cmake diff --git a/cmake/compiler_warnings.cmake b/contrib/cmake/cmake/compiler_warnings.cmake similarity index 100% rename from cmake/compiler_warnings.cmake rename to contrib/cmake/cmake/compiler_warnings.cmake diff --git a/cmake/modules/FindGMP.cmake b/contrib/cmake/cmake/modules/FindGMP.cmake similarity index 100% rename from cmake/modules/FindGMP.cmake rename to contrib/cmake/cmake/modules/FindGMP.cmake diff --git a/cmake/target_arch_detect.cmake b/contrib/cmake/cmake/target_arch_detect.cmake similarity index 100% rename from cmake/target_arch_detect.cmake rename to contrib/cmake/cmake/target_arch_detect.cmake diff --git a/cmake/target_arch_detect.cpp b/contrib/cmake/cmake/target_arch_detect.cpp similarity index 100% rename from cmake/target_arch_detect.cpp rename to contrib/cmake/cmake/target_arch_detect.cpp diff --git a/cmake/z3_add_component.cmake b/contrib/cmake/cmake/z3_add_component.cmake similarity index 100% rename from cmake/z3_add_component.cmake rename to contrib/cmake/cmake/z3_add_component.cmake diff --git a/cmake/z3_add_cxx_flag.cmake b/contrib/cmake/cmake/z3_add_cxx_flag.cmake similarity index 100% rename from cmake/z3_add_cxx_flag.cmake rename to contrib/cmake/cmake/z3_add_cxx_flag.cmake diff --git a/examples/CMakeLists.txt b/contrib/cmake/examples/CMakeLists.txt similarity index 100% rename from examples/CMakeLists.txt rename to contrib/cmake/examples/CMakeLists.txt diff --git a/examples/c++/CMakeLists.txt b/contrib/cmake/examples/c++/CMakeLists.txt similarity index 100% rename from examples/c++/CMakeLists.txt rename to contrib/cmake/examples/c++/CMakeLists.txt diff --git a/examples/c/CMakeLists.txt b/contrib/cmake/examples/c/CMakeLists.txt similarity index 100% rename from examples/c/CMakeLists.txt rename to contrib/cmake/examples/c/CMakeLists.txt diff --git a/src/CMakeLists.txt b/contrib/cmake/src/CMakeLists.txt similarity index 100% rename from src/CMakeLists.txt rename to contrib/cmake/src/CMakeLists.txt diff --git a/src/ackermannization/CMakeLists.txt b/contrib/cmake/src/ackermannization/CMakeLists.txt similarity index 100% rename from src/ackermannization/CMakeLists.txt rename to contrib/cmake/src/ackermannization/CMakeLists.txt diff --git a/src/api/CMakeLists.txt b/contrib/cmake/src/api/CMakeLists.txt similarity index 100% rename from src/api/CMakeLists.txt rename to contrib/cmake/src/api/CMakeLists.txt diff --git a/src/api/dll/CMakeLists.txt b/contrib/cmake/src/api/dll/CMakeLists.txt similarity index 100% rename from src/api/dll/CMakeLists.txt rename to contrib/cmake/src/api/dll/CMakeLists.txt diff --git a/src/api/python/CMakeLists.txt b/contrib/cmake/src/api/python/CMakeLists.txt similarity index 100% rename from src/api/python/CMakeLists.txt rename to contrib/cmake/src/api/python/CMakeLists.txt diff --git a/src/ast/CMakeLists.txt b/contrib/cmake/src/ast/CMakeLists.txt similarity index 100% rename from src/ast/CMakeLists.txt rename to contrib/cmake/src/ast/CMakeLists.txt diff --git a/src/ast/fpa/CMakeLists.txt b/contrib/cmake/src/ast/fpa/CMakeLists.txt similarity index 100% rename from src/ast/fpa/CMakeLists.txt rename to contrib/cmake/src/ast/fpa/CMakeLists.txt diff --git a/src/ast/macros/CMakeLists.txt b/contrib/cmake/src/ast/macros/CMakeLists.txt similarity index 100% rename from src/ast/macros/CMakeLists.txt rename to contrib/cmake/src/ast/macros/CMakeLists.txt diff --git a/src/ast/normal_forms/CMakeLists.txt b/contrib/cmake/src/ast/normal_forms/CMakeLists.txt similarity index 100% rename from src/ast/normal_forms/CMakeLists.txt rename to contrib/cmake/src/ast/normal_forms/CMakeLists.txt diff --git a/src/ast/pattern/CMakeLists.txt b/contrib/cmake/src/ast/pattern/CMakeLists.txt similarity index 100% rename from src/ast/pattern/CMakeLists.txt rename to contrib/cmake/src/ast/pattern/CMakeLists.txt diff --git a/src/ast/proof_checker/CMakeLists.txt b/contrib/cmake/src/ast/proof_checker/CMakeLists.txt similarity index 100% rename from src/ast/proof_checker/CMakeLists.txt rename to contrib/cmake/src/ast/proof_checker/CMakeLists.txt diff --git a/src/ast/rewriter/CMakeLists.txt b/contrib/cmake/src/ast/rewriter/CMakeLists.txt similarity index 100% rename from src/ast/rewriter/CMakeLists.txt rename to contrib/cmake/src/ast/rewriter/CMakeLists.txt diff --git a/src/ast/rewriter/bit_blaster/CMakeLists.txt b/contrib/cmake/src/ast/rewriter/bit_blaster/CMakeLists.txt similarity index 100% rename from src/ast/rewriter/bit_blaster/CMakeLists.txt rename to contrib/cmake/src/ast/rewriter/bit_blaster/CMakeLists.txt diff --git a/src/ast/simplifier/CMakeLists.txt b/contrib/cmake/src/ast/simplifier/CMakeLists.txt similarity index 100% rename from src/ast/simplifier/CMakeLists.txt rename to contrib/cmake/src/ast/simplifier/CMakeLists.txt diff --git a/src/ast/substitution/CMakeLists.txt b/contrib/cmake/src/ast/substitution/CMakeLists.txt similarity index 100% rename from src/ast/substitution/CMakeLists.txt rename to contrib/cmake/src/ast/substitution/CMakeLists.txt diff --git a/src/cmd_context/CMakeLists.txt b/contrib/cmake/src/cmd_context/CMakeLists.txt similarity index 100% rename from src/cmd_context/CMakeLists.txt rename to contrib/cmake/src/cmd_context/CMakeLists.txt diff --git a/src/cmd_context/extra_cmds/CMakeLists.txt b/contrib/cmake/src/cmd_context/extra_cmds/CMakeLists.txt similarity index 100% rename from src/cmd_context/extra_cmds/CMakeLists.txt rename to contrib/cmake/src/cmd_context/extra_cmds/CMakeLists.txt diff --git a/src/duality/CMakeLists.txt b/contrib/cmake/src/duality/CMakeLists.txt similarity index 100% rename from src/duality/CMakeLists.txt rename to contrib/cmake/src/duality/CMakeLists.txt diff --git a/src/interp/CMakeLists.txt b/contrib/cmake/src/interp/CMakeLists.txt similarity index 100% rename from src/interp/CMakeLists.txt rename to contrib/cmake/src/interp/CMakeLists.txt diff --git a/src/math/automata/CMakeLists.txt b/contrib/cmake/src/math/automata/CMakeLists.txt similarity index 100% rename from src/math/automata/CMakeLists.txt rename to contrib/cmake/src/math/automata/CMakeLists.txt diff --git a/src/math/euclid/CMakeLists.txt b/contrib/cmake/src/math/euclid/CMakeLists.txt similarity index 100% rename from src/math/euclid/CMakeLists.txt rename to contrib/cmake/src/math/euclid/CMakeLists.txt diff --git a/src/math/grobner/CMakeLists.txt b/contrib/cmake/src/math/grobner/CMakeLists.txt similarity index 100% rename from src/math/grobner/CMakeLists.txt rename to contrib/cmake/src/math/grobner/CMakeLists.txt diff --git a/src/math/hilbert/CMakeLists.txt b/contrib/cmake/src/math/hilbert/CMakeLists.txt similarity index 100% rename from src/math/hilbert/CMakeLists.txt rename to contrib/cmake/src/math/hilbert/CMakeLists.txt diff --git a/src/math/interval/CMakeLists.txt b/contrib/cmake/src/math/interval/CMakeLists.txt similarity index 100% rename from src/math/interval/CMakeLists.txt rename to contrib/cmake/src/math/interval/CMakeLists.txt diff --git a/src/math/polynomial/CMakeLists.txt b/contrib/cmake/src/math/polynomial/CMakeLists.txt similarity index 100% rename from src/math/polynomial/CMakeLists.txt rename to contrib/cmake/src/math/polynomial/CMakeLists.txt diff --git a/src/math/realclosure/CMakeLists.txt b/contrib/cmake/src/math/realclosure/CMakeLists.txt similarity index 100% rename from src/math/realclosure/CMakeLists.txt rename to contrib/cmake/src/math/realclosure/CMakeLists.txt diff --git a/src/math/simplex/CMakeLists.txt b/contrib/cmake/src/math/simplex/CMakeLists.txt similarity index 100% rename from src/math/simplex/CMakeLists.txt rename to contrib/cmake/src/math/simplex/CMakeLists.txt diff --git a/src/math/subpaving/CMakeLists.txt b/contrib/cmake/src/math/subpaving/CMakeLists.txt similarity index 100% rename from src/math/subpaving/CMakeLists.txt rename to contrib/cmake/src/math/subpaving/CMakeLists.txt diff --git a/src/math/subpaving/tactic/CMakeLists.txt b/contrib/cmake/src/math/subpaving/tactic/CMakeLists.txt similarity index 100% rename from src/math/subpaving/tactic/CMakeLists.txt rename to contrib/cmake/src/math/subpaving/tactic/CMakeLists.txt diff --git a/src/model/CMakeLists.txt b/contrib/cmake/src/model/CMakeLists.txt similarity index 100% rename from src/model/CMakeLists.txt rename to contrib/cmake/src/model/CMakeLists.txt diff --git a/src/muz/base/CMakeLists.txt b/contrib/cmake/src/muz/base/CMakeLists.txt similarity index 100% rename from src/muz/base/CMakeLists.txt rename to contrib/cmake/src/muz/base/CMakeLists.txt diff --git a/src/muz/bmc/CMakeLists.txt b/contrib/cmake/src/muz/bmc/CMakeLists.txt similarity index 100% rename from src/muz/bmc/CMakeLists.txt rename to contrib/cmake/src/muz/bmc/CMakeLists.txt diff --git a/src/muz/clp/CMakeLists.txt b/contrib/cmake/src/muz/clp/CMakeLists.txt similarity index 100% rename from src/muz/clp/CMakeLists.txt rename to contrib/cmake/src/muz/clp/CMakeLists.txt diff --git a/src/muz/dataflow/CMakeLists.txt b/contrib/cmake/src/muz/dataflow/CMakeLists.txt similarity index 100% rename from src/muz/dataflow/CMakeLists.txt rename to contrib/cmake/src/muz/dataflow/CMakeLists.txt diff --git a/src/muz/ddnf/CMakeLists.txt b/contrib/cmake/src/muz/ddnf/CMakeLists.txt similarity index 100% rename from src/muz/ddnf/CMakeLists.txt rename to contrib/cmake/src/muz/ddnf/CMakeLists.txt diff --git a/src/muz/duality/CMakeLists.txt b/contrib/cmake/src/muz/duality/CMakeLists.txt similarity index 100% rename from src/muz/duality/CMakeLists.txt rename to contrib/cmake/src/muz/duality/CMakeLists.txt diff --git a/src/muz/fp/CMakeLists.txt b/contrib/cmake/src/muz/fp/CMakeLists.txt similarity index 100% rename from src/muz/fp/CMakeLists.txt rename to contrib/cmake/src/muz/fp/CMakeLists.txt diff --git a/src/muz/pdr/CMakeLists.txt b/contrib/cmake/src/muz/pdr/CMakeLists.txt similarity index 100% rename from src/muz/pdr/CMakeLists.txt rename to contrib/cmake/src/muz/pdr/CMakeLists.txt diff --git a/src/muz/rel/CMakeLists.txt b/contrib/cmake/src/muz/rel/CMakeLists.txt similarity index 100% rename from src/muz/rel/CMakeLists.txt rename to contrib/cmake/src/muz/rel/CMakeLists.txt diff --git a/src/muz/tab/CMakeLists.txt b/contrib/cmake/src/muz/tab/CMakeLists.txt similarity index 100% rename from src/muz/tab/CMakeLists.txt rename to contrib/cmake/src/muz/tab/CMakeLists.txt diff --git a/src/muz/transforms/CMakeLists.txt b/contrib/cmake/src/muz/transforms/CMakeLists.txt similarity index 100% rename from src/muz/transforms/CMakeLists.txt rename to contrib/cmake/src/muz/transforms/CMakeLists.txt diff --git a/src/nlsat/CMakeLists.txt b/contrib/cmake/src/nlsat/CMakeLists.txt similarity index 100% rename from src/nlsat/CMakeLists.txt rename to contrib/cmake/src/nlsat/CMakeLists.txt diff --git a/src/nlsat/tactic/CMakeLists.txt b/contrib/cmake/src/nlsat/tactic/CMakeLists.txt similarity index 100% rename from src/nlsat/tactic/CMakeLists.txt rename to contrib/cmake/src/nlsat/tactic/CMakeLists.txt diff --git a/src/opt/CMakeLists.txt b/contrib/cmake/src/opt/CMakeLists.txt similarity index 100% rename from src/opt/CMakeLists.txt rename to contrib/cmake/src/opt/CMakeLists.txt diff --git a/src/parsers/smt/CMakeLists.txt b/contrib/cmake/src/parsers/smt/CMakeLists.txt similarity index 100% rename from src/parsers/smt/CMakeLists.txt rename to contrib/cmake/src/parsers/smt/CMakeLists.txt diff --git a/src/parsers/smt2/CMakeLists.txt b/contrib/cmake/src/parsers/smt2/CMakeLists.txt similarity index 100% rename from src/parsers/smt2/CMakeLists.txt rename to contrib/cmake/src/parsers/smt2/CMakeLists.txt diff --git a/src/parsers/util/CMakeLists.txt b/contrib/cmake/src/parsers/util/CMakeLists.txt similarity index 100% rename from src/parsers/util/CMakeLists.txt rename to contrib/cmake/src/parsers/util/CMakeLists.txt diff --git a/src/qe/CMakeLists.txt b/contrib/cmake/src/qe/CMakeLists.txt similarity index 100% rename from src/qe/CMakeLists.txt rename to contrib/cmake/src/qe/CMakeLists.txt diff --git a/src/sat/CMakeLists.txt b/contrib/cmake/src/sat/CMakeLists.txt similarity index 100% rename from src/sat/CMakeLists.txt rename to contrib/cmake/src/sat/CMakeLists.txt diff --git a/src/sat/sat_solver/CMakeLists.txt b/contrib/cmake/src/sat/sat_solver/CMakeLists.txt similarity index 100% rename from src/sat/sat_solver/CMakeLists.txt rename to contrib/cmake/src/sat/sat_solver/CMakeLists.txt diff --git a/src/sat/tactic/CMakeLists.txt b/contrib/cmake/src/sat/tactic/CMakeLists.txt similarity index 100% rename from src/sat/tactic/CMakeLists.txt rename to contrib/cmake/src/sat/tactic/CMakeLists.txt diff --git a/src/shell/CMakeLists.txt b/contrib/cmake/src/shell/CMakeLists.txt similarity index 100% rename from src/shell/CMakeLists.txt rename to contrib/cmake/src/shell/CMakeLists.txt diff --git a/src/smt/CMakeLists.txt b/contrib/cmake/src/smt/CMakeLists.txt similarity index 100% rename from src/smt/CMakeLists.txt rename to contrib/cmake/src/smt/CMakeLists.txt diff --git a/src/smt/params/CMakeLists.txt b/contrib/cmake/src/smt/params/CMakeLists.txt similarity index 100% rename from src/smt/params/CMakeLists.txt rename to contrib/cmake/src/smt/params/CMakeLists.txt diff --git a/src/smt/proto_model/CMakeLists.txt b/contrib/cmake/src/smt/proto_model/CMakeLists.txt similarity index 100% rename from src/smt/proto_model/CMakeLists.txt rename to contrib/cmake/src/smt/proto_model/CMakeLists.txt diff --git a/src/smt/tactic/CMakeLists.txt b/contrib/cmake/src/smt/tactic/CMakeLists.txt similarity index 100% rename from src/smt/tactic/CMakeLists.txt rename to contrib/cmake/src/smt/tactic/CMakeLists.txt diff --git a/src/solver/CMakeLists.txt b/contrib/cmake/src/solver/CMakeLists.txt similarity index 100% rename from src/solver/CMakeLists.txt rename to contrib/cmake/src/solver/CMakeLists.txt diff --git a/src/tactic/CMakeLists.txt b/contrib/cmake/src/tactic/CMakeLists.txt similarity index 100% rename from src/tactic/CMakeLists.txt rename to contrib/cmake/src/tactic/CMakeLists.txt diff --git a/src/tactic/aig/CMakeLists.txt b/contrib/cmake/src/tactic/aig/CMakeLists.txt similarity index 100% rename from src/tactic/aig/CMakeLists.txt rename to contrib/cmake/src/tactic/aig/CMakeLists.txt diff --git a/src/tactic/arith/CMakeLists.txt b/contrib/cmake/src/tactic/arith/CMakeLists.txt similarity index 100% rename from src/tactic/arith/CMakeLists.txt rename to contrib/cmake/src/tactic/arith/CMakeLists.txt diff --git a/src/tactic/bv/CMakeLists.txt b/contrib/cmake/src/tactic/bv/CMakeLists.txt similarity index 100% rename from src/tactic/bv/CMakeLists.txt rename to contrib/cmake/src/tactic/bv/CMakeLists.txt diff --git a/src/tactic/core/CMakeLists.txt b/contrib/cmake/src/tactic/core/CMakeLists.txt similarity index 100% rename from src/tactic/core/CMakeLists.txt rename to contrib/cmake/src/tactic/core/CMakeLists.txt diff --git a/src/tactic/fpa/CMakeLists.txt b/contrib/cmake/src/tactic/fpa/CMakeLists.txt similarity index 100% rename from src/tactic/fpa/CMakeLists.txt rename to contrib/cmake/src/tactic/fpa/CMakeLists.txt diff --git a/src/tactic/nlsat_smt/CMakeLists.txt b/contrib/cmake/src/tactic/nlsat_smt/CMakeLists.txt similarity index 100% rename from src/tactic/nlsat_smt/CMakeLists.txt rename to contrib/cmake/src/tactic/nlsat_smt/CMakeLists.txt diff --git a/src/tactic/portfolio/CMakeLists.txt b/contrib/cmake/src/tactic/portfolio/CMakeLists.txt similarity index 100% rename from src/tactic/portfolio/CMakeLists.txt rename to contrib/cmake/src/tactic/portfolio/CMakeLists.txt diff --git a/src/tactic/sls/CMakeLists.txt b/contrib/cmake/src/tactic/sls/CMakeLists.txt similarity index 100% rename from src/tactic/sls/CMakeLists.txt rename to contrib/cmake/src/tactic/sls/CMakeLists.txt diff --git a/src/tactic/smtlogics/CMakeLists.txt b/contrib/cmake/src/tactic/smtlogics/CMakeLists.txt similarity index 100% rename from src/tactic/smtlogics/CMakeLists.txt rename to contrib/cmake/src/tactic/smtlogics/CMakeLists.txt diff --git a/src/tactic/ufbv/CMakeLists.txt b/contrib/cmake/src/tactic/ufbv/CMakeLists.txt similarity index 100% rename from src/tactic/ufbv/CMakeLists.txt rename to contrib/cmake/src/tactic/ufbv/CMakeLists.txt diff --git a/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt similarity index 100% rename from src/test/CMakeLists.txt rename to contrib/cmake/src/test/CMakeLists.txt diff --git a/src/test/fuzzing/CMakeLists.txt b/contrib/cmake/src/test/fuzzing/CMakeLists.txt similarity index 100% rename from src/test/fuzzing/CMakeLists.txt rename to contrib/cmake/src/test/fuzzing/CMakeLists.txt diff --git a/src/util/CMakeLists.txt b/contrib/cmake/src/util/CMakeLists.txt similarity index 100% rename from src/util/CMakeLists.txt rename to contrib/cmake/src/util/CMakeLists.txt