This website requires JavaScript.
Explore
Help
Sign In
matthieu
/
dune
Watch
1
Star
0
Fork
You've already forked dune
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
a1812fccd5
dune
/
bin
History
Jeremie Dimino
a1812fccd5
Add INSIDE_DUNE to detect when we are running from unside Dune
...
And use the following defaults: -j 1 --root . --display quiet
2018-04-03 11:43:07 +08:00
..
jbuild
Add an "executable" stanza and make it easier to install executables
2017-03-22 15:09:26 +00:00
main.ml
Add INSIDE_DUNE to detect when we are running from unside Dune
2018-04-03 11:43:07 +08:00
main.mli
added jbuilder extract-makefile
2017-05-18 19:05:01 +01:00