# Template file for 'scryer-prolog'
pkgname=scryer-prolog
version=0.8.123
revision=2
build_style=cargo
hostmakedepends="m4 pkg-config"
makedepends="gmp-devel mpfr-devel libmpc-devel"
short_desc="Modern Prolog implementation written mostly in Rust"
maintainer="Hans-J. Schmid <knock@myopendoor.de>"
license="BSD-3-Clause"
homepage="https://github.com/mthom/scryer-prolog"
distfiles="https://github.com/mthom/scryer-prolog/archive/v${version}.tar.gz"
checksum=4370bc2200e3e56d411326801219bc5fc37a422febdb6cd3548ed3f65b5a44aa
nocross="executes gmp header https://gitlab.com/tspiteri/gmp-mpfr-sys/-/blob/v1.2.2/build.rs#L1278"
export CARGO_FEATURE_USE_SYSTEM_LIBS=1

case "$XBPS_TARGET_MACHINE" in
	x86_64*|i686*|arm*|aarch64*) ;;
	*) broken="ftbfs in ring" ;;
esac

post_install() {
	vlicense LICENSE
}