From 7aab560dd6f455f7948db5723a8b6857eb349998 Mon Sep 17 00:00:00 2001
From: Andi Drebes <andi.drebes@zama.ai>
Date: Tue, 11 Oct 2022 09:48:24 +0200
Subject: [PATCH] fix(ServerLib): Add missing dependency to mlir-headers

When building the ServerLib before any other concretelang target that
depends on `mlir-headers`, compilation fails due to missing include
files generated by tablegen, e.g., `llvm/IR/Attributes.inc`.

This adds a dependency from ServerLib to `mlir-headers`, which forces
the generation of the missing header files.
---
 compiler/lib/ServerLib/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/lib/ServerLib/CMakeLists.txt b/compiler/lib/ServerLib/CMakeLists.txt
index 9aa244661..ddea971b9 100644
--- a/compiler/lib/ServerLib/CMakeLists.txt
+++ b/compiler/lib/ServerLib/CMakeLists.txt
@@ -21,6 +21,9 @@ add_mlir_library(
   ADDITIONAL_HEADER_DIRS
   ${PROJECT_SOURCE_DIR}/include/concretelang/ServerLib
 
+  DEPENDS
+  mlir-headers
+
   LINK_LIBS
   ConcretelangRuntime
   ConcretelangClientLib