camlp5: update to 7.12.
This commit is contained in:
parent
14ed9e6677
commit
bd07ea9ed5
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
|||
# Template file for 'camlp5'
|
||||
pkgname=camlp5
|
||||
version=7.11
|
||||
version=7.12
|
||||
revision=1
|
||||
build_style=configure
|
||||
configure_args="-mandir /usr/share/man"
|
||||
|
@ -13,7 +13,7 @@ distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.ta
|
|||
wrksrc="camlp5-rel${version//./}"
|
||||
nocross=yes
|
||||
nopie=yes
|
||||
checksum=a048b8e0feb2a1058187824fc9cb6b55f2c5b788c43c15d6db090d789c7121ba
|
||||
checksum=fc4b50b9d917c2f844b909bdfd55735f3f658e32a415f0decc1c265bf3af42be
|
||||
|
||||
post_install() {
|
||||
vinstall etc/META 0644 usr/lib/ocaml/camlp5
|
||||
|
|
Loading…
Reference in a new issue