; 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 Costlib)
 (public_name infer.Costlib)
 (flags
  (:standard
   -open
   Core
   -open
   OpenSource
   -open
   IR
   -open
   IStdlib
   -open
   IStd
   -open
   ATDGenerated
   -open
   IBase
   -open
   Absint
   -open
   BO
   -open
   Checkers
   -open
   Pulselib))
 (libraries core IStdlib ATDGenerated IBase IR Absint BO Checkers Pulselib)
 (preprocess
  (pps ppx_compare)))
