From 21918dbab79fff71a905eb6dc99acda4eb7a4b19 Mon Sep 17 00:00:00 2001
From: Sergey Kosukhin <sergey.kosukhin@mpimet.mpg.de>
Date: Thu, 7 Apr 2022 13:50:50 +0200
Subject: [PATCH] Test that the 'auto' options get enabled when needed.
---
.ci/bb/mistral-dkrz/test.all.gcc-6.4.0 | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/.ci/bb/mistral-dkrz/test.all.gcc-6.4.0 b/.ci/bb/mistral-dkrz/test.all.gcc-6.4.0
index db923c728..2f98abbee 100755
--- a/.ci/bb/mistral-dkrz/test.all.gcc-6.4.0
+++ b/.ci/bb/mistral-dkrz/test.all.gcc-6.4.0
@@ -11,13 +11,15 @@ init_gcc640
test -f "${top_srcdir}/configure" || "${top_srcdir}/autogen.sh"
+# We expect --enable-cf-interface and --enable-ppm-dist-array to be set to
+# 'yes' automatically because of --enable-mpi. Function
+# 'check_all_tests_passed' that we run at the end makes sure that the options
+# have been enabled and the corresponding tests have not been skipped.
"${top_srcdir}/configure" \
--disable-maintainer-mode \
---enable-cf-interface \
--enable-iso-c-interface \
--enable-mpi \
--enable-option-checking=fatal \
---enable-ppm-dist-array \
--with-grib-api="${GRIBAPI_ROOT}" \
--with-netcdf="${NETCDF_ROOT}" \
CC="${MPICC}" \
--
GitLab