diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-10-31 11:49:42 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-10-31 11:49:42 +0100 |
commit | 029329c8adc955d9ebe9030074cce0df9dcfa5f7 (patch) | |
tree | aa4710f853f74020f6cb108114884b177ce61ebd /test/raytracer/Makefile | |
parent | a0844a9b6eb88f9e75f7305e8d1505cf502fb81a (diff) | |
download | compcert-029329c8adc955d9ebe9030074cce0df9dcfa5f7.tar.gz compcert-029329c8adc955d9ebe9030074cce0df9dcfa5f7.zip |
Raise minimal required versions for OCaml and Coq (#203)
At least OCaml 4.05 is now required as well as Coq 8.8.
Diffstat (limited to 'test/raytracer/Makefile')
0 files changed, 0 insertions, 0 deletions