Merge branch 'dev' into cron

This commit is contained in:
Jef Roosens 2022-04-15 11:13:04 +02:00
commit 92ca5b8024
Signed by: Jef Roosens
GPG key ID: B75D4F293C7052DB
5 changed files with 22 additions and 15 deletions

View file

@ -2,7 +2,7 @@
SRC_DIR := src
SOURCES != find '$(SRC_DIR)' -iname '*.v'
V_PATH ?= v/v
V_PATH ?= v
V := $(V_PATH) -showcc -gc boehm
all: vieter
@ -71,11 +71,11 @@ test:
.PHONY: v
v: v/v
v/v:
git clone --single-branch --branch patches https://git.rustybever.be/Chewing_Bever/vieter-v v
git clone --single-branch https://git.rustybever.be/Chewing_Bever/v v
make -C v
clean:
rm -rf 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c' 'pkg' 'src/vieter' 'afvieter' 'suvieter'
rm -rf 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c' 'dvieterctl' 'vieterctl' 'pkg' 'src/vieter' *.pkg.tar.zst
# =====EXPERIMENTAL=====