matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' into path-table

This commit is contained in:
Rudi Grinberg 2018-06-06 22:24:18 +07:00 committed by GitHub
parent 6ada532b10 0fafebe9be
commit 2a85cbe074
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/preprocessing.ml
View File

@ -324,8 +324,13 @@ let gen_rules sctx components =
let ppx_driver_exe sctx libs ~dir_kind =
let names =
List.rev_map libs ~f:Lib.name
|> List.sort ~compare:String.compare
let names = List.rev_map libs ~f:Lib.name in
match (dir_kind : File_tree.Dune_file.Kind.t) with
| Dune -> List.sort names ~compare:String.compare
| Jbuild ->
match names with
| last :: others -> List.sort others ~compare:String.compare @ [last]
| [] -> []
in
let scope_for_key =
List.fold_left libs ~init:None ~f:(fun acc lib ->