blob: a9e1f72d2d91b98633b481e4ce3b92f77e18ec7a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
COQMAKEFILE ?= Makefile.coq
all: $(COQMAKEFILE)
mkdir -p ../lib/drl_verified
$(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
|
