From cbe15b3b5a034642b7b2bba3fb51d9822c65c1d0 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 8 Nov 2016 04:36:08 -0800 Subject: [PATCH] [build] move not-clang-only modules to a new (old) integration/ directory Summary: This fixes the build when `./configure --disable-c-analyzers` is used. Reviewed By: jberdine Differential Revision: D4146818 fbshipit-source-id: bec4b48 --- infer/src/Makefile | 2 +- infer/src/{clang => integration}/CaptureCompilationDatabase.ml | 0 infer/src/{clang => integration}/CaptureCompilationDatabase.mli | 0 infer/src/{clang => integration}/ClangQuotes.re | 0 infer/src/{clang => integration}/ClangQuotes.rei | 0 infer/src/{clang => integration}/CompilationDatabase.ml | 0 infer/src/{clang => integration}/CompilationDatabase.mli | 0 7 files changed, 1 insertion(+), 1 deletion(-) rename infer/src/{clang => integration}/CaptureCompilationDatabase.ml (100%) rename infer/src/{clang => integration}/CaptureCompilationDatabase.mli (100%) rename infer/src/{clang => integration}/ClangQuotes.re (100%) rename infer/src/{clang => integration}/ClangQuotes.rei (100%) rename infer/src/{clang => integration}/CompilationDatabase.ml (100%) rename infer/src/{clang => integration}/CompilationDatabase.mli (100%) diff --git a/infer/src/Makefile b/infer/src/Makefile index eb0e04872..96dc228d3 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -133,7 +133,7 @@ else EXTRA_DEPS = opensource endif -DEPENDENCIES = IR backend base checkers eradicate harness quandary $(EXTRA_DEPS) +DEPENDENCIES = IR backend base checkers eradicate harness integration quandary $(EXTRA_DEPS) # ocamlbuild command with options common to all build targets OCAMLBUILD_BASE = rebuild $(OCAMLBUILD_OPTIONS) -j $(NCPU) $(addprefix -I , $(DEPENDENCIES)) diff --git a/infer/src/clang/CaptureCompilationDatabase.ml b/infer/src/integration/CaptureCompilationDatabase.ml similarity index 100% rename from infer/src/clang/CaptureCompilationDatabase.ml rename to infer/src/integration/CaptureCompilationDatabase.ml diff --git a/infer/src/clang/CaptureCompilationDatabase.mli b/infer/src/integration/CaptureCompilationDatabase.mli similarity index 100% rename from infer/src/clang/CaptureCompilationDatabase.mli rename to infer/src/integration/CaptureCompilationDatabase.mli diff --git a/infer/src/clang/ClangQuotes.re b/infer/src/integration/ClangQuotes.re similarity index 100% rename from infer/src/clang/ClangQuotes.re rename to infer/src/integration/ClangQuotes.re diff --git a/infer/src/clang/ClangQuotes.rei b/infer/src/integration/ClangQuotes.rei similarity index 100% rename from infer/src/clang/ClangQuotes.rei rename to infer/src/integration/ClangQuotes.rei diff --git a/infer/src/clang/CompilationDatabase.ml b/infer/src/integration/CompilationDatabase.ml similarity index 100% rename from infer/src/clang/CompilationDatabase.ml rename to infer/src/integration/CompilationDatabase.ml diff --git a/infer/src/clang/CompilationDatabase.mli b/infer/src/integration/CompilationDatabase.mli similarity index 100% rename from infer/src/clang/CompilationDatabase.mli rename to infer/src/integration/CompilationDatabase.mli