diff --git a/Makefile b/Makefile index 662e31f549..9f1e3c4af1 100644 --- a/Makefile +++ b/Makefile @@ -118,6 +118,11 @@ world: $(MAKE) kdelete $(MAKE) dist +# Package a build in a .deb file +.PHONY: deb +deb: dist + fakeroot sh ./tools/misc/mkdeb $(XEN_ROOT) $$($(MAKE) -C xen xenversion | grep -v :) + # clean doesn't do a kclean .PHONY: clean clean:: diff --git a/tools/misc/mkdeb b/tools/misc/mkdeb new file mode 100644 index 0000000000..603cd6baa8 --- /dev/null +++ b/tools/misc/mkdeb @@ -0,0 +1,56 @@ +#!/bin/sh +# +# mkdeb: package the dist/install output of a Xen build in a .deb +# +# Takes 2 arguments, the path to the dist directory and the version + +set -e + +if test -z "$1" -o -z "$2" ; then + echo "usage: $0 path-to-XEN_ROOT xen-version" + exit 1 +fi + +cd $1 +version=$2 +if test "$XEN_TARGET_ARCH" = "x86_32"; then + arch=i386 +else + arch=amd64 +fi + +# Prepare the directory to package +cd dist +rm -rf deb +cp -a install deb + +# Debian doesn't use /usr/lib64 for 64-bit libraries +if test -d deb/usr/lib64 ; then + cp -a deb/usr/lib64/* deb/usr/lib/ + rm -rf deb/usr/lib64 +fi + +# Fill in the debian boilerplate +mkdir -p deb/DEBIAN +cat >deb/DEBIAN/control <