From 008cda2bd2cbd4f89e44c93e721bd81bd7cfef32 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 22 Mar 2021 16:36:49 +0000 Subject: [PATCH] generator: Do not build mlcustomize if directory does not exist. When shipping the libguestfs tarball we do not necessarily have common/mlcustomize. If we run the generator in this situation then don't try to generate files in the non-existent directory. See-also: commit 7ced2b93542f57e6e36db18bee7b7f349518c870 --- generator/main.ml | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/generator/main.ml b/generator/main.ml index c2e849e11..f0b0fde71 100644 --- a/generator/main.ml +++ b/generator/main.ml @@ -355,14 +355,17 @@ Run it from the top source directory using the command UEFI.generate_uefi_mli; ); - output_to "common/mlcustomize/customize_cmdline.mli" - Customize.generate_customize_cmdline_mli; - output_to "common/mlcustomize/customize_cmdline.ml" - Customize.generate_customize_cmdline_ml; - output_to "common/mlcustomize/customize-synopsis.pod" - Customize.generate_customize_synopsis_pod; - output_to "common/mlcustomize/customize-options.pod" - Customize.generate_customize_options_pod; + (* mlcustomize may not be shipped in this source. *) + if is_regular_file "common/mlcustomize/Makefile.am" then ( + output_to "common/mlcustomize/customize_cmdline.mli" + Customize.generate_customize_cmdline_mli; + output_to "common/mlcustomize/customize_cmdline.ml" + Customize.generate_customize_cmdline_ml; + output_to "common/mlcustomize/customize-synopsis.pod" + Customize.generate_customize_synopsis_pod; + output_to "common/mlcustomize/customize-options.pod" + Customize.generate_customize_options_pod + ); output_to "rust/src/guestfs.rs" Rust.generate_rust;