|
|
|
@ -10,27 +10,25 @@ let ( ^/ ) = Filename.concat
|
|
|
|
|
|
|
|
|
|
let sources =
|
|
|
|
|
let src_dirs =
|
|
|
|
|
(* if you update the list of source directories, do not forget to also update .merlin *)
|
|
|
|
|
"."
|
|
|
|
|
:: ( if facebook then
|
|
|
|
|
(* do not use the symlinks in src/facebook/: jbuilder will not detect that the files have changed if they are hidden behind a symlink *)
|
|
|
|
|
"../../facebook/skel/infer/src/facebook"
|
|
|
|
|
else "opensource" )
|
|
|
|
|
:: ( ( if clang then ["clang"; ("unit" ^/ "clang")]
|
|
|
|
|
else ["clang_stubs"; ("unit" ^/ "clang_stubs")] )
|
|
|
|
|
@ [ (if java then "java" else "java_stubs")
|
|
|
|
|
; "absint"
|
|
|
|
|
; "backend"
|
|
|
|
|
; "base"
|
|
|
|
|
; "bufferoverrun"
|
|
|
|
|
; "checkers"
|
|
|
|
|
; "eradicate"
|
|
|
|
|
; "harness"
|
|
|
|
|
; "integration"
|
|
|
|
|
; "IR"
|
|
|
|
|
; "labs"
|
|
|
|
|
; "quandary"
|
|
|
|
|
; "unit" ] )
|
|
|
|
|
( if facebook then
|
|
|
|
|
(* do not use the symlinks in src/facebook/: jbuilder will not detect that the files have changed if they are hidden behind a symlink *)
|
|
|
|
|
"../../facebook/skel/infer/src/facebook"
|
|
|
|
|
else "opensource" )
|
|
|
|
|
:: ( ( if clang then ["clang"; ("unit" ^/ "clang")]
|
|
|
|
|
else ["clang_stubs"; ("unit" ^/ "clang_stubs")] )
|
|
|
|
|
@ [ (if java then "java" else "java_stubs")
|
|
|
|
|
; "absint"
|
|
|
|
|
; "backend"
|
|
|
|
|
; "base"
|
|
|
|
|
; "bufferoverrun"
|
|
|
|
|
; "checkers"
|
|
|
|
|
; "eradicate"
|
|
|
|
|
; "harness"
|
|
|
|
|
; "integration"
|
|
|
|
|
; "IR"
|
|
|
|
|
; "labs"
|
|
|
|
|
; "quandary"
|
|
|
|
|
; "unit" ] )
|
|
|
|
|
in
|
|
|
|
|
let files = ref [] in
|
|
|
|
|
let ml_suffixes = [".ml"; ".mli"; ".mll"; ".mly"] in
|
|
|
|
|