blob: 295591fbb9a1a93bb9fac6ba83be331a44eec145 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# File: Makefile
# Author: Amlal El Mahrouss
# Purpose: Compile Coq proofs for WG05 to the Coq kernel.
# (C) 2026 Amlal El Mahrouss.
# Licensed under Apache 2.0.
COQMAKEFILE ?= Makefile.coq
all: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE)
$(COQMAKEFILE): _CoqProject
coq_makefile -f _CoqProject -o $(COQMAKEFILE)
clean: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE) clean
rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf
.PHONY: all clean
|
