gmp - fix (hopefully) armv7l install

grub - disable device-mapper in case present on local machine
This commit is contained in:
Nathan Fisher 2021-03-28 12:04:18 -04:00
parent 40433e37ba
commit 14ce2e3877
2 changed files with 2 additions and 1 deletions

View File

@ -11,7 +11,7 @@ config_opts += --enable-cxx
config_opts += --disable-static
config_opts += --docdir=$(install_prefix)/share/doc/gmp/$(gmp_version)
install_cmd ?= $(MAKE) -k $(makeflags) DESTDIR=$(DESTDIR) -C $(objdir) install || true
install_cmd = $(MAKE) -k $(makeflags) DESTDIR=$(DESTDIR) -C $(objdir) install || true
post_install = $(MAKE) DESTDIR=$(DESTDIR) -C $(objdir) html install-html

View File

@ -8,6 +8,7 @@ config_opts += --sbindir=/sbin
config_opts += --sysconfdir=/etc
config_opts += --disable-efiemu
config_opts += --disable-werror
config_opts += --disable-device-mapper
post_install = mv -v $(DESTDIR)/etc/bash_completion.d/grub $(DESTDIR)/usr/share/bash-completion/completions