wok-next diff gnubg/receipt @ rev 20678

Up clisp (2.50)
author Aleksej Bobylev <al.bobylev@gmail.com>
date Tue May 15 02:59:03 2018 +0300 (2018-05-15)
parents 757d032c55c7
children f48456621a9d
line diff
     1.1 --- a/gnubg/receipt	Fri Mar 30 19:31:50 2018 +0300
     1.2 +++ b/gnubg/receipt	Tue May 15 02:59:03 2018 +0300
     1.3 @@ -19,6 +19,7 @@
     1.4  	./configure \
     1.5  		--disable-cputest \
     1.6  		$CONFIGURE_ARGS &&
     1.7 +	fix libtool &&
     1.8  	make &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }