From 7ed2425320327fc927045abd983f5db5027fd9c1 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 6 May 2016 11:31:05 -0700
Subject: [PATCH] Incorporate _tags file into Makefile

Summary:
Handle building in debug mode by passing command line options set in
the Makefile, as all the other configuration of ocamlbuild is done
through command line options.

Reviewed By: jvillard

Differential Revision: D3202085

fb-gh-sync-id: d467019
fbshipit-source-id: d467019
---
 infer/src/Makefile.in | 2 ++
 infer/src/_tags       | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)
 delete mode 100644 infer/src/_tags

diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index 05bfe9f55..63d622e80 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -33,6 +33,8 @@ OCAML_FATAL_WARNINGS = +5+6+8+10+11+12+18+19+20+26+29+27+32+33+34+35+37+38+39
 
 OCAMLBUILD_OPTIONS = \
                      -classic-display \
+                     -r \
+                     -cflags -g -lflags -g \
                      -cflags -short-paths \
                      -cflags -safe-string \
                      -cflags -principal \
diff --git a/infer/src/_tags b/infer/src/_tags
deleted file mode 100644
index 536456678..000000000
--- a/infer/src/_tags
+++ /dev/null
@@ -1 +0,0 @@
-true: debug