Nicolás Ojeda Bär
|
540996d21e
|
Remove Spacetime
|
2020-10-08 20:28:12 +02:00 |
Thomas Refis
|
821391667f
|
dune: depend on new runtime files
|
2020-06-24 15:15:36 +02:00 |
Gabriel Scherer
|
17dcf49610
|
please check-typo despite all the sand
|
2020-05-18 15:15:04 +02:00 |
Gabriel Scherer
|
20e1d6e478
|
fix 'dune build @libs' after #9257
|
2020-05-06 21:37:08 +02:00 |
Gabriel Scherer
|
9eb9d04751
|
fix the dune build
|
2020-05-03 10:11:47 +02:00 |
Thomas Refis
|
98ea4cc633
|
dune: add an alias @libs that is buildable on 4.09
|
2019-08-28 15:05:16 +01:00 |
Thomas Refis
|
d68e0e2077
|
Provide a way to build the bytecode compiler using Dune (#2093)
|
2018-10-10 16:16:00 +01:00 |