mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-13 18:43:51 +02:00
camlp5: update to 7.04.
This commit is contained in:
parent
6cc5beebb3
commit
1f573f73eb
1 changed files with 3 additions and 3 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'camlp5'
|
# Template file for 'camlp5'
|
||||||
pkgname=camlp5
|
pkgname=camlp5
|
||||||
version=7.03
|
version=7.04
|
||||||
revision=2
|
revision=1
|
||||||
build_style=configure
|
build_style=configure
|
||||||
configure_args="-mandir /usr/share/man"
|
configure_args="-mandir /usr/share/man"
|
||||||
hostmakedepends="ocaml"
|
hostmakedepends="ocaml"
|
||||||
|
@ -13,7 +13,7 @@ distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.ta
|
||||||
wrksrc="camlp5-rel${version//./}"
|
wrksrc="camlp5-rel${version//./}"
|
||||||
nocross=yes
|
nocross=yes
|
||||||
nopie=yes
|
nopie=yes
|
||||||
checksum=c13d0a957a8e70627e1900ca25243b5e8da042bbda9eaa9e7d06955c0e3df21a
|
checksum=4d28171121db1ea6f54d409cf959aa4d4359c13b957eb5a14e4fe37cc58243a8
|
||||||
|
|
||||||
post_install() {
|
post_install() {
|
||||||
vlicense LICENSE
|
vlicense LICENSE
|
||||||
|
|
Loading…
Add table
Reference in a new issue