Date: Sunday, December 21, 2014 @ 09:22:12 Author: arojas Revision: 124252
Remove some useless stuff Modified: gap/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++++ 1 file changed, 5 insertions(+) Modified: PKGBUILD =================================================================== --- PKGBUILD 2014-12-21 02:22:38 UTC (rev 124251) +++ PKGBUILD 2014-12-21 08:22:12 UTC (rev 124252) @@ -28,8 +28,13 @@ mkdir -p "$pkgdir"/usr/lib/gap cp -r * "$pkgdir"/usr/lib/gap + +# move to gap-packages rm -r "$pkgdir"/usr/lib/gap/pkg +# remove leftover source files + rm -r "$pkgdir"/usr/lib/gap/extern + mkdir -p "$pkgdir"/usr/bin ln -s /usr/lib/gap/bin/gap.sh "$pkgdir"/usr/bin/gap }
