(lang dune 2.9)
(name mccs)
(version 1.1+13)
(library
 (name mccs)
 (kind normal)
 (archives (byte mccs.cma))
 (plugins (byte mccs.cma))
 (foreign_objects
  changed_criteria.o
  constraint_generation.o
  count_criteria.o
  cudf_reductions.o
  cudf_tools.o
  glpk_solver.o
  lexagregate_combiner.o
  lp_solver.o
  mccs_stubs.o
  mccscudf.o
  new_criteria.o
  notuptodate_criteria.o
  removed_criteria.o)
 (foreign_archives libmccs_stubs.a)
 (requires cudf mccs.glpk.shared)
 (modes byte)
 (modules
  (singleton (name Mccs) (obj_name mccs) (visibility public) (impl) (intf))))
(library
 (name mccs.glpk.shared)
 (kind normal)
 (archives (byte glpk/shared/mccs_hostglpk_shared.cma))
 (plugins (byte glpk/shared/mccs_hostglpk_shared.cma))
 (modes byte)
 (modules
  (singleton
   (name Ocaml_mccs_glpk)
   (obj_name ocaml_mccs_glpk)
   (visibility public)
   (impl))))
