Merge branch 'master' into riscv-symbexec

kth-step · Aug 5, 2024 · 8b2f1d8 · 8b2f1d8
2 parents fb360fd + 7407cf9
commit 8b2f1d8
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