Skip to content
Snippets Groups Projects
Commit 48998a09 authored by Michael Sammler's avatar Michael Sammler
Browse files

fix generate_all

parent 78aff991
No related branches found
No related tags found
No related merge requests found
Pipeline #41391 passed
......@@ -18,11 +18,11 @@ uninstall:
@dune uninstall
.PHONY: uninstall
C_SRC = $(wildcard examples/*.c) $(wildcard tutorial/*.c)
C_SRC = $(wildcard examples/*.c) $(wildcard tutorial/*.c) $(wildcard linux/casestudies/*.c) $(wildcard linux/pkvm/*.c)
%.c.gen: %.c
%.c.gen: %.c phony
@dune exec -- refinedc check --no-build $<
@touch $@
.PHONY: phony
generate_all: $(addsuffix .gen, $(C_SRC))
.PHONY: generate_all
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment