File: makepkgs

package info (click to toggle)
gap 4r7p5-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 29,272 kB
  • ctags: 7,129
  • sloc: ansic: 107,802; xml: 46,868; sh: 3,548; perl: 2,329; makefile: 740; python: 94; asm: 62; awk: 6
file content (16 lines) | stat: -rw-r--r-- 379 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/sh
if [ "x$GAPPACKAGES" = "x" ] ; then
    export GAPPACKAGES="io orb edim Browse"
    echo Taking \"$GAPPACKAGES\" as list of packages.
    echo Please set the GAPPACKAGES environment variable to overwrite.
    echo Starting in 5 seconds...
    sleep 5
fi
for p in $GAPPACKAGES ; do
    cd pkg/$p
    ./configure
    make clean
    ./configure
    make
    cd ../..
done