From 6c2b1addcc72ad95dd844c0969ce43aa7ef0ca33 Mon Sep 17 00:00:00 2001
From: Andi Drebes <andi.drebes@zama.ai>
Date: Tue, 5 Jul 2022 15:24:04 +0200
Subject: [PATCH] enhance(build): Pass trailing arguments from
 add_concretelang_doc to add_mlir_doc

Pass all arguments starting with `command` passed to
`add_concretelang_doc` to `add_mlir_doc`. This allows for the
specification of additional command line arguments to be passed to
`mlir-tblgen`.
---
 compiler/cmake/modules/AddConcretelangDoc.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/cmake/modules/AddConcretelangDoc.cmake b/compiler/cmake/modules/AddConcretelangDoc.cmake
index ebf079c63..4fb0ea823 100644
--- a/compiler/cmake/modules/AddConcretelangDoc.cmake
+++ b/compiler/cmake/modules/AddConcretelangDoc.cmake
@@ -3,7 +3,7 @@ include(AddMLIR)
 function(add_concretelang_doc doc_filename output_file output_directory command)
     set(SAVED_MLIR_BINARY_DIR ${MLIR_BINARY_DIR})
     set(MLIR_BINARY_DIR ${CONCRETELANG_BINARY_DIR})
-    add_mlir_doc(${doc_filename} ${output_file} ${output_directory} ${command})
+    add_mlir_doc(${doc_filename} ${output_file} ${output_directory} ${command} ${ARGN})
     set(MLIR_BINARY_DIR ${SAVED_MLIR_BINARY_DIR})
     unset(SAVED_MLIR_BINARY_DIR)
 endfunction()