wok diff pari-dev/receipt @ rev 18647

Up cookutils(781)
author Aleksej Bobylev <al.bobylev@gmail.com>
date Mon Nov 30 04:39:30 2015 +0200 (2015-11-30)
parents 380ffe05937a
children 8cd03bcd99f2
line diff
     1.1 --- a/pari-dev/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/pari-dev/receipt	Mon Nov 30 04:39:30 2015 +0200
     1.3 @@ -13,6 +13,6 @@
     1.4  genpkg_rules()
     1.5  {
     1.6  	mkdir -p $fs/usr/lib
     1.7 -	cp -a $_pkg/usr/include $fs/usr
     1.8 -	cp -a $_pkg/usr/lib/*.*a $fs/usr/lib
     1.9 +	cp -a $install/usr/include $fs/usr
    1.10 +	cp -a $install/usr/lib/*.*a $fs/usr/lib
    1.11  }