diff options
| author | Son Ho | 2022-11-11 15:57:13 +0100 |
|---|---|---|
| committer | Son Ho | 2022-11-11 15:57:13 +0100 |
| commit | 61740913f8af53f0c1054375482b980ccb12f089 (patch) | |
| tree | 1afcb424de7d9ce28c3cf6e468011e0b6cb135b7 /Makefile | |
| parent | bbc9e0b01516ba7387931bca4d32aa6f7210f9eb (diff) | |
Move the fstar files to the new backends directory
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -3,7 +3,11 @@ ifeq (3.81,$(MAKE_VERSION)) install make, then invoke gmake instead of make) endif -all: build +.PHONY: default +default: build + +.PHONY: all +all: build-test-verify nix #################################### # Variables customizable by the user @@ -67,7 +71,7 @@ build-bin-dir: build-driver build-lib mkdir -p bin cp -f compiler/_build/default/driver.exe bin/aeneas.exe cp -f compiler/_build/default/driver.exe bin/aeneas.cmxs - cp -rf fstar bin + cp -rf backends bin .PHONY: doc doc: @@ -87,7 +91,7 @@ tests: trans-no_nested_borrows trans-paper \ # Verify the F* files generated by the translation .PHONY: verify -verify: build tests +verify: cd tests && $(MAKE) all # Reformat the project |