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 /Makefile | |
| parent | a27efd1ed08bc9583752445d9eda7a693c0c7379 (diff) | |
Rename Driver.ml to Main.ml
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 7 insertions, 7 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/ |