diff options
Diffstat (limited to 'cmake')
30 files changed, 390 insertions, 274 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in index 20ffeb71e..c85973a6a 100644 --- a/cmake/CVC4Config.cmake.in +++ b/cmake/CVC4Config.cmake.in @@ -1,13 +1,16 @@ -##################### -## CVC4Config.cmake.in -## Top contributors (to current version): -## Mathias Preiner, Andres Noetzli -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Mudathir Mohamed, Mathias Preiner, Andres Noetzli +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + @PACKAGE_INIT@ set(CVC5_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake index 6e87902e1..615371915 100644 --- a/cmake/ConfigCompetition.cmake +++ b/cmake/ConfigCompetition.cmake @@ -1,13 +1,16 @@ -##################### -## ConfigCompetition.cmake -## Top contributors (to current version): -## Aina Niemetz, Andres Noetzli, Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Aina Niemetz, Andres Noetzli, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + add_definitions(-DCVC5_COMPETITION_MODE) add_check_c_cxx_flag("-funroll-all-loops") add_check_c_cxx_flag("-fexpensive-optimizations") diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake index 1493d1fb2..d89104bb4 100644 --- a/cmake/ConfigDebug.cmake +++ b/cmake/ConfigDebug.cmake @@ -1,13 +1,16 @@ -##################### -## ConfigDebug.cmake -## Top contributors (to current version): -## Aina Niemetz -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Aina Niemetz, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + add_definitions(-DCVC5_DEBUG) add_check_c_cxx_flag("-fno-inline") set(OPTIMIZATION_LEVEL "g") diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake index 0509d0bce..b33d42a01 100644 --- a/cmake/ConfigProduction.cmake +++ b/cmake/ConfigProduction.cmake @@ -1,13 +1,16 @@ -##################### -## ConfigProduction.cmake -## Top contributors (to current version): -## Aina Niemetz -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Aina Niemetz +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + # OPTLEVEL=3 set(OPTIMIZATION_LEVEL 3) # enable_debug_symbols=no diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake index a0cef8d25..56086e6a0 100644 --- a/cmake/ConfigTesting.cmake +++ b/cmake/ConfigTesting.cmake @@ -1,13 +1,16 @@ -##################### -## ConfigTesting.cmake -## Top contributors (to current version): -## Aina Niemetz, Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Aina Niemetz, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + # OPTLEVEL=2 set(OPTIMIZATION_LEVEL 2) # enable_debug_symbols=yes diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index 677712d92..009e9969b 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -1,13 +1,16 @@ -##################### -## ConfigureCVC4.cmake -## Top contributors (to current version): -## Mathias Preiner, Gereon Kremer, Makai Mann -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Mathias Preiner, Gereon Kremer, Makai Mann +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + include(CheckCXXSourceCompiles) include(CheckIncludeFile) include(CheckIncludeFileCXX) diff --git a/cmake/FindABC.cmake b/cmake/FindABC.cmake index 0c4532bd7..4e3b7a397 100644 --- a/cmake/FindABC.cmake +++ b/cmake/FindABC.cmake @@ -1,18 +1,21 @@ -##################### -## FindABC.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find ABC # ABC_FOUND - system has ABC lib # ABC_INCLUDE_DIR - the ABC include directory # ABC_LIBRARIES - Libraries needed to use ABC # ABC_ARCH_FLAGS - Platform specific compile flags +## # Note: contrib/get-abc copies header files to deps/install/include/abc. # However, includes in ABC headers are not prefixed with "abc/" and therefore diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake index 76e5253fe..4f760f57d 100644 --- a/cmake/FindANTLR3.cmake +++ b/cmake/FindANTLR3.cmake @@ -1,17 +1,20 @@ -##################### -## FindANTLR3.cmake -## Top contributors (to current version): -## Gereon Kremer, Mathias Preiner, Aina Niemetz -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Andrew V. Jones +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find ANTLR3 # ANTLR3_FOUND - should always be true # ANTLR3 - target for the ANTLR3 runtime # ANTLR3_COMMAND - command line to run ANTLR3 +## include(deps-helper) diff --git a/cmake/FindCLN.cmake b/cmake/FindCLN.cmake index 25ca903af..2736fd59b 100644 --- a/cmake/FindCLN.cmake +++ b/cmake/FindCLN.cmake @@ -1,17 +1,20 @@ -##################### -## FindCLN.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find CLN # CLN_FOUND - system has CLN lib # CLN_INCLUDE_DIR - the CLN include directory # CLN_LIBRARIES - Libraries needed to use CLN +## include(deps-helper) diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index 40a048faa..2d7232527 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -1,17 +1,20 @@ -##################### -## FindCaDiCaL.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find CaDiCaL # CaDiCaL_FOUND - system has CaDiCaL lib # CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory # CaDiCaL_LIBRARIES - Libraries needed to use CaDiCaL +## include(deps-helper) diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake index 92b351ef2..0e9d35523 100644 --- a/cmake/FindCryptoMiniSat.cmake +++ b/cmake/FindCryptoMiniSat.cmake @@ -1,17 +1,20 @@ -##################### -## FindCryptoMiniSat.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find CryptoMiniSat # CryptoMiniSat_FOUND - system has CryptoMiniSat lib # CryptoMiniSat_INCLUDE_DIR - the CryptoMiniSat include directory # CryptoMiniSat_LIBRARIES - Libraries needed to use CryptoMiniSat +## include(deps-helper) diff --git a/cmake/FindDrat2Er.cmake b/cmake/FindDrat2Er.cmake index d82b4d3a7..daa0ec6a5 100644 --- a/cmake/FindDrat2Er.cmake +++ b/cmake/FindDrat2Er.cmake @@ -1,17 +1,20 @@ -##################### -## FindDrat2Er.cmake -## Top contributors (to current version): -## Alex Ozdemir, Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Alex Ozdemir, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find drat2er # Drat2Er_FOUND - system has Drat2Er lib # Drat2Er_INCLUDE_DIR - the Drat2Er include directory # Drat2Er_LIBRARIES - Libraries needed to use Drat2Er +## find_path(Drat2Er_INCLUDE_DIR NAMES drat2er.h) find_library(Drat2Er_LIBRARIES NAMES libdrat2er.a) diff --git a/cmake/FindDummy.cmake.template b/cmake/FindDummy.cmake.template index f339e4f04..a9d75bc9a 100644 --- a/cmake/FindDummy.cmake.template +++ b/cmake/FindDummy.cmake.template @@ -1,15 +1,16 @@ -##################### -## FindDummy.cmake -## Top contributors (to current version): -## Gereon Kremer -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## -# This file serves as a template for how the FindX.cmake scripts should -# work. +############################################################################### +# Top contributors (to current version): +# Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# +# This file serves as a template for how the FindX.cmake scripts should work. # # Find Dummy library # Exported variables: @@ -17,6 +18,7 @@ # Dummy_FOUND_SYSTEM - we use the system version # Exported targets: # Dummy - an imported library target +## # provides some utility definitions include(deps-helper) diff --git a/cmake/FindEditline.cmake b/cmake/FindEditline.cmake index f6504d0d8..4fa2f892b 100644 --- a/cmake/FindEditline.cmake +++ b/cmake/FindEditline.cmake @@ -1,19 +1,22 @@ -##################### -## FindEditline.cmake -## Top contributors (to current version): -## Andrew V. Jones, Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Andrew V. Jones, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find Editline # Editline_FOUND - found Editline lib # Editline_INCLUDE_DIRS - the Editline include directory # Editline_LIBRARIES - Libraries needed to use Editline # Editline_COMPENTRY_FUNC_RETURNS_CHARPTR - Indicates if compentry function # returns a (char *) +## # When finding libedit, use pkg-config to ensure we find all the required # linking flags for libedit diff --git a/cmake/FindGLPK.cmake b/cmake/FindGLPK.cmake index 126e5e6f1..7489a7ac3 100644 --- a/cmake/FindGLPK.cmake +++ b/cmake/FindGLPK.cmake @@ -1,17 +1,20 @@ -##################### -## FindGLPK.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find GLPK-cut-log # GLPK_FOUND - system has GLPK lib # GLPK_INCLUDE_DIR - the GLPK include directory # GLPK_LIBRARIES - Libraries needed to use GLPK +## find_path(GLPK_INCLUDE_DIR NAMES glpk.h) diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 59262593d..6596e4245 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -1,16 +1,19 @@ -##################### -## FindGMP.cmake -## Top contributors (to current version): -## Aina Niemetz, Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find GMP # GMP_FOUND - should always be true # GMP - target for the GMP library +## include(deps-helper) diff --git a/cmake/FindGTest.cmake b/cmake/FindGTest.cmake index 401f6d9a3..9a758602e 100644 --- a/cmake/FindGTest.cmake +++ b/cmake/FindGTest.cmake @@ -1,15 +1,17 @@ -##################### -## FindGTest.cmake -## Top contributors (to current version): -## Gereon Kremer -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# # # Find GTest +## include(deps-helper) diff --git a/cmake/FindHamcrest.cmake b/cmake/FindHamcrest.cmake index b0f894fa5..a2ed92796 100644 --- a/cmake/FindHamcrest.cmake +++ b/cmake/FindHamcrest.cmake @@ -1,16 +1,19 @@ -##################### -## FindHamcrest.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find Hamcrest # Hamcrest_FOUND - system has Hamcrest lib # Hamcrest_JAR - the Hamcrest jar file +## find_package(Java REQUIRED) include(UseJava) diff --git a/cmake/FindJUnit.cmake b/cmake/FindJUnit.cmake index f3da2f9c0..caa2c3eb9 100644 --- a/cmake/FindJUnit.cmake +++ b/cmake/FindJUnit.cmake @@ -1,17 +1,20 @@ -##################### -## FindJUnit.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find JUnit # JUnit_FOUND - system has JUnit lib # JUnit_JAR - JUnit jar file # JUnit_JAR_DEPS - JUnit jar dependencies +## find_package(Java REQUIRED) include(UseJava) diff --git a/cmake/FindKissat.cmake b/cmake/FindKissat.cmake index f469f0197..d220e299f 100644 --- a/cmake/FindKissat.cmake +++ b/cmake/FindKissat.cmake @@ -1,17 +1,20 @@ -##################### -## FindKissat.cmake -## Top contributors (to current version): -## Aina Niemetz -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Aina Niemetz +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find Kissat # Kissat_FOUND - found Kissat lib # Kissat_INCLUDE_DIR - the Kissat include directory # Kissat_LIBRARIES - Libraries needed to use Kissat +## include(deps-helper) diff --git a/cmake/FindLFSC.cmake b/cmake/FindLFSC.cmake index 03b96d186..cad90df45 100644 --- a/cmake/FindLFSC.cmake +++ b/cmake/FindLFSC.cmake @@ -1,17 +1,20 @@ -##################### -## FindLFSC.cmake -## Top contributors (to current version): -## Mathias Preiner, Andres Noetzli -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner, Andres Noetzli +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find LFSC # LFSC_FOUND - system has LFSC lib # LFSC_INCLUDE_DIR - the LFSC include directory # LFSC_LIBRARIES - Libraries needed to use LFSC +## find_program(LFSC_BINARY NAMES lfscc diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 1bbb9fa65..f793c0c0a 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -1,17 +1,20 @@ -##################### -## FindPoly.cmake -## Top contributors (to current version): -## Gereon Kremer -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find LibPoly # Poly_FOUND - should always be true # Poly - target for the libpoly library # Polyxx - target for the C++ interface of libpoly, also links Poly +## include(deps-helper) diff --git a/cmake/FindSphinx.cmake b/cmake/FindSphinx.cmake index cc71d15bb..c0521eb44 100644 --- a/cmake/FindSphinx.cmake +++ b/cmake/FindSphinx.cmake @@ -1,4 +1,17 @@ +############################################################################### +# Top contributors (to current version): +# Aina Niemetz +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find Sphinx +## find_program(SPHINX_EXECUTABLE NAMES sphinx-build diff --git a/cmake/FindSymFPU.cmake b/cmake/FindSymFPU.cmake index 0a1d41c1a..47f205961 100644 --- a/cmake/FindSymFPU.cmake +++ b/cmake/FindSymFPU.cmake @@ -1,16 +1,19 @@ -##################### -## FindSymFPU.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Gereon Kremer, Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find SymFPU # SymFPU_FOUND - should always be true # SymFPU - interface target for the SymFPU headers +## find_path(SymFPU_INCLUDE_DIR NAMES symfpu/core/unpackedFloat.h) diff --git a/cmake/FindValgrind.cmake b/cmake/FindValgrind.cmake index b7c6b0233..590509761 100644 --- a/cmake/FindValgrind.cmake +++ b/cmake/FindValgrind.cmake @@ -1,19 +1,22 @@ -##################### -## FindValgrind.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Find Valgrind # Valgrind_FOUND - system has Valgrind lib # Valgrind_INCLUDE_DIR - the Valgrind include directory # # Note: We only require the valgrind/memcheck.h header, so we don't check if # the valgrind executable is installed. +## find_path(Valgrind_INCLUDE_DIR NAMES valgrind/memcheck.h) diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index 9d668843e..2a94839e2 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -1,13 +1,16 @@ -##################### -## Helpers.cmake -## Top contributors (to current version): -## Mathias Preiner, Aina Niemetz, Andres Noetzli -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Mathias Preiner, Aina Niemetz, Andres Noetzli +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# ## + include(CheckCCompilerFlag) include(CheckCXXCompilerFlag) diff --git a/cmake/IWYU.cmake b/cmake/IWYU.cmake index 40176d08c..5eb9271c9 100644 --- a/cmake/IWYU.cmake +++ b/cmake/IWYU.cmake @@ -1,13 +1,20 @@ -##################### -## IWYU.cmake -## Top contributors (to current version): -## Gereon Kremer -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. +############################################################################### +# Top contributors (to current version): +# Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# +# Checks if include-what-you-use is available. +# If so, create appropriate targets to run it on the whole code base or +# individual folders. ## + find_program(IWYU_PATH NAMES iwyu_tool iwyu-tool) if(IWYU_PATH) diff --git a/cmake/Toolchain-aarch64.cmake b/cmake/Toolchain-aarch64.cmake index 1d3f14443..62436a38f 100644 --- a/cmake/Toolchain-aarch64.cmake +++ b/cmake/Toolchain-aarch64.cmake @@ -1,16 +1,19 @@ -##################### -## Toolchain-aarch64.cmake -## Top contributors (to current version): -## Mathias Preiner -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Toolchain file for building for ARM on Ubuntu host. # # Use: cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-aarch64.cmake +## SET(CMAKE_SYSTEM_NAME Linux) SET(CMAKE_SYSTEM_PROCESSOR arm) diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake index 64318b59c..5196b7c34 100644 --- a/cmake/Toolchain-mingw64.cmake +++ b/cmake/Toolchain-mingw64.cmake @@ -1,16 +1,19 @@ -##################### -## Toolchain-mingw64.cmake -## Top contributors (to current version): -## Mathias Preiner, Gereon Kremer -## This file is part of the CVC4 project. -## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS -## in the top-level source directory and their institutional affiliations. -## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information. -## +############################################################################### +# Top contributors (to current version): +# Mathias Preiner, Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# # Toolchain file for building for Windows from Ubuntu. # # Use: cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-mingw64.cmake +## SET(CMAKE_SYSTEM_NAME Windows) diff --git a/cmake/deps-helper.cmake b/cmake/deps-helper.cmake index 4de54e9ea..f0be2617c 100644 --- a/cmake/deps-helper.cmake +++ b/cmake/deps-helper.cmake @@ -1,3 +1,20 @@ +############################################################################### +# Top contributors (to current version): +# Gereon Kremer +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +# +# Defines some initial setup for building the dependencies (paths and default +# options for external projects) and some helper functions and macros that are +# used in the custom FindX.cmake scripts. +## + # where to build dependencies set(DEPS_PREFIX "${CMAKE_BINARY_DIR}/deps") # base path to installed dependencies |