include all small examples in examples/riscv Holmakefile

kth-step · Aug 5, 2024 · 7407cf9 · 7407cf9
1 parent d1eafdd
commit 7407cf9
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/examples/riscv/Holmakefile b/examples/riscv/Holmakefile
@@ -1,7 +1,10 @@
 INCLUDES = $(HOLBADIR)/examples/riscv/swap \
            $(HOLBADIR)/examples/riscv/isqrt \
            $(HOLBADIR)/examples/riscv/mod2 \
-           $(HOLBADIR)/examples/riscv/incr
+           $(HOLBADIR)/examples/riscv/incr \
+           $(HOLBADIR)/examples/riscv/incr-mem \
+           $(HOLBADIR)/examples/riscv/mod2-mem \
+           $(HOLBADIR)/examples/riscv/isqrt
 
 all: $(DEFAULT_TARGETS) test-riscv.exe
 .PHONY: all