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 users dot sourceforge dot net
    4 # Packager: Jose V Beneyto, sepen at users dot sourceforge dot net
    5 # Depends on: 
    6 
    7 name=dev86
    8 version=0.16.17
    9 release=5
   10 source=(http://homepage.ntlworld.com/robert.debath/$name/Dev86src-$version.tar.gz \
   11         dev86-pic.patch nostrict.patch)
   12 
   13 build() {
   14   cd $name-$version
   15   patch -p0 < $SRC/dev86-pic.patch
   16   patch -p1 < $SRC/nostrict.patch
   17   echo quit | make -j1 PREFIX=/usr
   18   make -j1 install-all DIST=$PKG
   19   rm -f $PKG/usr/bin/{as,ld,nm,objdump,size}86
   20   rm -f $PKG/usr/man/man1/{as,ld}86.1
   21 }