diff --git a/srcpkgs/polygen/patches/ocaml-4.05.patch b/srcpkgs/polygen/patches/ocaml-4.05.patch new file mode 100644 index 00000000000..8703d8c5ad2 --- /dev/null +++ b/srcpkgs/polygen/patches/ocaml-4.05.patch @@ -0,0 +1,11 @@ +--- src/check.ml ++++ src/check.ml +@@ -37,7 +37,7 @@ + + let of_labels labels = List.fold_left (fun lbs lb -> add (lb, None) lbs) empty labels + let occurs lb lbs = mem (lb, None) lbs +- let pretty lbs = "{ " ^ (flatten_strings ", " (map fst (elements lbs))) ^ " }" ++ let pretty lbs = "{ " ^ (flatten_strings ", " (List.map fst (elements lbs))) ^ " }" + end + + diff --git a/srcpkgs/polygen/template b/srcpkgs/polygen/template index 2151324d116..bcbfbf2e428 100644 --- a/srcpkgs/polygen/template +++ b/srcpkgs/polygen/template @@ -1,7 +1,7 @@ # Template file for 'polygen' pkgname=polygen version=1.0.6.ds2 -revision=1 +revision=2 build_style=gnu-makefile build_wrksrc="src" hostmakedepends="ocaml unzip" @@ -12,8 +12,11 @@ homepage="http://www.polygen.org" distfiles="${DEBIAN_SITE}/main/p/${pkgname}/${pkgname}_${version}.orig.tar.gz" checksum=60dbcec8aedcbb2545202ad97d41e592f232b8fc842ea25a7998c88a385148d5 nocross=yes -nopie=yes +export OCAMLPARAM="safe-string=0,_" +do_check() { + : +} do_install() { vbin polygen