diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:32 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:32 +0100 |
| commit | f7bd9786b47eefcccd23b73fb22cd3197bb353a4 (patch) | |
| tree | a97f8c06e1ac6920c96148c8ddb73036bc8a5d61 | |
| parent | a7dd55d8353d1b8f039532bfc2d186653e19099b (diff) | |
feat: proofs: reworked proof files.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | proofs/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/proofs/Makefile b/proofs/Makefile index 1efedbc7..efbda2d8 100644 --- a/proofs/Makefile +++ b/proofs/Makefile @@ -10,4 +10,7 @@ clean: $(COQMAKEFILE) $(MAKE) -f $(COQMAKEFILE) clean rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf -.PHONY: all clean
\ No newline at end of file +.PHONY: all clean + + + |