From cd6812f2693ea2fdef6ee6fe0d9208625750daa4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Dimino?= Date: Mon, 5 Mar 2018 17:59:56 +0000 Subject: [PATCH] Accept and ignore ppx.driver fields (#588) --- CHANGES.md | 3 +++ src/jbuild.ml | 1 + 2 files changed, 4 insertions(+) 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