Update the library for F*

AeneasVerif · Dec 22, 2023 · 455ba36 · 455ba36
1 parent e799ef5
commit 455ba36
Show file tree

Hide file tree

Showing 7 changed files with 895 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -70,9 +70,11 @@ build-bin-dir: build-bin build-lib
 	mkdir -p bin
 	cp -f compiler/_build/default/main.exe bin/aeneas
 	cp -f compiler/_build/default/main.exe bin/aeneas.cmxs
-	mkdir -p bin/backends/fstar
+	mkdir -p bin/backends/fstar/split
+	mkdir -p bin/backends/fstar/merge
 	mkdir -p bin/backends/coq
-	cp -rf backends/fstar/*.fst* bin/backends/fstar/
+	cp -rf backends/fstar/split/*.fst* bin/backends/fstar/split/
+	cp -rf backends/fstar/merge/*.fst* bin/backends/fstar/merge/
 	cp -rf backends/coq/*.v bin/backends/coq/
 
 .PHONY: doc

diff --git a/backends/fstar/Makefile → backends/fstar/merge/Makefile b/backends/fstar/Makefile → backends/fstar/merge/Makefile