diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2016-02-03 15:11:40 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2016-02-03 15:11:40 +0100 |
commit | 7c4f19d45f14bb7340d642a38b0e9dc573092ac5 (patch) | |
tree | 1f70bb5ef74def15cbbdb9777e88a8f4e0b33931 /debian | |
parent | 6662d5a434c96b9564a66526f778144f52dbdb89 (diff) |
Revert "disable xen for now"
This reverts commit d2c12c8d83d9bca74b4ed13e40f99cc44456af28.
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" \ |