aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile.common
AgeCommit message (Expand)Author
2021-01-16Drop support for Coq 8.10 and deprecate the `deprecate` notationKazuhiko Sakaguchi
2020-09-14test-suite works both in local and system wide modeEnrico Tassi
2020-09-12avoid all.voEnrico Tassi
2020-09-11avoid rebuildEnrico Tassi
2020-06-27Fix some Makefile issues and rename `hierarchy_test.v` to `test_hierarchy_all.v`Kazuhiko Sakaguchi
2019-11-29Fix MakefileKazuhiko Sakaguchi
2019-11-25Have to change directory before checking for the dependency fileYves Bertot
2019-11-25adds a comment so that dead code can be remove when it is no longer usedYves Bertot
2019-11-25dependency file will change name after coq-8.10Yves Bertot
2019-11-25things that are needed to make 'make doc' workYves Bertot
2019-11-25Add missing dependenciesMaxime Dénès
2019-11-25Add Makefile target to build the docMaxime Dénès
2019-10-02Fix and improve the test suite and MakefileKazuhiko Sakaguchi
2018-10-26fix some bugs in MakefileCyril Cohen
2018-08-01simplified, cleaned and documented Makefile.commonCyril Cohen
2018-07-31some things should always be doneCyril Cohen
2018-07-31removing dead code + reshuffling stuffCyril Cohen
2018-07-31Rework the whole Makefile architectureCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:29:08 +0000