mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-06 23:23:51 +02:00
coccinelle: disabling safe-string is not needed.
This commit is contained in:
parent
efc4ca5672
commit
421f13b8f6
1 changed files with 1 additions and 3 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'coccinelle'
|
# Template file for 'coccinelle'
|
||||||
pkgname=coccinelle
|
pkgname=coccinelle
|
||||||
version=1.0.8
|
version=1.0.8
|
||||||
revision=4
|
revision=5
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--without-pdflatex --enable-release
|
configure_args="--without-pdflatex --enable-release
|
||||||
--with-python=/usr/bin/python3"
|
--with-python=/usr/bin/python3"
|
||||||
|
@ -13,8 +13,6 @@ license="GPL-2.0-only"
|
||||||
homepage="http://coccinelle.lip6.fr/"
|
homepage="http://coccinelle.lip6.fr/"
|
||||||
distfiles="https://github.com/coccinelle/coccinelle/archive/${version}.tar.gz"
|
distfiles="https://github.com/coccinelle/coccinelle/archive/${version}.tar.gz"
|
||||||
checksum=9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f
|
checksum=9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f
|
||||||
|
|
||||||
export OCAMLPARAM="safe-string=0,_"
|
|
||||||
disable_parallel_build=yes
|
disable_parallel_build=yes
|
||||||
nocross=yes
|
nocross=yes
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue