Commit Graph

14 Commits

Author SHA1 Message Date
Jeremie Dimino 3aef1d6f3c Revert "Rename _build to _jbuild (#13)"
This reverts commit 89c15ca2c5.

Keep _build as the build directory until we get a better consensus.
2017-03-01 16:09:02 +00:00
Rudi Grinberg 89c15ca2c5 Rename _build to _jbuild (#13)
_build is already quite overloaded.
2017-03-01 13:37:05 +00:00
Jérémie Dimino e0a8e77614 Implement root lookup 2017-02-28 07:32:15 +00:00
Jeremie Dimino bad68218b9 Add a --workspace option 2017-02-27 15:07:37 +00:00
Jeremie Dimino 16c7f02375 Improve make install/uninstall targets 2017-02-27 12:06:59 +00:00
Jérémie Dimino 8d52cba130 Add support for a meta language in jbuild files 2017-02-26 12:38:36 +00:00
Jérémie Dimino a326842161 Update Makefile 2017-02-25 14:06:03 +00:00
Jeremie Dimino a0ce6a68aa Install all manual pages 2017-02-24 17:36:39 +00:00
Jeremie Dimino 9c6e367089 Add a development mode and cleanup the code 2017-02-24 12:19:02 +00:00
Jeremie Dimino bb996f696b Split bulding boot.exe and running it
This is to make development on jbuilder itself easier.
2017-02-23 10:04:16 +00:00
Thomas Refis f00fd49f0b 114.33+05 2017-02-21 17:13:30 +00:00
Jeremie Dimino 405971694c 114.20+69 2016-12-15 16:54:46 +00:00
Jeremie Dimino cdcd7e907f 114.20+69 2016-12-02 13:54:32 +00:00
Jeremie Dimino 583b55f527 findlib support 2016-11-13 11:13:47 +00:00