(library
 (name taint)
 (public_name pyrelib.taint)
 (modules :standard \ taintAnalysis)
 (preprocess
  (pps
   ppx_deriving.eq
   ppx_deriving.show
   ppx_hash
   ppx_compare
   ppx_sexp_conv
   ppx_sexp_message
   ppx_deriving_yojson))
 (libraries
  core
  sexplib
  re2
  lwt
  lwt.unix
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.analysis
  pyrelib.domains
  pyrelib.interprocedural
  pyrelib.json_parsing
  pyrelib.pyreMenhirParser
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.alarm
  pyrelib.file
  pyrelib.data_structures
  pyrelib.taintAnalysisFeatureStats
  pyrelib.watchman
  pyrelib.saved_state
  pyrelib.perfProfiler))

(library
 (name taintAnalysis)
 (public_name pyrelib.taintAnalysis)
 (modules taintAnalysis)
 (preprocess
  (pps
   ppx_deriving.eq
   ppx_deriving.show
   ppx_hash
   ppx_compare
   ppx_sexp_conv
   ppx_sexp_message
   ppx_deriving_yojson))
 (libraries pyrelib.taint pyrelib.interprocedural pyrelib.server))
