; 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 Topllib)
 (public_name infer.Topllib)
 (flags
  (:standard
   -open
   Core
   -open
   IR
   -open
   IStdlib
   -open
   IStd
   -open
   ATDGenerated
   -open
   IBase
   -open
   Absint
   -open
   Biabduction))
 (libraries
  core
  ATDGenerated
  Absint
  Biabduction
  ErlangFrontend
  IBase
  IR
  IStdlib)
 (preprocess
  (pps ppx_compare ppx_hash ppx_sexp_conv)))
