# Contributor: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
# Maintainer: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
pkgname=scryer-prolog
pkgver=0.9.1
pkgrel=1
pkgdesc="Modern Prolog implementation written in Rust"
url="https://github.com/mthom/scryer-prolog"
# s390x, riscv64: rust
# ppc64le: rust-ring
# 32-bit: unsupported
arch="aarch64 x86_64"
license="BSD-3-Clause"
makedepends="
	cargo
	cargo-auditable
	gmp-dev
	libsodium-dev
	m4
	mpc1-dev
	mpfr-dev
	openssl-dev>3
	rustfmt
	"
source="$pkgname-$pkgver.tar.gz::https://github.com/mthom/scryer-prolog/archive/refs/tags/v$pkgver.tar.gz"

# system libs
export OPENSSL_NO_VENDOR=1
export CARGO_FEATURE_USE_SYSTEM_LIBS=1
export SODIUM_USE_PKG_CONFIG=1


prepare() {
	default_prepare

	cargo fetch --target="$CTARGET" --locked
}

build() {
	cargo auditable build --release --frozen
}

check() {
	cargo test --frozen
}

package() {
	install -Dm755 target/release/scryer-prolog -t "$pkgdir"/usr/bin
}

sha512sums="
e702f9b3e0ae7b697138bb64bd719ba6933b52ec67857dc7c368d2e8e1b108d3a2b03d5e1b7a29d28f7007b9111d1fe9dce7931c0ce9a785327331594de9b3fd  scryer-prolog-0.9.1.tar.gz
"