From a07a9a84ec231ff8bead214c59fcc6e28210dff4 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 6 Mar 2017 11:57:27 +0000 Subject: [PATCH] Use more standard command line options for ppx drivers --- src/gen_rules.ml | 4 ++-- src/ml_kind.ml | 2 ++ src/ml_kind.mli | 1 + 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index 6d7bd71e..99426c3e 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -714,9 +714,9 @@ module Gen(P : Params) = struct (Dep ppx_exe) [ Dyn (specific_args_for_ppx_rewriters ~dir ~lib_name) ; As flags - ; A "-dump-ast" + ; A "--dump-ast" ; A "-o"; Target dst - ; Ml_kind.flag kind; Dep src + ; Ml_kind.ppx_driver_flag kind; Dep src ]) ) ) diff --git a/src/ml_kind.ml b/src/ml_kind.ml index a7d906da..debd2107 100644 --- a/src/ml_kind.ml +++ b/src/ml_kind.ml @@ -12,6 +12,8 @@ let to_string = choose "impl" "intf" let flag t = choose (Arg_spec.A "-impl") (A "-intf") t +let ppx_driver_flag t = choose (Arg_spec.A "--impl") (A "--intf") t + let ext = choose ".ml" ".mli" module Dict = struct diff --git a/src/ml_kind.mli b/src/ml_kind.mli index 277c69f7..e478a095 100644 --- a/src/ml_kind.mli +++ b/src/ml_kind.mli @@ -10,6 +10,7 @@ val to_string : t -> string val ext : t -> string val flag : t -> _ Arg_spec.t +val ppx_driver_flag : t -> _ Arg_spec.t module Dict : sig type kind = t