wok-6.x diff pari-dev/receipt @ rev 16914

Up R (3.1.1)
author Yuri Pourre <yuripourre@gmail.com>
date Tue Jul 15 22:14:45 2014 -0300 (2014-07-15)
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	Tue Jul 15 22:14:45 2014 -0300
     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  }