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