From 5ee6d553ac268d2a79dced18d421b15461ff7f11 Mon Sep 17 00:00:00 2001
From: Jef Roosens <roosensjef@gmail.com>
Date: Thu, 21 Apr 2022 16:12:37 +0200
Subject: [PATCH] Compile boehm gc dynamically for debug

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index fb97ec2..a0101a5 100644
--- a/Makefile
+++ b/Makefile
@@ -9,9 +9,10 @@ all: vieter
 
 
 # =====COMPILATION=====
-# Regular binary
+# We force the boehm gc to be compiled dynamically because otherwise, our CI
+# build breaks.
 vieter: $(SOURCES)
-	$(V) -g -o vieter $(SRC_DIR)
+	$(V) -d dynamic_boehm -g -o vieter $(SRC_DIR)
 
 # Debug build using gcc
 # The debug build can't use the boehm garbage collector, as that is