3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/virtualization/8086tiny/builder.sh
AndersonTorres 2e950bd72e 8086tiny: update to 1.25
Locally build BIOS support
2014-05-14 22:40:09 +02:00

29 lines
723 B
Bash

source $stdenv/setup
mkdir -p ./$name $out/bin $out/share/$name $out/share/doc/$name/images
cd $name
tar xf $src
make 8086tiny
if [ $bios ]; then
cd bios_source
nasm -f bin bios.asm -o bios
cd ..
fi
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
for i in docs/images/*.gif
do
install -m 644 $i $out/share/doc/$name/images
done
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