public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

8086tiny: update to 1.25

Browse Source 
Locally build BIOS support
This commit is contained in:
AndersonTorres
2014-05-14 22:40:09 +02:00
committed by Bjørn Forsman
parent 2ce5162252
commit 2e950bd72e
2 changed files with 24 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/virtualization/8086tiny/builder.sh
+16 -7
View File
@@ -6,14 +6,23 @@ 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 8086tiny $out/bin
install bios $out/share/$name/8086tiny-bios
install fd.img $out/share/$name/8086tiny-floppy.img
install bios_source/bios.asm $out/share/$name/8086tiny-bios-src.asmn
install docs/8086tiny.css $out/share/doc/$name
install docs/doc.html $out/share/doc/$name
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 $i $out/share/doc/$name/images
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