; 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.

(library
 (name Checkers)
 (public_name infer.Checkers)
 (flags
  (:standard
   -open
   Core
   -open
   OpenSource
   -open
   IR
   -open
   IStdlib
   -open
   IStd
   -open
   ATDGenerated
   -open
   IBase
   -open
   Absint
   -open
   Biabduction
   -open
   BO
   -open
   Pulselib))
 (libraries
  base64
  core
  ocamlgraph
  IStdlib
  ATDGenerated
  IBase
  IR
  Absint
  Biabduction
  BO
  Pulselib)
 (preprocess
  (pps
   ppx_compare
   ppx_hash
   ppx_fields_conv
   ppx_sexp_conv
   ppx_variants_conv
   ppx_yojson_conv)))

(documentation
 (package infer)
 (mld_files Checkers))
