infer_clone/infer/tests/build_systems/ant/Makefile

# 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.

TESTS_DIR = ../..

ANALYZER = infer
SOURCES = $(wildcard src/infer/*.java)
OBJECTS = $(patsubst %.java,ant_out/%.class,$(SOURCES))
INFERPRINT_OPTIONS = --issues-tests

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

$(OBJECTS): $(SOURCES)
	ant

infer-out/report.json: $(INFER_BIN) $(SOURCES)
	$(call silent_on_success,\
	  $(INFER_BIN) -a $(ANALYZER) --project-root $(TESTS_DIR) --inferconfig-home . -- ant)

clean:
	ant clean
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 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.`

[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			`TESTS_DIR = ../..`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago
[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			`ANALYZER = infer`
			`SOURCES = $(wildcard src/infer/*.java)`
			`OBJECTS = $(patsubst %.java,ant_out/%.class,$(SOURCES))`
			`INFERPRINT_OPTIONS = --issues-tests`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago
[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			`include $(TESTS_DIR)/java.make`
			`include $(TESTS_DIR)/base.make`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago
[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)`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago			`ant`

[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			`infer-out/report.json: $(INFER_BIN) $(SOURCES)`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago			`$(call silent_on_success,\`
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01 8 years ago			`$(INFER_BIN) -a $(ANALYZER) --project-root $(TESTS_DIR) --inferconfig-home . -- ant)`
[tests] convert ant integration test to a Makefile Summary: Time for this framework to die. This converts the ant test to a Makefile. The design is that each test or family of tests will have its own directory. Do the necessary plumbing from the toplevel Makefile so that `make test` runs the migrated tests. Reviewed By: jberdine Differential Revision: D4106298 fbshipit-source-id: 7bd694d 8 years ago
			`clean:`
			`ant clean`