# Maintainer: Celeste <cielesti@protonmail.com>
maintainer="Celeste <cielesti@protonmail.com>"
pkgname=ats2
pkgver=0.4.2
pkgrel=0
pkgdesc="Statically-typed language with formal specification features"
url="https://www.cs.bu.edu/~hwxi/atslangweb/"
arch="all"
license="GPL-3.0-or-later AND LGPL-3.0-or-later"
makedepends="gmp-dev"
source="https://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-$pkgver.tgz
	prelude-function-prototypes.patch
	"
builddir="$srcdir/ATS2-Postiats-gmp-$pkgver"
options="!check" # no test suite

build() {
	./configure \
		--build=$CBUILD \
		--host=$CHOST \
		--prefix=/usr \
		--sysconfdir=/etc \
		--mandir=/usr/share/man \
		--localstatedir=/var
	make -j1 CC="$CC" CCOMP="$CC"
}

package() {
	make -j1 DESTDIR="$pkgdir" install
	find "$pkgdir" \( -name .gitkeep -o -name .keeper \) -delete
}

sha512sums="
cfc3f15b1365badcdce535afc7e71ffe25471f2661bdc47294b77c917049566eee4eeb8ec373f4121ad474b8528263d7b3ff8627c1f5b7f3ea7475cb95ca7597  ATS2-Postiats-gmp-0.4.2.tgz
47a2df185d7579868d2c84b071821d376fa82c1c696d784ed671efc45f0643526d7139c9697c3477c0442f9b4203711c0a29936e256a8ba4a2e6cda4612059e7  prelude-function-prototypes.patch
"
