From f81def0a277592f95c432a161c26a3bc6dd59ee1 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sun, 10 Mar 2024 16:16:12 +0000
Subject: [PATCH] test: %{cma:..} of disabled lib (#10245)

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 .../test-cases/enabled_if/cma-pform.t           | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/blackbox-tests/test-cases/enabled_if/cma-pform.t

diff --git a/test/blackbox-tests/test-cases/enabled_if/cma-pform.t b/test/blackbox-tests/test-cases/enabled_if/cma-pform.t
new file mode 100644
index 00000000000..b27d9451943
--- /dev/null
+++ b/test/blackbox-tests/test-cases/enabled_if/cma-pform.t
@@ -0,0 +1,17 @@
+We try to build a disabled library using the %{cma:..} pfrom
+
+  $ cat >dune-project <<EOF
+  > (lang dune 3.14)
+  > EOF
+
+  $ cat >dune <<EOF
+  > (library
+  >  (name foo)
+  >  (enabled_if (= with-foo %{profile})))
+  > EOF
+
+  $ dune build %{cma:./foo}
+  Error: No rule found for foo.cma
+  -> required by %{cma:./foo} at command line:1
+  [1]
+  $ dune build --profile with-foo %{cma:./foo}