diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:57 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-11-13 11:55:57 +0100 |
commit | 847554275608bafcbfad635684e588501e00ac31 (patch) | |
tree | 68de8447a0632e931f9bf6f53ab4bd74a0368466 /Makefile | |
parent | 962c8f9935b257c1df6bddfc88ec41d4822f65c3 (diff) | |
download | compcert-kvx-847554275608bafcbfad635684e588501e00ac31.tar.gz compcert-kvx-847554275608bafcbfad635684e588501e00ac31.zip |
Putting back the building rules for the paper (rules.mk)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions