diff options
| author | Son Ho | 2023-11-16 10:17:50 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-16 10:17:50 +0100 |
| commit | 4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (patch) | |
| tree | e7497ae134a1039125bf351819b3de8abd5cbbbe | |
| parent | a27efd1ed08bc9583752445d9eda7a693c0c7379 (diff) | |
Rename Driver.ml to Main.ml
| -rw-r--r-- | Makefile | 14 | ||||
| -rw-r--r-- | compiler/Main.ml (renamed from compiler/Driver.ml) | 0 | ||||
| -rw-r--r-- | compiler/dune | 6 |
3 files changed, 10 insertions, 10 deletions
@@ -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 |