summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-11-16 10:17:50 +0100
committerSon Ho2023-11-16 10:17:50 +0100
commit4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (patch)
treee7497ae134a1039125bf351819b3de8abd5cbbbe
parenta27efd1ed08bc9583752445d9eda7a693c0c7379 (diff)
Rename Driver.ml to Main.ml
-rw-r--r--Makefile14
-rw-r--r--compiler/Main.ml (renamed from compiler/Driver.ml)0
-rw-r--r--compiler/dune6
3 files changed, 10 insertions, 10 deletions
diff --git a/Makefile b/Makefile
index 4660ac83..e0367d73 100644
--- a/Makefile
+++ b/Makefile
@@ -58,21 +58,21 @@ build-tests-verify: build tests verify
# Build the project
.PHONY: build
-build: build-driver build-lib build-bin-dir doc
+build: build-bin build-lib build-bin-dir doc
-.PHONY: build-driver
-build-driver:
- cd compiler && dune build $(AENEAS_DRIVER)
+.PHONY: build-bin
+build-bin:
+ cd compiler && dune build
.PHONY: build-lib
build-lib:
cd compiler && dune build aeneas.cmxs
.PHONY: build-bin-dir
-build-bin-dir: build-driver build-lib
+build-bin-dir: build-bin build-lib
mkdir -p bin
- cp -f compiler/_build/default/driver.exe bin/aeneas
- cp -f compiler/_build/default/driver.exe bin/aeneas.cmxs
+ 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/coq
cp -rf backends/fstar/*.fst* bin/backends/fstar/
diff --git a/compiler/Driver.ml b/compiler/Main.ml
index 94e50a08..94e50a08 100644
--- a/compiler/Driver.ml
+++ b/compiler/Main.ml
diff --git a/compiler/dune b/compiler/dune
index 8a1edd02..43ce86c8 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -1,9 +1,9 @@
(executable
- (name driver)
- (public_name aeneas_driver)
+ (name main)
+ (public_name aeneas_main)
(package aeneas)
(libraries aeneas)
- (modules Driver))
+ (modules Main))
(library
(name aeneas) ;; The name as used in the project