Johannes Kanig 98b5fb70e8 V524-042 fix windows build of cvc5 ...

This checking code fails during configure (and sets GMP status to
"not found"), but GMP actually works fine. Removing that checking
code.

Change-Id: I13b42fc51e0a7ff30583f93b7700f3b6b7f3d4d0

2022-05-25 08:30:31 +09:00

..

deps-utils

Add cross-compilation for arm64 on macOS (#8758)

2022-05-21 22:14:45 +00:00

CMakeGraphVizOptions.cmake.in

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

CodeCoverage.cmake

Produce intermediate json output for coverage (#8252)

2022-03-08 23:19:36 +00:00

ConfigCompetition.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

ConfigDebug.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

ConfigProduction.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

ConfigTesting.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

ConfigureCvc5.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

cvc5Config.cmake.in

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

deps-helper.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindANTLR3.cmake

Merging CVC5 main into AdaCore master

2022-05-23 10:22:47 +09:00

FindCaDiCaL.cmake

Merging CVC5 main into AdaCore master

2022-05-23 10:22:47 +09:00

FindCLN.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindCoCoA.cmake

Update CoCoALib version (#8757)

2022-05-13 01:15:27 +00:00

FindCryptoMiniSat.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindCVC5PythonicAPI.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindDrat2Er.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindDummy.cmake.template

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindEditline.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindGLPK.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindGMP.cmake

V524-042 fix windows build of cvc5

2022-05-25 08:30:31 +09:00

FindGTest.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindHamcrest.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindJUnit.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindKissat.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindLFSC.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindPoly.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindSphinx.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FindSymFPU.cmake

V411-001 improve compilation on windows

2022-04-11 16:12:30 +09:00

FindValgrind.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

fuzzing-murxla.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Helpers.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

IWYU.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

target-graphs.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Toolchain-aarch64.cmake

Add cross-compilation for arm64 on macOS (#8758)

2022-05-21 22:14:45 +00:00

Toolchain-mingw64.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

version-base.cmake

Start post-release for 1.0.0

2022-04-05 16:56:20 -07:00

version-base.cmake.template

Simpler versioning if release flag is set (#7758)

2021-12-07 23:26:52 +00:00

version.cmake

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00