blob: dcd5f4e02507d118438d050d6db670a01a14e043 (
plain)
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 $@
ssrefect:
$(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 $@
|
