# Generated by makepkg 6.0.2
# Fri Sep  1 19:43:12 UTC 2023
pkgbase = cvc4
	pkgdesc = An automatic theorem prover
	pkgver = 1.8
	pkgrel = 3
	url = https://cvc5.github.io/
	arch = x86_64
	license = GPL
	license = BSD
	license = MIT
	license = custom:HPND
	makedepends = cmake
	makedepends = java-runtime
	makedepends = python-toml
	depends = libantlr3c
	depends = cln
	optdepends = readline: for an improved interaction support
	noextract = antlr-3.4-complete.jar
	source = https://github.com/cvc5/cvc5/archive/1.8/cvc5-1.8.tar.gz
	source = https://www.antlr3.org/download/antlr-3.4-complete.jar
	source = cvc4-fix-headers.patch
	source = cvc4-gcc7.patch
	sha512sums = ae7be9856c22f430bffdf686dca3351372537a3887ccb36cc739312fd175686f76bc3783882d0c03c69cbbf039dcb4f561aa53a539dcb885bab981c1dbdd8c41
	sha512sums = 04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2
	sha512sums = f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10
	sha512sums = ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783

pkgname = cvc4
