[oss] more flexible way to have opensource stubs

Summary:
- Open-source stubs are in a library with no dependencies
- That library is included in InferBase, but in facebook builds it
  contains no modules

Reviewed By: ezgicicek

Differential Revision: D20922574

fbshipit-source-id: af918a687

.gitignore

@@ -163,6 +163,7 @@ infer/src/.project
 /infer/dune-workspace
 /infer/src/dune.common
 /infer/src/dune
+/infer/src/opensource/dune
 .merlin
 
 # generated when looking for dead code

infer/src/Makefile

@@ -76,7 +76,7 @@ GENERATED_FROM_AUTOCONF = dune.common ../dune-workspace base/Version.ml
 .PHONY: dune-workspace
 dune-workspace: ../dune-workspace
 
-GENERATED_DUNES += dune
+GENERATED_DUNES += dune opensource/dune
 
 SRC_BUILD_COMMON = $(GENERATED_FROM_AUTOCONF) $(GENERATED_DUNES) $(OCAML_SOURCES)
 ifeq ($(BUILD_C_ANALYZERS),yes)
@@ -243,6 +243,7 @@ $(GENERATED_DUNES): dune.common
 
 dune: dune.in
 deadcode/dune: deadcode/dune.in
+opensource/dune: opensource/dune.in
 
 .PHONY: clean
 clean:

infer/src/base/dune

@@ -6,9 +6,8 @@
 (library
  (name InferBase)
  (public_name infer.InferBase)
- (flags
+ (flags (:standard -open Core -open InferStdlib -open IStd -open InferGenerated -open OpenSource))
-  (:standard -open Core -open InferStdlib -open IStd -open InferGenerated))
  (libraries cmdliner core mtime.clock.os parmap re sqlite3 zip InferGenerated
-   InferStdlib)
+   InferStdlib OpenSource)
  (preprocess
   (pps ppx_compare ppx_enumerate)))

infer/src/dune.in

@@ -10,27 +10,24 @@
 let ( ^/ ) = Filename.concat
 
 let source_dirs =
-  (if facebook then "facebook" else "opensource")
+  (if clang then ["al"; "clang"; "unit" ^/ "clang"] else ["clang_stubs"; "unit" ^/ "clang_stubs"])
-  :: ( ( if clang then ["al"; "clang"; "unit" ^/ "clang"]
+  @ [ (if java then "java" else "java_stubs")
-       else ["clang_stubs"; "unit" ^/ "clang_stubs"] )
+    ; "absint"
-     @ [ (if java then "java" else "java_stubs")
+    ; "backend"
-       ; "absint"
+    ; "biabduction"
-       ; "backend"
+    ; "bufferoverrun"
-       ; "biabduction"
+    ; "checkers"
-       ; "bufferoverrun"
+    ; "concurrency"
-       ; "checkers"
+    ; "cost"
-       ; "concurrency"
+    ; "integration"
-       ; "cost"
+    ; "labs"
-       ; "integration"
+    ; "nullsafe"
-       ; "labs"
+    ; "pulse"
-       ; "nullsafe"
+    ; "quandary"
-       ; "pulse"
+    ; "test_determinator"
-       ; "quandary"
+    ; "topl"
-       ; "scuba"
+    ; "unit"
-       ; "test_determinator"
+    ; "unit" ^/ "nullsafe" ]
-       ; "topl"
-       ; "unit"
-       ; "unit" ^/ "nullsafe" ] )
 
 
 let infer_binaries = ["infer"; "inferunit"] @ if facebook then ["InferCreateTraceViewLinks"] else []
@@ -60,6 +57,8 @@ let infer_cflags =
   [ "-open"
   ; "Core"
   ; "-open"
+  ; "OpenSource"
+  ; "-open"
   ; "InferStdlib"
   ; "-open"
   ; "IStd"

infer/src/opensource/FbCostModels.ml

@@ -5,8 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 module Call = struct
-  let dispatch = ProcnameDispatcher.Call.make_dispatcher []
+  let dispatch _ _ _ = None
 end

infer/src/opensource/FbCostModels.mli

@@ -5,8 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 module Call : sig
-  val dispatch : (Tenv.t, CostUtils.model, unit) ProcnameDispatcher.Call.dispatcher
+  val dispatch : 'context -> 'procname_t -> 'arg_payload_FuncArg_t_list -> 'f option
 end

infer/src/opensource/FbPatternMatch.ml

@@ -5,6 +5,4 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 let is_subtype_of_fb_service_handler _tenv _name = false

infer/src/opensource/FbPatternMatch.mli

@@ -5,6 +5,4 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
+val is_subtype_of_fb_service_handler : 'tenv_t -> 'typ_Name_t -> bool
-
-val is_subtype_of_fb_service_handler : Tenv.t -> Typ.Name.t -> bool

infer/src/opensource/FbThreadSafety.ml

@@ -5,8 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 let is_custom_init _ _ = false
 
 let is_logging_method _ = false

infer/src/opensource/FbThreadSafety.mli

@@ -5,12 +5,10 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
+val is_custom_init : 'tenv_t -> 'procname_t -> bool
 
-val is_custom_init : Tenv.t -> Procname.t -> bool
+val is_logging_method : 'procname_t -> bool
 
-val is_logging_method : Procname.t -> bool
+val get_fbthreadsafe_class_annot : 'procname_t -> 'tenv_t -> (string * string) option
-
-val get_fbthreadsafe_class_annot : Procname.t -> Tenv.t -> (string * string) option
 
 val message_fbthreadsafe_class : string -> string -> string

infer/src/opensource/Scribe.ml

@@ -5,8 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 type category = InferEvents
 
 let log _ _ = ()

infer/src/opensource/Scribe.mli

@@ -5,8 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-open! IStd
-
 type category = InferEvents
 
 val log : category -> string list -> unit

infer/src/opensource/dune.in

@@ -0,0 +1,21 @@
+(* -*- tuareg -*- *)
+(*
+ * 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.
+ *)
+(* NOTE: prepend dune.common to this file! *)
+
+(* include the open-source modules only in open-source build modes, otherwise this library is empty *)
+
+;;
+Jbuild_plugin.V1.send
+  (Format.sprintf {|
+(library
+ (name OpenSource)
+ (public_name infer.OpenSource)
+  %s
+)
+|}
+     (if facebook then "(modules)" else "(modules :standard)"))