Compare commits

..

3 Commits

1 changed files with 2 additions and 3 deletions

View File

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