polygen: remove package, upstream unmaintained and breaks all the time.
This commit is contained in:
parent
2ff10bdb31
commit
f02591a75f
|
@ -1,11 +0,0 @@
|
||||||
--- a/src/check.ml
|
|
||||||
+++ b/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
|
|
||||||
|
|
||||||
|
|
|
@ -1,25 +0,0 @@
|
||||||
# Template file for 'polygen'
|
|
||||||
pkgname=polygen
|
|
||||||
version=1.0.6.ds2
|
|
||||||
revision=8
|
|
||||||
build_wrksrc="src"
|
|
||||||
build_style=gnu-makefile
|
|
||||||
hostmakedepends="ocaml unzip"
|
|
||||||
short_desc="Generative grammar phrase generator"
|
|
||||||
maintainer="Andrea Brancaleoni <abc@pompel.me>"
|
|
||||||
license="GPL-2.0-or-later"
|
|
||||||
homepage="http://www.polygen.org"
|
|
||||||
distfiles="${DEBIAN_SITE}/main/p/${pkgname}/${pkgname}_${version}.orig.tar.gz"
|
|
||||||
checksum=60dbcec8aedcbb2545202ad97d41e592f232b8fc842ea25a7998c88a385148d5
|
|
||||||
nocross=yes
|
|
||||||
|
|
||||||
do_check() {
|
|
||||||
:
|
|
||||||
}
|
|
||||||
do_install() {
|
|
||||||
vbin polygen
|
|
||||||
|
|
||||||
cd ${wrksrc}
|
|
||||||
vmkdir usr/share/
|
|
||||||
vcopy grm usr/share/${pkgname}
|
|
||||||
}
|
|
Loading…
Reference in New Issue