glpk/Pkgfile



    1 # Description: GNU Linear Programming Kit : solve LP, MIP and other problems.
    2 # URL: https://www.gnu.org/software/glpk/glpk.html
    3 # Maintainer: Tim Biermann, tbier at posteo dot de
    4 # Depends on: libgmp
    5 
    6 name=glpk
    7 version=5.0
    8 release=1
    9 source=(https://ftp.gnu.org/gnu/glpk/$name-$version.tar.gz)
   10 
   11 build() {
   12   cd $name-$version
   13   find -L . \
   14      \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
   15      -o -perm 511 \) -exec chmod 755 {} \; -o \
   16      \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
   17      -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
   18   ./configure --prefix=/usr \
   19     --with-gmp
   20   make
   21   make DESTDIR=$PKG install
   22 }