diff options
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index c7a25a4..f4e4c28 100755 --- a/debian/rules +++ b/debian/rules @@ -110,7 +110,7 @@ build-xen-dbg/config.status: configure --enable-platform=xen ifeq ($(filter stage1,$(DEB_BUILD_PROFILES)),) -build-arch: build/stamp build-dbg/stamp +build-arch: build/stamp build-xen/stamp build-dbg/stamp build-xen-dbg/stamp else build-arch: build/config.status endif @@ -193,18 +193,27 @@ ifeq ($(filter stage1,$(DEB_BUILD_PROFILES)),) $(MAKE) -C build install \ DESTDIR=$(D) + $(MAKE) -C build-xen install \ + DESTDIR=$(D_XEN) + $(MAKE) -C build-dbg install-exec \ DESTDIR=$(D_DBG) \ + $(MAKE) -C build-xen-dbg install-exec \ + DESTDIR=$(D_XEN_DBG) \ + mkdir -p $(D_UDEB)/boot cp $(D)/boot/gnumach $(D_UDEB)/boot/ mv $(D)/boot/gnumach $(D)/boot/gnumach-$(VERSION)-$(MACHINE) mkdir -p $(D_XEN_UDEB)/boot + cp $(D_XEN)/boot/gnumach $(D_XEN_UDEB)/boot/ + mv $(D_XEN)/boot/gnumach $(D_XEN)/boot/gnumach-$(VERSION)-xen-$(MACHINE) mv $(D_DBG)/boot/gnumach $(D_DBG)/boot/gnumach-$(VERSION)-$(MACHINE)-dbg + mv $(D_XEN_DBG)/boot/gnumach $(D_XEN_DBG)/boot/gnumach-$(VERSION)-xen-$(MACHINE)-dbg ifeq ($(DEB_HOST_ARCH_OS),hurd) for script in preinst prerm postinst postrm ; do \ - for prefix in "" ; do \ + for prefix in "" -xen ; do \ for suffix in "" -dbg ; do \ sed -e "s/@VERSION@/$(VERSION)/g" \ -e "s/@RELEASE@/$(VERSION)$$prefix-$(MACHINE)$$suffix/g" \ |