# --libdir=/local/scratch/Rump-kernels/prefix-qemu/lib \
# --source-path=. \
# --extra-cflags=" \
-# -I/local/scratch/Rump-kernels/xen.git/tools/../tools/include \
-# -I/local/scratch/Rump-kernels/xen.git/tools/../tools/libxc \
-# -I/local/scratch/Rump-kernels/xen.git/tools/../tools/xenstore \
-# -I/local/scratch/Rump-kernels/xen.git/tools/../tools/xenstore/compat \
+# -I/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/include \
+# -I/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/libxc \
+# -I/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/xenstore \
+# -I/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/xenstore/compat \
# -I/local/scratch/Rump-kernels/prefix/include \
# " \
# --extra-ldflags=" \
-# -L/local/scratch/Rump-kernels/xen.git/tools/../tools/libxc \
-# -L/local/scratch/Rump-kernels/xen.git/tools/../tools/xenstore \
+# -L/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/libxc \
+# -L/local/scratch/Rump-kernels/xen-build-only.git/tools/../tools/xenstore \
# -L/local/scratch/Rump-kernels/prefix/lib \
# " \
# --bindir=/local/scratch/Rump-kernels/prefix-qemu/bin \
# build libxc and libxenstore
# run ./configure in toplevel to workaround a bug in Xen's build system
# that Paths.mk doesn't get generate if only ./configure in tools
-setdir /local/scratch/Rump-kernels/xen.git
+setdir /local/scratch/Rump-kernels/xen-build-only.git
dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
/local/scratch/Rump-kernels/rumprun/app-tools/x86_64-rumprun-netbsd-configure ./configure \
--prefix=/local/scratch/Rump-kernels/prefix \
--with-xen-dumpdir=/local/scratch/Rump-kernels/prefix/var/lib/xen/dump
-setdir /local/scratch/Rump-kernels/xen.git/tools
+setdir /local/scratch/Rump-kernels/xen-build-only.git/tools
dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
make V=1 CC=/local/scratch/Rump-kernels/rumprun/app-tools/x86_64-rumprun-netbsd-gcc -j4 CPPFLAGS="-U__SSE2__"
stdmakeinstall
# build libxc and libxenstore
# run ./configure in toplevel to workaround a bug in Xen's build system
# that Paths.mk doesn't get generate if only ./configure in tools
-setdir /local/scratch/Rump-kernels/xen.git
+setdir /local/scratch/Rump-kernels/xen-build-only.git
dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
/local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-configure ./configure \
--prefix=/local/scratch/Rump-kernels/prefix \
--with-xen-dumpdir=/local/scratch/Rump-kernels/prefix/var/lib/xen/dump
-setdir /local/scratch/Rump-kernels/xen.git/tools
+setdir /local/scratch/Rump-kernels/xen-build-only.git/tools
dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
make V=1 CC=/local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-cc -j4 CPPFLAGS="-U__SSE2__"
stdmakeinstall