chore: use -d dynamic_boehm for compilation

This commit is contained in:
Jef Roosens 2022-04-21 16:12:37 +02:00
parent 6f9e1b5f3c
commit d021905f37
Signed by: Jef Roosens
GPG key ID: B75D4F293C7052DB

View file

@ -3,13 +3,14 @@ SRC_DIR := src
SOURCES != find '$(SRC_DIR)' -iname '*.v' SOURCES != find '$(SRC_DIR)' -iname '*.v'
V_PATH ?= v V_PATH ?= v
V := $(V_PATH) -showcc -gc boehm V := $(V_PATH) -showcc -gc boehm -d dynamic_boehm
all: vieter all: vieter
# =====COMPILATION===== # =====COMPILATION=====
# Regular binary # We force the boehm gc to be compiled dynamically because otherwise, our CI
# build breaks.
vieter: $(SOURCES) vieter: $(SOURCES)
$(V) -g -o vieter $(SRC_DIR) $(V) -g -o vieter $(SRC_DIR)