diff options
| author | Son HO | 2024-03-08 16:51:40 +0100 |
|---|---|---|
| committer | GitHub | 2024-03-08 16:51:40 +0100 |
| commit | 169d011cbfa83d853d0148bbf6b946e6ccbe4c4c (patch) | |
| tree | ed8953634d14313d5b7d6ad204343d64eb990baf /tests/fstar-split/Makefile | |
| parent | b604bb9935007a1f0e9c7f556f8196f0e14c85ce (diff) | |
| parent | 873deb005b394aca3090497e6c21ab9f8c2676be (diff) | |
Merge pull request #83 from AeneasVerif/son/backs
Remove the option to split the forward/backward functions
Diffstat (limited to 'tests/fstar-split/Makefile')
| -rw-r--r-- | tests/fstar-split/Makefile | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/tests/fstar-split/Makefile b/tests/fstar-split/Makefile deleted file mode 100644 index 6cf03386..00000000 --- a/tests/fstar-split/Makefile +++ /dev/null @@ -1,33 +0,0 @@ -ALL_DIRS ?= $(filter-out Makefile%, $(wildcard *)) - -VERIFY_DIRS = $(addprefix verif-,$(ALL_DIRS)) - -CLEAN_DIRS = $(addprefix clean-,$(ALL_DIRS)) - -COPY_MAKEFILES = $(addprefix copy-makefile-,$(ALL_DIRS)) - -.PHONY: all -all: prepare-projects verify - -.PHONY: prepare-projects -prepare-projects: $(COPY_MAKEFILES) - -.PHONY: verify -verify: $(VERIFY_DIRS) - -.PHONY: verif-% -verif-%: - cd $* && make all - -.PHONY: copy-makefile-% -copy-makefile-%: - rm -f $*/Makefile - echo "# This file was automatically generated - modify ../Makefile.template instead" >> $*/Makefile - cat Makefile.template >> $*/Makefile - -.PHONY: clean -clean: $(CLEAN_DIRS) - -.PHONY: clean-% -clean-%: - cd $* && make clean |