remove infer/Makefile.in

Summary: This is basically not used and removing it makes the Makefiles slightly less convoluted.

Reviewed By: jberdine

Differential Revision: D3322376

fbshipit-source-id: 2d7c1f8

.gitignore

@@ -27,7 +27,6 @@ _build
 /configure
 /Makefile.config
 /Makefile
-/infer/Makefile
 /infer/models/Makefile
 /infer/models/c/Makefile
 /infer/models/cpp/Makefile

Makefile.config.in

@@ -40,9 +40,9 @@ INFERPRINT_BIN = $(BIN_DIR)/InferPrint
 INFERUNIT_BIN = $(BIN_DIR)/InferUnit
 INFER_BIN = $(BIN_DIR)/infer
 INFERTRACEBUGS_BIN = $(BIN_DIR)/inferTraceBugs
-# paths relative to $(INFER_DIR)
+# paths relative to $(ROOT_DIR)
-INFER_BIN_RELPATH = bin/infer
+INFER_BIN_RELPATH = infer/bin/infer
-INFERTRACEBUGS_BIN_RELPATH = bin/inferTraceBugs
+INFERTRACEBUGS_BIN_RELPATH = infer/bin/inferTraceBugs
 
 ifeq (@BUILD_JAVA_ANALYZERS@,yes)
 JAVA_HOME=@USER_JAVA_HOME@

Makefile.in

@@ -31,8 +31,17 @@ TARGETS_TO_TEST := $(shell echo $(TARGETS_TO_TEST))
 
 all: infer inferTraceBugs
 
-infer:
+$(INFER_BIN_RELPATH) $(INFERTRACEBUGS_BIN_RELPATH):
-	$(MAKE) -C $(INFER_DIR) infer
+	($(REMOVE) $@ && \
+	 cd $(@D) && \
+	 $(LN_S) ../lib/python/$(@F) $(@F))
+
+infer: $(INFER_BIN_RELPATH)
+	$(MAKE) -C $(SRC_DIR) infer
+ifeq (@BUILD_JAVA_ANALYZERS@,yes)
+	$(MAKE) -C $(ANNOTATIONS_DIR)
+endif
+	$(MAKE) -C $(MODELS_DIR) all
 
 ifeq (@BUILD_C_ANALYZERS@,yes)
 infer: clang_plugin
@@ -63,6 +72,8 @@ ifeq (@IS_RELEASE_TREE@,no)
 	  CLANG_INCLUDES=@CLANG_INCLUDES@
 endif
 
+inferTraceBugs: $(INFERTRACEBUGS_BIN_RELPATH)
+
 test_build: clang_plugin
 	$(MAKE) -C $(SRC_DIR) test_build
 
@@ -83,9 +94,6 @@ ifeq (@BUILD_JAVA_ANALYZERS@,yes)
 	NO_BUCKD=1 ./infer/tests/build_systems/build_integration_tests.py
 endif
 
-inferTraceBugs:
-	$(MAKE) -C $(INFER_DIR) $(INFERTRACEBUGS_BIN_RELPATH)
-
 inferTraceBugs_test: infer
 	$(INFER_BIN) -o __test-infer-out__ -- \
 	  javac $(EXAMPLES_DIR)/Hello.java \
@@ -214,7 +222,10 @@ ifeq (@BUILD_C_ANALYZERS@,yes)
 	$(MAKE) -C $(FCP_DIR)/clang-ocaml clean
 endif
 endif
-	$(MAKE) -C $(INFER_DIR) clean
+	$(MAKE) -C $(SRC_DIR) clean
+	$(MAKE) -C $(ANNOTATIONS_DIR) clean
+	$(MAKE) -C $(MODELS_DIR) clean
+	$(REMOVE) $(INFER_BIN_RELPATH) $(INFERTRACEBUGS_BIN_RELPATH)
 
 conf-clean: clean
 	$(REMOVE) infer/lib/python/inferlib/*.pyc
@@ -228,7 +239,6 @@ conf-clean: clean
 	$(REMOVE) config.log
 	$(REMOVE) config.status
 	$(REMOVE) configure
-	$(REMOVE) infer/Makefile
 	$(REMOVE) infer/models/Makefile
 	$(REMOVE) infer/models/c/Makefile
 	$(REMOVE_DIR) infer/models/c/out/

configure.ac

@@ -268,7 +268,6 @@ AC_SUBST([NCPU])
 AC_CONFIG_FILES([
   Makefile.config
   Makefile
-  infer/Makefile
   infer/models/Makefile
   infer/models/c/Makefile
   infer/models/cpp/Makefile

infer/Makefile.in

@@ -1,33 +0,0 @@
-# Copyright (c) 2015 - present Facebook, Inc.
-# All rights reserved.
-#
-# This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
-
-@SET_MAKE@
-ROOT_DIR = ..
-
-include $(ROOT_DIR)/Makefile.config
-
-all: infer $(INFER_BIN_RELPATH) $(INFERTRACEBUGS_BIN_RELPATH)
-
-$(INFER_BIN_RELPATH) $(INFERTRACEBUGS_BIN_RELPATH):
-	($(REMOVE) $@ && \
-	 cd $(@D) && \
-	 $(LN_S) ../lib/python/$(@F) $(@F))
-
-infer: $(INFER_BIN_RELPATH)
-	$(MAKE) -C $(SRC_DIR) infer
-ifeq (@BUILD_JAVA_ANALYZERS@,yes)
-	$(MAKE) -C $(ANNOTATIONS_DIR)
-endif
-	$(MAKE) -C $(MODELS_DIR) all
-
-clean:
-	$(MAKE) -C $(SRC_DIR) clean
-	$(MAKE) -C $(ANNOTATIONS_DIR) clean
-	$(MAKE) -C $(MODELS_DIR) clean
-	$(REMOVE) $(INFER_BIN_RELPATH) $(INFERTRACEBUGS_BIN_RELPATH)
-
-.PHONY: all clean infer