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