# Generated by makepkg 5.2.2
# Tue Feb  9 21:10:23 UTC 2021
pkgbase = cvc4
	pkgdesc = An automatic theorem prover
	pkgver = 1.8
	pkgrel = 2
	url = https://cvc4.github.io/
	arch = x86_64
	license = GPL
	license = BSD
	license = MIT
	license = custom:HPND
	makedepends = boost
	makedepends = cmake
	makedepends = java-runtime
	makedepends = python-toml
	depends = boost-libs
	depends = libantlr3c
	depends = cln
	optdepends = readline: for an improved interaction support
	noextract = antlr-3.4-complete.jar
	source = https://github.com/CVC4/CVC4/archive/1.8/cvc4-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 = 19e318a62f0a6dfeea4db5225b150550f1e7afcf42a3547bad1ff2030aca7a7713fe29e7059f2dc391eaa18b0cd4183f99ab2dca5008979cb8881b46b8dc01f2
	sha512sums = 04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2
	sha512sums = f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10
	sha512sums = ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783

pkgname = cvc4

