wok diff pari-dev/receipt @ rev 20991

updated gperiodic (2.0.10 -> 3.0.3)
author Hans-G?nter Theisgen
date Thu Mar 07 16:41:35 2019 +0100 (2019-03-07)
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	Thu Mar 07 16:41:35 2019 +0100
     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  }