2014-02-24 03:01:43 +00:00
|
|
|
|
|
|
|
source $stdenv/setup
|
|
|
|
|
2020-06-06 05:35:31 +00:00
|
|
|
unpackPhase
|
|
|
|
cd $sourceRoot
|
2014-02-24 03:01:43 +00:00
|
|
|
|
|
|
|
make 8086tiny
|
2020-06-06 05:35:31 +00:00
|
|
|
|
2014-05-08 01:31:43 +00:00
|
|
|
if [ $bios ]; then
|
|
|
|
cd bios_source
|
|
|
|
nasm -f bin bios.asm -o bios
|
|
|
|
cd ..
|
|
|
|
fi
|
2014-02-24 03:01:43 +00:00
|
|
|
|
2020-06-06 05:35:31 +00:00
|
|
|
mkdir -p $out/bin $out/share/$name $out/share/doc/$name/images
|
|
|
|
|
2014-05-08 01:31:43 +00:00
|
|
|
install -m 755 8086tiny $out/bin
|
|
|
|
install -m 644 fd.img $out/share/$name/8086tiny-floppy.img
|
|
|
|
install -m 644 bios_source/bios.asm $out/share/$name/8086tiny-bios-src.asm
|
|
|
|
install -m 644 docs/8086tiny.css $out/share/doc/$name
|
|
|
|
install -m 644 docs/doc.html $out/share/doc/$name
|
2014-02-24 03:01:43 +00:00
|
|
|
for i in docs/images/*.gif
|
|
|
|
do
|
2014-05-08 01:31:43 +00:00
|
|
|
install -m 644 $i $out/share/doc/$name/images
|
2014-02-24 03:01:43 +00:00
|
|
|
done
|
2014-05-08 01:31:43 +00:00
|
|
|
if [ $bios ]; then
|
|
|
|
install -m 644 bios_source/bios $out/share/$name/8086tiny-bios
|
|
|
|
else
|
|
|
|
install -m 644 bios $out/share/$name/8086tiny-bios
|
|
|
|
fi
|