diff options
| author | Cyril Cohen | 2018-07-31 10:37:25 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-31 11:38:53 +0200 |
| commit | 4199c23da311e612cb1ae45cf5519b5f3947c3b3 (patch) | |
| tree | 4e887d501dd9d1f5d983ca236cbadcd803c8a091 /plugin | |
| parent | 6c6c907438f4179ac335e7daa9f1ed030c0c8259 (diff) | |
Rework the whole Makefile architecture
- 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
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions