fix(examples): add missing Makefile

cryspen · Apr 18, 2024 · 6f2dc9e · 6f2dc9e
1 parent 6524d7f
commit 6f2dc9e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/examples/barrett/Makefile b/examples/barrett/Makefile
@@ -0,0 +1,7 @@
+.PHONY: default clean
+default:
+	make -C proofs/fstar/extraction
+
+clean:
+	rm -f proofs/fstar/extraction/.depend
+	rm -f proofs/fstar/extraction/*.fst
diff --git a/examples/kyber_compress/Makefile b/examples/kyber_compress/Makefile
@@ -0,0 +1,7 @@
+.PHONY: default clean
+default:
+	make -C proofs/fstar/extraction
+
+clean:
+	rm -f proofs/fstar/extraction/.depend
+	rm -f proofs/fstar/extraction/*.fst