; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_mockup_registration)
 (public_name tezos-mockup-registration)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-client-base
  tezos-shell-services
  tezos-protocol-environment)
 (flags (:standard -open Tezos_base.TzPervasives))
 (modules registration registration_intf mockup_args))

(library
 (name tezos_mockup)
 (public_name tezos-mockup)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-base.unix
  tezos-client-base
  tezos-mockup-proxy
  resto-cohttp-self-serving-client
  tezos-rpc
  tezos-p2p-services
  tezos-p2p
  tezos-protocol-environment
  tezos-stdlib-unix
  tezos-rpc-http
  tezos-rpc-http-client
  tezos-mockup-registration)
 (flags
  (:standard -open Tezos_base.TzPervasives -open Tezos_mockup_registration))
 (modules
  files
  local_services
  persistence
  persistence_intf
  RPC_client
  migration))

(library
 (name tezos_mockup_commands)
 (public_name tezos-mockup-commands)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-client-commands
  tezos-client-base
  tezos-mockup
  tezos-mockup-registration)
 (flags
  (:standard
   -open Tezos_base.TzPervasives
   -open Tezos_mockup
   -open Tezos_mockup_registration))
 (modules mockup_wallet mockup_commands))