Block coq while jjames looks at it.

[goaljobs-goals.git] / config.ml

diff --git a/config.ml b/config.ml
index 2336537..16b3502 100644 (file)
--- a/config.ml
+++ b/config.ml
@@ -39,12 +39,14 @@ let libguestfs_localconfigure source =
 # https://bugzilla.redhat.com/show_bug.cgi?id=1316206
 
 %s \\
+  PYTHON=/usr/bin/python3 \\
   --prefix /usr \\
   --disable-static \\
   --with-default-backend=libvirt \\
   --enable-gtk-doc \\
   --disable-golang \\
   --disable-erlang \\
+  --with-virt-v2v-nbdkit-python-plugin=python3 \\
   -C \\
   \"$@\"
 " configure