diff --git a/CHANGES.md b/CHANGES.md index 6745a04a..71721662 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -10,6 +10,9 @@ next - Reduce interleaving in the scheduler in an attempt to make Jbuilder keep file descriptors open for less long (#586) +- Accept and ignore `ppx.driver` fields in library stanzas, in + preparation for the generic ppx driver system (#588) + 1.0+beta18 (25/02/2018) ----------------------- diff --git a/src/jbuild.ml b/src/jbuild.ml index ffab7cf7..3f08aef7 100644 --- a/src/jbuild.ml +++ b/src/jbuild.ml @@ -660,6 +660,7 @@ module Library = struct field "self_build_stubs_archive" (option string) ~default:None >>= fun self_build_stubs_archive -> field_b "no_dynlink" >>= fun no_dynlink -> Sub_system_info.record_parser () >>= fun sub_systems -> + field "ppx.driver" ignore ~default:() >>= fun () -> return { name ; public