dev86/Pkgfile



    1 # Description: cross development C compiler environment for the production of 8086 executables.
    2 # URL:         http://v3.sk/~lkundrak/dev86/
    3 # Maintainer:  John Vogel, jvogel4 at stny dot rr dot com
    4 
    5 name=dev86
    6 version=0.16.21
    7 release=3
    8 source=(http://v3.sk/~lkundrak/dev86/Dev86src-$version.tar.gz
    9 	bin86-x86_64.patch)
   10 
   11 build() {
   12 	cd $name-$version
   13 	patch -p1 -i $SRC/bin86-x86_64.patch
   14 	sed -i -e 's,/man/,/share/man/,' dis88/Makefile
   15 
   16 	echo quit | make -j1 PREFIX=/usr GCCFLAG="$CFLAGS -D_POSIX_SOURCE"
   17 	make -j1 install-all PREFIX=/usr MANDIR=/usr/share/man DIST=$PKG
   18 
   19 	rm -f $PKG/usr/bin/{as,ld,nm,objdump,size}86
   20 	rm -f $PKG/usr/share/man/man1/{as,ld}86.1
   21 }