diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 15:09:24 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 15:09:24 -0500 |
commit | 4e783ae1e73875e34026baff95afc46351746098 (patch) | |
tree | 9dce3b200a7a3a8bf195e3dcb6185fcfae028c10 /INSTALL | |
parent | 4f464870ea1f0f45abde3c10796b3f9268fbe757 (diff) |
Fix build on platforms without ocamlopt
This includes disabling all unit tests, which require ocamlopt and
“don’t test much yet” anyway.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions