From 7ced2b93542f57e6e36db18bee7b7f349518c870 Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Thu, 12 Dec 2019 15:17:05 +0100 Subject: [PATCH] generator: do not generate mlv2v files when not needed mlv2v is not shipped with libguestfs, so do not try to generate the files for it in case generator is invoked on a release tarball. --- generator/main.ml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/generator/main.ml b/generator/main.ml index 741954e8e..09b4c8922 100644 --- a/generator/main.ml +++ b/generator/main.ml @@ -347,10 +347,13 @@ Run it from the top source directory using the command output_to "gobject/src/session.c" GObject.generate_gobject_session_source; - output_to "common/mlv2v/uefi.ml" - UEFI.generate_uefi_ml; - output_to "common/mlv2v/uefi.mli" - UEFI.generate_uefi_mli; + (* mlv2v may not be shipped in this source. *) + if is_regular_file "common/mlv2v/Makefile.am" then ( + output_to "common/mlv2v/uefi.ml" + UEFI.generate_uefi_ml; + output_to "common/mlv2v/uefi.mli" + UEFI.generate_uefi_mli; + ); output_to "common/mlcustomize/customize_cmdline.mli" Customize.generate_customize_cmdline_mli;