wok-current diff gnubg/receipt @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author: Hans-G?nter Theisgen
date: Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents: ab1db1415dd8
children: c0036f843071
     1.1 --- a/gnubg/receipt	Mon Feb 22 21:54:46 2016 +0100
     1.2 +++ b/gnubg/receipt	Sat Sep 14 10:21:53 2019 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	export LDFLAGS="$LDFLAGS -ltinfo"
     1.8  	./configure --prefix=/usr \
     1.9  		--sysconfdir=/etc \
    1.10  		--mandir=/usr/share/man \