# Contributor: rubicon <rubicon@mailo.com>
# Maintainer: Celeste <cielesti@protonmail.com>
maintainer="Celeste <cielesti@protonmail.com>"
pkgname=picat
pkgver=3.8.7
pkgrel=0
_pkgver="${pkgver//./}"
_pkgver="${_pkgver/_beta/b}"
pkgdesc="Logic-based multi-paradigm programming language"
url="https://picat-lang.org/"
arch="all"
license="MPL-2.0"
subpackages="$pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://picat-lang.org/download/picat${_pkgver}_src.tar.gz
	fix-fileno-usage.patch
	use-time_t.patch
	"
builddir="$srcdir/Picat/emu"

build() {
	make -f Makefile.linux64
}

check() {
	./picat --version
}

package() {
	local extdir="$srcdir"/Picat

	install -Dvm755 picat -t "$pkgdir"/usr/bin/

	install -Dvm644 "$extdir"/lib/* \
		-t "$pkgdir"/usr/lib/$pkgname

	install -Dvm644 "$extdir"/README \
		"$extdir"/LICENSE "$extdir"/doc/* \
		-t "$pkgdir"/usr/share/doc/$pkgname

	cp -va "$extdir"/exs \
		"$pkgdir"/usr/share/doc/$pkgname/examples
}

sha512sums="
fc79b4e468912f4610071057d5642a1e43f2b6ffdb8a4570d48211b0e187c68d017e36e03bf73cd6088115baacbc1a928889b82e4f181950795d2f720170e8f7  picat-3.8.7.tar.gz
96c779141e1dce7045f582b28711eb1d743dc1e074fcd172e266b715010741c5e3153e4a786cce9b6fefb07c85a4bb68baee25c81c191357ff2753900ad72c0f  fix-fileno-usage.patch
e030ffd5014d99b76d215f6d18c5136f3330eefb623253ee41b0f4122323050fd3b0ae5e300d04162dc4d6f6f27907bb78f703ff382d7a56f4c55e74f1c6b573  use-time_t.patch
"
