dev86/Pkgfile



    1 # Description: cross development C compiler environment for the production of 8086 executables.
    2 # URL: http://homepage.ntlworld.com/robert.debath/dev86/
    3 # Maintainer: Jose V Beneyto, sepen at crux dot nu
    4 # Packager: Jose V Beneyto, sepen at crux dot nu
    5 # Depends on:
    6 
    7 name=dev86
    8 version=0.16.21
    9 release=1
   10 source=(http://v3.sk/~lkundrak/dev86/Dev86src-$version.tar.gz)
   11 
   12 build() {
   13   cd $name-$version
   14 
   15   echo quit | make -j1 PREFIX=/usr GCCFLAG="$CFLAGS"
   16   make -j1 install-all DIST=$PKG
   17 
   18   rm -f $PKG/usr/bin/{as,ld,nm,objdump,size}86
   19   rm -f $PKG/usr/man/man1/{as,ld}86.1
   20 }