diff options
| author | Cyril Cohen | 2015-04-02 13:31:52 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-04-02 13:31:52 +0200 |
| commit | e2530e78deda5cf6be2111951efb8ea747af7fa8 (patch) | |
| tree | 5747090683715eeeb8a2f6541ec0896c7ea59121 /mathcomp/Makefile | |
| parent | d226438118e60bc04075c2ef62d61bffe5d72beb (diff) | |
Broken global Makefile
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 $@ |