camlp5: update to 7.05.
Closes #13590. Signed-off-by: Enno Boland <gottox@voidlinux.eu>
This commit is contained in:
parent
120dd2f7e7
commit
76903536d4
2 changed files with 5 additions and 3 deletions
|
@ -1,19 +1,19 @@
|
||||||
# Template file for 'camlp5'
|
# Template file for 'camlp5'
|
||||||
pkgname=camlp5
|
pkgname=camlp5
|
||||||
version=7.04
|
version=7.05
|
||||||
revision=1
|
revision=1
|
||||||
build_style=configure
|
build_style=configure
|
||||||
configure_args="-mandir /usr/share/man"
|
configure_args="-mandir /usr/share/man"
|
||||||
hostmakedepends="ocaml"
|
hostmakedepends="ocaml"
|
||||||
short_desc="OCaml preprocessor and pretty-printer"
|
short_desc="OCaml preprocessor and pretty-printer"
|
||||||
maintainer="Némo Fournier <nemo@epicea.xyz>"
|
maintainer="Némo Fournier <nemo@epicea.xyz>"
|
||||||
license="BSD"
|
license="BSD-3-Clause"
|
||||||
homepage="https://camlp5.github.io/"
|
homepage="https://camlp5.github.io/"
|
||||||
distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.tar.gz"
|
distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.tar.gz"
|
||||||
wrksrc="camlp5-rel${version//./}"
|
wrksrc="camlp5-rel${version//./}"
|
||||||
nocross=yes
|
nocross=yes
|
||||||
nopie=yes
|
nopie=yes
|
||||||
checksum=4d28171121db1ea6f54d409cf959aa4d4359c13b957eb5a14e4fe37cc58243a8
|
checksum=ccc7afd2936c75cbee4aad58cd2ef8e7bf0dded556b91d76e4e462a27550ff12
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
vlicense LICENSE
|
vlicense LICENSE
|
||||||
|
|
2
srcpkgs/camlp5/update
Normal file
2
srcpkgs/camlp5/update
Normal file
|
@ -0,0 +1,2 @@
|
||||||
|
pattern='/archive/(v?|\Q'"$pkgname"'\E-|rel)?\K[\d\.]+(?=\.tar\.gz")'
|
||||||
|
version="${version//./}"
|
Loading…
Reference in a new issue