(lang dune 3.20)
(name qcheck-stm)
(version 0.11)
(sections
 (lib /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/qcheck-stm)
 (doc /usr/doc/qcheck-stm))
(files
 (lib
  (META
   domain/STM_domain.cma
   domain/STM_domain.ml
   domain/STM_domain.mli
   domain/sTM_domain.cmi
   domain/sTM_domain.cmt
   domain/sTM_domain.cmti
   dune-package
   opam
   sequential/STM_sequential.cma
   sequential/STM_sequential.ml
   sequential/STM_sequential.mli
   sequential/sTM_sequential.cmi
   sequential/sTM_sequential.cmt
   sequential/sTM_sequential.cmti
   stm/STM.cma
   stm/STM.ml
   stm/STM.mli
   stm/sTM.cmi
   stm/sTM.cmt
   stm/sTM.cmti
   thread/STM_thread.cma
   thread/STM_thread.ml
   thread/STM_thread.mli
   thread/sTM_thread.cmi
   thread/sTM_thread.cmt
   thread/sTM_thread.cmti))
 (doc (CHANGES.md LICENSE README.md odoc-pages/index.mld)))
(library
 (name qcheck-stm.domain)
 (kind normal)
 (archives (byte domain/STM_domain.cma))
 (plugins (byte domain/STM_domain.cma))
 (requires qcheck-core qcheck-stm.stm)
 (main_module_name STM_domain)
 (modes byte)
 (modules
  (singleton
   (obj_name sTM_domain)
   (visibility public)
   (source
    (path STM_domain)
    (intf (path domain/STM_domain.mli))
    (impl (path domain/STM_domain.ml))))))
(library
 (name qcheck-stm.sequential)
 (kind normal)
 (archives (byte sequential/STM_sequential.cma))
 (plugins (byte sequential/STM_sequential.cma))
 (requires qcheck-core qcheck-stm.stm)
 (main_module_name STM_sequential)
 (modes byte)
 (modules
  (singleton
   (obj_name sTM_sequential)
   (visibility public)
   (source
    (path STM_sequential)
    (intf (path sequential/STM_sequential.mli))
    (impl (path sequential/STM_sequential.ml))))))
(library
 (name qcheck-stm.stm)
 (kind normal)
 (archives (byte stm/STM.cma))
 (plugins (byte stm/STM.cma))
 (requires qcheck-core qcheck-multicoretests-util)
 (main_module_name STM)
 (modes byte)
 (modules
  (singleton
   (obj_name sTM)
   (visibility public)
   (source (path STM) (intf (path stm/STM.mli)) (impl (path stm/STM.ml))))))
(library
 (name qcheck-stm.thread)
 (kind normal)
 (archives (byte thread/STM_thread.cma))
 (plugins (byte thread/STM_thread.cma))
 (requires threads qcheck-core qcheck-stm.stm)
 (main_module_name STM_thread)
 (modes byte)
 (modules
  (singleton
   (obj_name sTM_thread)
   (visibility public)
   (source
    (path STM_thread)
    (intf (path thread/STM_thread.mli))
    (impl (path thread/STM_thread.ml))))))
