Commit Graph

10 Commits

Author SHA1 Message Date
Anil Madhavapeddy 83dda5bb5d remove `release` target as `dune-release` can be used now 2019-01-31 10:31:59 +00:00
Anil Madhavapeddy 641af3fd63 port build from jbuilder to dune 2019-01-15 09:50:54 +00:00
Jeremie Dimino 202917d9d3 Resurect UTop_main.interact 2017-05-26 15:26:27 +01:00
Jeremie Dimino a1d147022a Update the examples 2017-05-26 14:43:45 +01:00
Jeremie Dimino 4826d0558a Added comment in Makefile 2017-04-04 13:51:58 +01:00
Jérémie Dimino ba3d278b32 Switch to jbuilder 2017-04-04 13:36:28 +01:00
Jeremie Dimino 5e607f898f change annoying `make install` behavior 2016-08-15 11:01:22 +01:00
Jeremie Dimino aab3878dd8 ignore errors in oasis-generated code
They are none of our concern...
2016-03-02 17:47:00 +00:00
Peter Zotov 35419a3284 Expose API documentation on github pages.
Also, unbreak documentation builds with style.css,
and use @dbuenzli's style, which is quite nicer than
the existing one.
2014-10-28 03:40:23 +03:00
Jérémie Dimino 6e911b41dc Add a Makefile
It compiles setup.ml to a native executable.
2012-10-17 11:36:33 +02:00