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 /library | |
| 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 'library')
0 files changed, 0 insertions, 0 deletions