X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=config.ml;h=11734d3858181a211867c2cd9a400f29b13e4779;hb=e1faf14f3230840b4c60c317ea974e7c84eb340b;hp=6b44dc90ec9fe544271eca472f4f045449447b1e;hpb=c9cc06f267344fad841e4f2ffa78225bf25bc95f;p=goaljobs-goals.git diff --git a/config.ml b/config.ml index 6b44dc9..11734d3 100644 --- a/config.ml +++ b/config.ml @@ -23,21 +23,35 @@ let libguestfs_localconfigure source = #!/bin/bash - . localenv +# NB: --enable-valgrind-daemon is disabled because we +# should be checking production builds. + %s \\ --prefix /usr \\ --disable-static \\ --with-default-backend=libvirt \\ - --enable-gcc-warnings \\ + --enable-werror \\ --enable-gtk-doc \\ - --enable-valgrind-daemon \\ + --disable-golang \\ -C \\ \"$@\" " configure -let libguestfs_localenv = "\ +let libguestfs_localenv supermin = + "\ # Parallel test runs out of resources starting qemu, unclear why. export SKIP_TEST_PARALLEL_MOUNT_LOCAL=1 # Fails under valgrind because cpio subprocess has a memory leak. export SKIP_TEST_FILE_ARCHITECTURE_11=1 -" + +" ^ + match supermin with + | None -> "" + | Some (supermin, supermin_helper) -> + sprintf "\ +# Needs a modified path to supermin binaries: +export SUPERMIN=%s +export SUPERMIN_HELPER=%s + +" supermin supermin_helper