matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,716 Commits 50 Branches 27 Tags 8.1 MiB
Commit Graph

1716 Commits

Author SHA1 Message Date
Rudi Grinberg 8f16afe293 Fix merlin generation 
The optional build contexts were being dropped from the obj dirs instead of the
source dirs.

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-30 14:39:47 +07:00
Rudi Grinberg 62edd42d8a
Merge pull request #821 from emillon/doc-jbuilder-utop-args 
Add an example for jbuilder utop
 2018-05-30 02:12:52 +07:00
Etienne Millon 98b3e07efa Add an example for jbuilder utop 
This clarifies the use case. This replaces the emacs flag with something
more likely to be used in a shell session: implicit bindings.

Closes #727

Signed-off-by: Etienne Millon <etienne@cryptosense.com>
 2018-05-29 13:24:24 +02:00
Rudi Grinberg 0cdf57e47b
Merge pull request #818 from rgrinberg/glob-optimize 
Change Paths_glob to return a set of paths
 2018-05-29 02:58:03 +07:00
Rudi Grinberg 85e4b13780 Change Paths_glob to return a set of paths 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-29 02:24:52 +07:00
Jérémie Dimino 1860438605
Add a jbuilder transition package (#796) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 18:19:30 +01:00
Jeremie Dimino d2b66279f6 Use Sys.{win32,cygwin} rather than Sys.os_type 
The former functions are optimized away while the latter isn't.

Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 17:02:51 +01:00
Jeremie Dimino 547998d6c6 Fix an issue when a file is part of several packages 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 13:47:55 +01:00
Rudi Grinberg c5c4b164b7
Merge pull request #813 from rgrinberg/no-interning 
Add No_interning module for easy experimentation
 2018-05-28 19:19:00 +07:00
Rudi Grinberg 2b7ee377af
Merge branch 'master' into no-interning 2018-05-28 19:18:21 +07:00
Rudi Grinberg 73889e4451
Merge pull request #815 from rgrinberg/remove-path-set-conversion 
Remove an extra conversion in rules_for_files
 2018-05-28 18:38:16 +07:00
Rudi Grinberg 665c251678
Merge branch 'master' into remove-path-set-conversion 2018-05-28 18:38:04 +07:00
Rudi Grinberg 4a0e5a76af Remove more Path <-> List conversion in rules_for_files 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 18:04:48 +07:00
Rudi Grinberg 836b27ae2b Remove an extra conversion in rules_for_files 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 17:52:05 +07:00
Rudi Grinberg 1ce3dbe401
Merge pull request #809 from rgrinberg/explode-path 
Explode path fixes
 2018-05-28 17:07:48 +07:00
Rudi Grinberg da8064893c Add No_interning module for easy experimentation 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:51:37 +07:00
Rudi Grinberg 2bb9895817 Make explode_path work in 1 pass 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:38:35 +07:00
Rudi Grinberg da469e66f0 Fix explode_path to work on absolute paths 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:36:40 +07:00
Rudi Grinberg 270e1ce846
Merge pull request #810 from rgrinberg/suffix-prefix-fast 
Check suffix and prefix without allocation
 2018-05-28 14:34:33 +07:00
Rudi Grinberg 7b824febf3
Merge branch 'master' into suffix-prefix-fast 2018-05-28 14:30:53 +07:00
Rudi Grinberg fe9e6fb8c9
Make Interned generative again (#808) 
I accidentally removed this in the last PR. I think it should probably be brought back.

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:18:10 +07:00
Rudi Grinberg 6f3467ad96
Merge branch 'master' into suffix-prefix-fast 2018-05-28 14:16:13 +07:00
Jeremie Dimino b31d281949 Add Module_compilation.ocamlc_i 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 3bd9addeb2 Use Compilation_context in menhir 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino c9ead23c7d Add Compilation_context 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 69af40dced Compute includes outside of build_modules 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 634cd25b1b Allow to compute the deps of an auxiliary module 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino cc7bd5ebb1 Allow modules to be only preprocessed and not linted 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino ac1c407cab Split Preproressing.pp_and... in two functions 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 5c4027aff8 Re-work the code to handle (include ...) 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Jeremie Dimino d211272d24 Ignore jbuild_version stanzas 
These are no longer necessary as they are super-seeded by (lang
...) stanzas in dune-project files

Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Jeremie Dimino cb6baa6c96 Make Stanza.t an open type 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Rudi Grinberg 89b0e397f7 Check suffix and prefix without allocation 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-27 01:23:55 +07:00
Rudi Grinberg e5f873da15 Make Interned generative again 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-26 17:14:00 +07:00
Rudi Grinberg 88e71c3432
Speed up merlin generation (#805) 
Improve merlin generation by minimizing intermediate strings and reusing a buffer.
 2018-05-26 11:04:21 +07:00
Rudi Grinberg 37366ea63f
Merge pull request #804 from rgrinberg/remove-extra-conversion 
Remove extra set to list conversion
 2018-05-25 19:17:45 +07:00
Rudi Grinberg 15ce5211b8
Merge branch 'master' into remove-extra-conversion 2018-05-25 19:17:38 +07:00
Rudi Grinberg e27077b86b
Merge pull request #793 from avsm/odoc-master-titles 
Fix doc generation with odoc-master branch
 2018-05-25 13:51:00 +07:00
Rudi Grinberg f0e0bf5156 Remove extra set to list conversion 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-25 12:06:22 +07:00
Jérémie Dimino 459d17fc13
Merge branch 'master' into odoc-master-titles 2018-05-24 17:37:28 +01:00
Rudi Grinberg 1e3b90c1d6
Merge pull request #800 from rgrinberg/interned-stdune 
Move Interned to Stdune
 2018-05-24 21:05:52 +07:00
Rudi Grinberg d3edc454ac Add initial size to interned 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 20:51:12 +07:00
Rudi Grinberg cbf2727209 Add a resizing policy for Interned 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 20:22:13 +07:00
Rudi Grinberg 1aa6209584 Move interned to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:23:02 +07:00
Rudi Grinberg 274bb70994 Move fmt to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:22:55 +07:00
Rudi Grinberg 6b130e809c Move int sets and maps to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:22:36 +07:00
Rudi Grinberg 1dd9262ecf
Merge pull request #798 from rgrinberg/remove-alias 
Remove aliases of Path.{Set,Map}
 2018-05-24 17:38:19 +07:00
Rudi Grinberg f838c89d74 Remove aliases of Path.{Set,Map} 
They save very little in terms of typing but grepping harder than it should be

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 17:34:32 +07:00
Rudi Grinberg 5310181bed
Merge pull request #799 from rgrinberg/paths-set 
Replace dyn_paths with dyn_path_set
 2018-05-24 17:32:47 +07:00
Rudi Grinberg 8e8cda01b2 Replace dyn_paths with dyn_path_set 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 14:56:39 +07:00