mathcomp/Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

.PHONY: ssreflect algebra fingroup all odd_order solvable field character discrete real_closed ssrtest

export COQPATH=$(PWD)/..

all: ssreflect algebra fingroup odd_order solvable field character discrete real_closed ssrtest
	$(MAKE) -C $@

ssreflect:
	$(MAKE) -C $@

algebra: fingroup
	$(MAKE) -C $@

fingroup: discrete
	$(MAKE) -C $@

odd_order: field
	$(MAKE) -C $@

solvable: algebra
	$(MAKE) -C $@

field: solvable
	$(MAKE) -C $@

character: field
	$(MAKE) -C $@

discrete: ssreflect
	$(MAKE) -C $@

real_closed: algebra
	$(MAKE) -C $@

ssrtest: algebra
	$(MAKE) -C $@