vasilito
637da791ff
recipes/dev/gcc13 was claiming name='cxx' — conflicted with local/recipes/dev/gcc-native also claiming 'cxx'. Renamed to match directory names for unique package identification by the cookbook.
20 lines
383 B
TOML
20 lines
383 B
TOML
[package]
|
|
name = "cvc5"
|
|
version = "1.3.2"
|
|
|
|
#TODO not compiled or tested
|
|
#TODO run configure.sh or cmake directly?
|
|
# build instructions: https://github.com/cvc5/cvc5/blob/main/INSTALL.rst
|
|
[source]
|
|
git = "https://github.com/cvc5/cvc5"
|
|
rev = "cvc5-1.3.2"
|
|
shallow_clone = true
|
|
[build]
|
|
template = "cmake"
|
|
cmakeflags = [
|
|
"-DENABLE_AUTO_DOWNLOAD=ON",
|
|
]
|
|
dependencies = [
|
|
"libgmp",
|
|
]
|