infer_clone/infer/tests/javac.make

# Copyright (c) 2016 - 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.

# Makefiles that include this one must define TESTS_DIR and then include
# $(TESTS_DIR)/javac.make.
#
# Makefiles that include this one must define the ANALYZER and SOURCES
# variables, and may optionally define INFER_OPTIONS, INFERPRINT_OPTIONS,
# CLEAN_EXTRA.

OBJECTS = $(patsubst %.java,%.class,$(SOURCES))

include $(TESTS_DIR)/java.make
include $(TESTS_DIR)/base.make

PROJECT_ROOT ?= $(TESTS_DIR)

$(OBJECTS): $(SOURCES)
	javac -cp $(CLASSPATH) $(SOURCES)

infer-out/report.json: $(JAVA_DEPS) $(SOURCES)
	$(call silent_on_success,\
	  $(INFER_BIN) -a $(ANALYZER) --inferconfig-home . --project-root $(PROJECT_ROOT) $(INFER_OPTIONS) -- \
	    javac -cp $(CLASSPATH) $(SOURCES))
[tests] share javac.make more broadly Summary: - rename java.make -> javac.make, config.make -> java.make, and move to infer/tests/ so it's easier to use from infer/tests/build_systems/ - use these from ant's test Makefile, much code reuse! - factor out common functionality between java and clang A wrinkle: sorting is now done the same way for --issues-tests and --issues-txt, which produces bogus (but still as deterministic) sorting for --issues-txt. This is more of a cosmetic issue, but I hope to fix it in a later diff that gets rid of calls to `sort` in favour of sorting directly from `InferPrint`. Reviewed By: jberdine Differential Revision: D4166841 fbshipit-source-id: ed6f232 8 years ago			`# Copyright (c) 2016 - 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.`

			`# Makefiles that include this one must define TESTS_DIR and then include`
			`# $(TESTS_DIR)/javac.make.`
			`#`
			`# Makefiles that include this one must define the ANALYZER and SOURCES`
			`# variables, and may optionally define INFER_OPTIONS, INFERPRINT_OPTIONS,`
			`# CLEAN_EXTRA.`

			`OBJECTS = $(patsubst %.java,%.class,$(SOURCES))`

			`include $(TESTS_DIR)/java.make`
			`include $(TESTS_DIR)/base.make`

[tests] move javac test to a Makefile Reviewed By: jberdine Differential Revision: D4329635 fbshipit-source-id: 143ea87 8 years ago			`PROJECT_ROOT ?= $(TESTS_DIR)`

[tests] share javac.make more broadly Summary: - rename java.make -> javac.make, config.make -> java.make, and move to infer/tests/ so it's easier to use from infer/tests/build_systems/ - use these from ant's test Makefile, much code reuse! - factor out common functionality between java and clang A wrinkle: sorting is now done the same way for --issues-tests and --issues-txt, which produces bogus (but still as deterministic) sorting for --issues-txt. This is more of a cosmetic issue, but I hope to fix it in a later diff that gets rid of calls to `sort` in favour of sorting directly from `InferPrint`. Reviewed By: jberdine Differential Revision: D4166841 fbshipit-source-id: ed6f232 8 years ago			`$(OBJECTS): $(SOURCES)`
			`javac -cp $(CLASSPATH) $(SOURCES)`

[make] make frontend tests more functional Summary: These direct tests were still mostly relying on PHONY targets. Reviewed By: jberdine Differential Revision: D4326469 fbshipit-source-id: 37b2d0a 8 years ago			`infer-out/report.json: $(JAVA_DEPS) $(SOURCES)`
[tests] share javac.make more broadly Summary: - rename java.make -> javac.make, config.make -> java.make, and move to infer/tests/ so it's easier to use from infer/tests/build_systems/ - use these from ant's test Makefile, much code reuse! - factor out common functionality between java and clang A wrinkle: sorting is now done the same way for --issues-tests and --issues-txt, which produces bogus (but still as deterministic) sorting for --issues-txt. This is more of a cosmetic issue, but I hope to fix it in a later diff that gets rid of calls to `sort` in favour of sorting directly from `InferPrint`. Reviewed By: jberdine Differential Revision: D4166841 fbshipit-source-id: ed6f232 8 years ago			`$(call silent_on_success,\`
[tests] move javac test to a Makefile Reviewed By: jberdine Differential Revision: D4329635 fbshipit-source-id: 143ea87 8 years ago			`$(INFER_BIN) -a $(ANALYZER) --inferconfig-home . --project-root $(PROJECT_ROOT) $(INFER_OPTIONS) -- \`
			`javac -cp $(CLASSPATH) $(SOURCES))`