--prefix=/local/scratch/Rump-kernels/prefix --disable-shared --enable-static
dirx /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumprun-xen-make -j4 CPPFLAGS="-U__SSE2__"
stdmakeinstall
+
+
+
+# build libxc and libxenstore
+setdir /local/scratch/Rump-kernels/xen.git/tools
+dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
+ /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumprun-xen-configure ./configure \
+ --prefix=/local/scratch/Rump-kernels/prefix
+dirx /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumprun-xen-make -j4 CPPFLAGS="-U__SSE2__"
+stdmakeinstall