coq-mathcomp/mathcomp/Makefile, branch master Library of mathematical components formalized in Coq remove support for Coq 8.6 2019-04-04T09:48:11+00:00 Enrico Tassi 2019-04-04T09:48:11+00:00 2b40140bb9c9e2620214fd65144af1c0fef4083a 






simplified, cleaned and documented Makefile.common
2018-08-01T11:26:03+00:00

Cyril Cohen

2018-08-01T11:14:39+00:00

b83fe0ed8a8e7258c8cf55178dd619b743c8342e












agressive fix for duplicated files!
2018-07-31T14:17:07+00:00

Cyril Cohen

2018-07-31T14:17:07+00:00

629a7a065146679f14f95abf1de63a7ff3a2eacc












removing dead code + reshuffling stuff
2018-07-31T13:41:45+00:00

Cyril Cohen

2018-07-31T13:20:43+00:00

7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6












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 the script that generates the doc
2018-04-20T08:35:44+00:00

Enrico Tassi

2018-04-20T08:24:01+00:00

e9faaa3129f74c91313e5bbcf658d891bd351319












remove v8.4 code from Makefile
2018-04-20T08:35:01+00:00

Enrico Tassi

2018-04-20T07:54:12+00:00

9352fc35ebe04b8b4e9002f3cf39ee1acbab8cd2












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







fix Makefiles
2015-07-29T08:54:02+00:00

Enrico Tassi

2015-07-29T08:54:02+00:00

627a5556a079eceb5d4d56562a135d4e2ab13413












fix path of Makefile.coq-makefile
2015-07-29T08:52:00+00:00

Enrico Tassi

2015-07-29T08:52:00+00:00

5ac5791402a9f0d5277957149f99a4ce2f2d3ce8