diff options
| author | Son Ho | 2022-11-16 14:40:34 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-16 15:45:32 +0100 |
| commit | a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8 (patch) | |
| tree | 6818668b56b067255e874e4c9bb79ad3d52ebee7 /tests/fstar/Makefile | |
| parent | cc8cd4b9d55e21dd50fac7714203ab8a8f06242b (diff) | |
Automatically generate the Makefile and _CoqProject files in the tests subdirectories
Diffstat (limited to 'tests/fstar/Makefile')
| -rw-r--r-- | tests/fstar/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/fstar/Makefile b/tests/fstar/Makefile index a9c170f7..aad3354e 100644 --- a/tests/fstar/Makefile +++ b/tests/fstar/Makefile @@ -4,8 +4,10 @@ VERIFY_DIRS = $(addprefix verif-,$(ALL_DIRS)) CLEAN_DIRS = $(addprefix clean-,$(ALL_DIRS)) +COPY_MAKEFILES = $(addprefix copy-makefile-,$(ALL_DIRS)) + .PHONY: all -all: $(VERIFY_DIRS) +all: $(COPY_MAKEFILES) $(VERIFY_DIRS) .PHONY: clean clean: $(CLEAN_DIRS) @@ -14,6 +16,12 @@ clean: $(CLEAN_DIRS) 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-%: cd $* && make clean |