diff options
Diffstat (limited to 'unit-tests/Makefile')
| -rw-r--r-- | unit-tests/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unit-tests/Makefile b/unit-tests/Makefile index bed1018..1ad9b57 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -10,9 +10,10 @@ COQFLAGS?=-q $(OPT) $(COQLIBS) $(OTHERFLAGS) $(COQ_XML) COQC?=$(COQBIN)coqc -all: $(OBJ) Tests_zchaff.vo Tests_verit.vo +all: zchaff verit lfsc zchaff: $(ZCHAFFLOG) Tests_zchaff.vo verit: $(VERITLOG) Tests_verit.vo +lfsc: Tests_lfsc.vo logs: $(OBJ) |