From 17ccc484f65988f31aece43800658ebf244c4484 Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Thu, 16 May 2019 21:52:45 +0200 Subject: [PATCH] Look for CFLAGS --- config/cfg.ml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/config/cfg.ml b/config/cfg.ml index 1201a3f..cfa381c 100644 --- a/config/cfg.ml +++ b/config/cfg.ml @@ -9,4 +9,10 @@ let _ = | "false" -> [] | _ -> auto | exception Not_found -> auto in + let cflags = match Sys.getenv_opt "CFLAGS" with + | Some cflags -> [ cflags ] + | None -> [] + in + let fs = fs @ cflags in Format.(printf "(@[%a@])%!" (fun ppf -> List.iter (fprintf ppf "%s@ ")) fs) + \ No newline at end of file