diff options
| author | Emilio Jesus Gallego Arias | 2018-09-30 18:49:34 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-09 14:00:11 +0200 |
| commit | 368d854566ee076618be625d0223657d31f8e13d (patch) | |
| tree | 79734c4d8fe5a0966db2a0b7d317c608fa319b1b /default.nix | |
| parent | 59de2827b63b5bc475452bef385a2149a10a631c (diff) | |
[test-suite] Use ocamlfind to locate Coq libraries in unit tests.
This is slightly more robust and allows to run the test suite with
Dune which may place OCaml objects differently.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions