polygen: disabling safe-string is not needed.

This commit is contained in:
Leah Neukirchen 2020-11-18 16:23:25 +01:00
parent 421f13b8f6
commit 9abef6bd6e

View file

@ -1,18 +1,17 @@
# Template file for 'polygen' # Template file for 'polygen'
pkgname=polygen pkgname=polygen
version=1.0.6.ds2 version=1.0.6.ds2
revision=7 revision=8
build_style=gnu-makefile
build_wrksrc="src" build_wrksrc="src"
build_style=gnu-makefile
hostmakedepends="ocaml unzip" hostmakedepends="ocaml unzip"
short_desc="Generative grammar phrase generator" short_desc="Generative grammar phrase generator"
maintainer="Andrea Brancaleoni <abc@pompel.me>" maintainer="Andrea Brancaleoni <abc@pompel.me>"
license="GPL-2" license="GPL-2.0-or-later"
homepage="http://www.polygen.org" homepage="http://www.polygen.org"
distfiles="${DEBIAN_SITE}/main/p/${pkgname}/${pkgname}_${version}.orig.tar.gz" distfiles="${DEBIAN_SITE}/main/p/${pkgname}/${pkgname}_${version}.orig.tar.gz"
checksum=60dbcec8aedcbb2545202ad97d41e592f232b8fc842ea25a7998c88a385148d5 checksum=60dbcec8aedcbb2545202ad97d41e592f232b8fc842ea25a7998c88a385148d5
nocross=yes nocross=yes
export OCAMLPARAM="safe-string=0,_"
do_check() { do_check() {
: :
@ -21,6 +20,5 @@ do_install() {
vbin polygen vbin polygen
cd ${wrksrc} cd ${wrksrc}
vlicense License
vcopy grm usr/share/${pkgname} vcopy grm usr/share/${pkgname}
} }