at v192 723 B view raw
1 2source $stdenv/setup 3 4mkdir -p ./$name $out/bin $out/share/$name $out/share/doc/$name/images 5 6cd $name 7tar xf $src 8make 8086tiny 9if [ $bios ]; then 10 cd bios_source 11 nasm -f bin bios.asm -o bios 12 cd .. 13fi 14 15install -m 755 8086tiny $out/bin 16install -m 644 fd.img $out/share/$name/8086tiny-floppy.img 17install -m 644 bios_source/bios.asm $out/share/$name/8086tiny-bios-src.asm 18install -m 644 docs/8086tiny.css $out/share/doc/$name 19install -m 644 docs/doc.html $out/share/doc/$name 20for i in docs/images/*.gif 21do 22 install -m 644 $i $out/share/doc/$name/images 23done 24if [ $bios ]; then 25 install -m 644 bios_source/bios $out/share/$name/8086tiny-bios 26else 27 install -m 644 bios $out/share/$name/8086tiny-bios 28fi