28 lines
1.0 KiB
Python
28 lines
1.0 KiB
Python
#!/usr/bin/python
|
|
# -*- coding: utf-8 -*-
|
|
#
|
|
# Licensed under the GNU General Public License, version 3.
|
|
# See the file http://www.gnu.org/licenses/gpl.txt
|
|
|
|
from pisi.actionsapi import autotools
|
|
from pisi.actionsapi import shelltools
|
|
from pisi.actionsapi import pisitools
|
|
from pisi.actionsapi import get
|
|
|
|
def build():
|
|
pisitools.dosed("Make.defaults", "lib64", "lib")
|
|
pisitools.dosed("Make.defaults", "grub.efi", "grubx64.efi")
|
|
shelltools.system("sed -e '/extern int efi_set_verbose/d' -i src/efibootmgr.c")
|
|
|
|
shelltools.export("CFLAGS", "-Os")
|
|
autotools.make("EFIDIR=pisilinux sbindir=/usr/sbin EFI_LOADER=grubx64.efi")
|
|
|
|
def install():
|
|
# shelltools.makedirs("%s/usr/sbin" % get.installDIR())
|
|
# shelltools.makedirs("%s/usr/share/man" % get.installDIR())
|
|
# shelltools.makedirs("%s/usr/include" % get.installDIR())
|
|
|
|
autotools.rawInstall("EFIDIR=pisilinux sbindir=/usr/sbin DESTDIR=%s" % get.installDIR())
|
|
# pisitools.insinto("/usr/share/man", "src/*.8")
|
|
pisitools.insinto("/usr/include", "src/include/*.h")
|