manuel/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

scryer-prolog: update to 0.9.1

Browse Source
This commit is contained in:
cinerea0 2023-06-24 11:56:07 -04:00 committed by classabbyamp
parent a0484225a0
commit 8c649d8674
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
srcpkgs/scryer-prolog/template
View File

@ -1,28 +1,25 @@
# Template file for 'scryer-prolog'
pkgname=scryer-prolog
version=0.8.123
revision=3
version=0.9.1
revision=1
build_style=cargo
hostmakedepends="m4 pkg-config"
makedepends="gmp-devel mpfr-devel libmpc-devel"
makedepends="gmp-devel libmpc-devel libsodium-devel mpfr-devel openssl-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"
distfiles="https://github.com/mthom/scryer-prolog/archive/refs/tags/v${version}.tar.gz"
checksum=e69109af51f81568cec1137842cd438cb675f9fb966ba90b6a4ee85b469cd37d
nocross="executes gmp header https://gitlab.com/tspiteri/gmp-mpfr-sys/-/blob/v1.5.3/build.rs#L1309"
export CARGO_FEATURE_USE_SYSTEM_LIBS=1
case "$XBPS_TARGET_MACHINE" in
x86_64*|i686*|arm*|aarch64*) ;;
x86_64*|aarch64*) ;;
i686*|arm*) broken="upstream dropped 32 bit support" ;;
*) broken="ftbfs in ring" ;;
esac
post_patch() {
cargo update --package lexical-core:0.4.6 --precise 0.4.8
}
post_install() {
vlicense LICENSE
}