From 7ab84fd3656c54cf466d815c694df260d3058c77 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 2 Oct 2023 09:36:27 -0700 Subject: [PATCH] fix validate and tests Reviewed By: jvillard Differential Revision: D49822045 Privacy Context Container: L1122176 fbshipit-source-id: 53bcc9cd9262306767c1ff217802aa3dc561435f --- Makefile | 8 ++++++++ .../tests/codetoanalyze/erlang/fb-pulse/Makefile | 15 +++++++++++++++ 2 files changed, 23 insertions(+) create mode 100644 infer/tests/codetoanalyze/erlang/fb-pulse/Makefile diff --git a/Makefile b/Makefile index 1768bdf1ed2..58fccea9aa7 100644 --- a/Makefile +++ b/Makefile @@ -86,9 +86,17 @@ ifeq ($(IS_FACEBOOK_TREE),yes) DIRECT_TESTS += \ c_fb-pulse \ cpp_fb-config-usage \ + +ifeq ($(BUILD_ERLANG_ANALYZERS),yes) +ifneq ($(ERLC),no) +ifneq ($(ESCRIPT),no) +DIRECT_TESTS += \ erlang_fb-pulse \ endif +endif +endif +endif ifneq ($(BUCK),no) BUILD_SYSTEMS_TESTS += \ diff --git a/infer/tests/codetoanalyze/erlang/fb-pulse/Makefile b/infer/tests/codetoanalyze/erlang/fb-pulse/Makefile new file mode 100644 index 00000000000..5878d4bdefb --- /dev/null +++ b/infer/tests/codetoanalyze/erlang/fb-pulse/Makefile @@ -0,0 +1,15 @@ +# Copyright (c) Facebook, Inc. and its affiliates. +# +# This source code is licensed under the MIT license found in the +# LICENSE file in the root directory of this source tree. + +TESTS_DIR = ../../.. + +INFER_OPTIONS = --pulse-only --debug-exceptions --project-root $(TESTS_DIR) --print-types +INFERPRINT_OPTIONS = --issues-tests + +SOURCES = $(wildcard *.erl) + +include $(TESTS_DIR)/erlc.make + +infer-out/report.json: $(MAKEFILE_LIST)