From 9a864dcd6eade4c304f9731ba9bff42853a7f180 Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Fri, 7 Oct 2016 09:35:30 -0700 Subject: [PATCH] Pass $(CC) flag set by configure to ocamlopt -cc Reviewed By: jvillard Differential Revision: D3974249 fbshipit-source-id: 5fbd994 --- facebook-clang-plugins | 2 +- infer/src/Makefile | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/facebook-clang-plugins b/facebook-clang-plugins index 33f4a5b5c..dbd3bc79d 160000 --- a/facebook-clang-plugins +++ b/facebook-clang-plugins @@ -1 +1 @@ -Subproject commit 33f4a5b5c4b213998e5c19af48728a3a695884ae +Subproject commit dbd3bc79d72a49a758a6c3336172ae4f02f61346 diff --git a/infer/src/Makefile b/infer/src/Makefile index adf2e2cb6..c0309e8ec 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -23,6 +23,8 @@ OCAML_FATAL_WARNINGS = +5+6+8+10+11+12+18+19+20+23+26+29+27+32+33+34+35+37+38+39 OCAMLBUILD_OPTIONS = \ -r \ + -lflags -cc,$(CC) \ + -cflags -cc,$(CC) \ -cflags -g -lflags -g \ -cflags -short-paths \ -cflags -safe-string \