blob: efc2ff89f71fbe58443f3c2756ac785b50ee979c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# -*- Makefile -*-
COQPROJECT="Make"
# --------------------------------------------------------------------
# this sets variable V
include ssreflect/Makefile.detect-coq-version
# this defines prepare_coqmakefile
include ssreflect/Makefile.coq-makefile
include Makefile.common
# --------------------------------------------------------------------
COQMAKEOPTIONS=--no-print-directory \
COQDEP='$(COQDEP) -exclude-dir ssreflect/plugin -c'
COQMAKEFILEOPTIONS=$(MLLIB) $(EXTRA)
# --------------------------------------------------------------------
.PHONY: pre_makefile
BEFOREMAKEFILE=pre_makefile
pre_makefile:
$(call prepare_coqmakefile,ssreflect)
|
