From 427e8582c07bd5fcd378edb2edc3e4e0b6bb76c2 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 7 Mar 2017 09:50:38 +0000 Subject: [PATCH] Make sure migrate_driver_main comes last --- src/gen_rules.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index f6f0b948..89775730 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -715,7 +715,14 @@ module Gen(P : Params) = struct else Inl lib) in - libs @ drivers + let user_driver, migrate_driver = + List.partition_map drivers ~f:(fun lib -> + if Lib.best_name lib = migrate_driver_main then + Inr lib + else + Inl lib) + in + libs @ user_driver @ migrate_driver in (* Provide a better error for migrate_driver_main given that this is an implicit dependency *)