diff options
Diffstat (limited to 'mathcomp/Makefile')
| -rw-r--r-- | mathcomp/Makefile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/mathcomp/Makefile b/mathcomp/Makefile new file mode 100644 index 0000000..dcd5f4e --- /dev/null +++ b/mathcomp/Makefile @@ -0,0 +1,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 $@ |