mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-19 03:48:57 +00:00
29 lines
723 B
Bash
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
|