coq-mathcomp/mathcomp/all/Makefile, branch master Library of mathematical components formalized in Coq fixing local Makefile 2018-10-31T13:29:19+00:00 Cyril Cohen 2018-10-31T13:29:19+00:00 143c70bacc3298be2a48fe65cc669dfb2409c610 should fix #238 
should fix #238
Rework the whole Makefile architecture 2018-07-31T09:38:53+00:00 Cyril Cohen 2018-07-31T08:37:25+00:00 4199c23da311e612cb1ae45cf5519b5f3947c3b3 - Cleanup, refactoring and generalize the makefile architecture - Reuses @strub math-comp/analysis Makefile / Makefile.common organization - As #174, this fixes #88, but looks more stable than trying to fix the use of the MAKEFLAGS internal variable 
- Cleanup, refactoring and generalize the makefile architecture
- Reuses @strub math-comp/analysis Makefile / Makefile.common organization
- As #174, this fixes #88, but looks more stable than trying to fix the use of the MAKEFLAGS internal variable
fix building with make flags 2017-10-10T11:23:30+00:00 Ralf Jung 2017-10-10T11:23:30+00:00 e888516870ef592d0f7da74f8138e478d6114b05 Fixes #139 
Fixes #139
Using the From X Require Y for v8.4 2015-04-09T11:53:46+00:00 Cyril Cohen 2015-04-09T11:53:46+00:00 634ee874ec11a5a90617ca5723228d4de1fe479c 






makefiles that are version dependent
2015-04-08T11:38:41+00:00

Cyril Cohen

2015-04-08T11:38:41+00:00

737f79e968a4832d15f6eb93b5bf24c0267fbecb