Rev 8148 | Rev 8172 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 8148 | Rev 8150 | ||
|---|---|---|---|
| Line 823... | Line 823... | ||
| 823 | then tup.definerule{inputs = {v.group or v[2]}, command = cmd, outputs = {"distribution_kit/" .. v[1] .. tup.file(v[2])}} |
823 | then tup.definerule{inputs = {v.group or v[2]}, command = cmd, outputs = {"distribution_kit/" .. v[1] .. tup.file(v[2])}} |
| 824 | else tup.definerule{inputs = {v.group or v[2]}, command = cmd, outputs = {"distribution_kit/" .. v[1]}} |
824 | else tup.definerule{inputs = {v.group or v[2]}, command = cmd, outputs = {"distribution_kit/" .. v[1]}} |
| 825 | end |
825 | end |
| 826 | end |
826 | end |
| Line 827... | Line 827... | ||
| 827 | 827 | ||
| 828 | -- kolibri.raw |
828 | -- build kolibri.raw |
| 829 | raw_mbr = "../programs/hd_load/usb_boot/mbr" |
829 | raw_mbr = "../programs/hd_load/usb_boot/mbr" |
| 830 | raw_bootsector = "../kernel/trunk/bootloader/extended_primary_loader/fat32/bootsect.bin" |
830 | raw_bootsector = "../kernel/trunk/bootloader/extended_primary_loader/fat32/bootsect.bin" |
| 831 | raw_files = { |
831 | raw_files = { |
| 832 | {"KOLIBRI.IMG", "kolibri.img"}, |
832 | {"KOLIBRI.IMG", "kolibri.img"}, |
| 833 | {"KORDLDR.F32", "../kernel/trunk/bootloader/extended_primary_loader/fat32/kordldr.f32"}, |
833 | {"KORDLDR.F32", "../kernel/trunk/bootloader/extended_primary_loader/fat32/kordldr.f32"}, |
| 834 | {"KERNEL.MNT", "../kernel/trunk/kernel.mnt.ext_loader"}, |
834 | {"KERNEL.MNT", "../kernel/trunk/kernel.mnt.ext_loader"}, |
| 835 | {"CONFIG.INI", "../kernel/trunk/bootloader/extended_primary_loader/config.ini"}, |
835 | {"CONFIG.INI", "../kernel/trunk/bootloader/extended_primary_loader/config.ini"}, |
| - | 836 | {"EFI/BOOT/BOOTX64.EFI", "../kernel/trunk/bootloader/uefi4kos/bootx64.efi"}, |
|
| 836 | {"EFI/BOOT/BOOTX64.EFI", "../kernel/trunk/bootloader/uefi4kos/kolibri.efi"}, |
837 | {"EFI/BOOT/BOOTIA32.EFI", "../kernel/trunk/bootloader/uefi4kos/bootia32.efi"}, |
| 837 | {"EFI/BOOT/KOLIBRI.IMG", "kolibri.img"}, |
838 | {"EFI/KOLIBRIOS/KOLIBRI.IMG", "kolibri.img"}, |
| 838 | {"EFI/BOOT/KOLIBRI.INI", "../kernel/trunk/bootloader/uefi4kos/kolibri.ini"}, |
839 | {"EFI/KOLIBRIOS/KOLIBRI.INI", "../kernel/trunk/bootloader/uefi4kos/kolibri.ini"}, |
| 839 | {"EFI/BOOT/KOLIBRI.KRN", "../kernel/trunk/kolibri.krn"} |
840 | {"EFI/KOLIBRIOS/KOLIBRI.KRN", "../kernel/trunk/kolibri.krn"} |
| Line 840... | Line 841... | ||
| 840 | } |
841 | } |
| 841 | 842 | ||
| 842 | for i,v in ipairs(img_files) do |
843 | for i,v in ipairs(img_files) do |