
OCAMLMAKEFILE = OCamlMakefile

SOURCES = src/counter.ml src/counter.mli \
          src/types.ml src/types.mli \
          src/flags.ml src/flags.mli \
          src/exceptions.ml src/exceptions.mli \
          src/tables.ml src/tables.mli \
          src/channels.ml src/channels.mli \
          src/solver_base.ml src/solver_base.mli \
          src/solver_yices.ml \
          src/solver_yices_cmdline.ml \
          src/solver_cvc3.ml \
          src/global.ml src/global.mli \
          src/deftable.ml src/deftable.mli \
          src/lus_convert_print.ml src/lus_convert_print.mli \
          src/lus_assertions.ml src/lus_assertions.mli \
          src/lus_convert.ml src/lus_convert.mli \
          src/coi.ml src/coi.mli \
          src/lus_convert_yc.ml src/lus_convert_yc.mli \
          src/lus_types.ml src/lus_types.mli \
          src/lustre_parser.mly \
          src/lustre_lexer.mll \
          src/abs.ml src/abs.mli \
          src/lus_flatten.ml src/lus_flatten.mli \
          src/inlining.ml src/inlining.mli \
          src/defgen.ml src/defgen.mli \
          src/kind_support.ml src/kind_support.mli \
          src/kind_refine.ml src/kind_refine.mli \
          src/kind_compression.ml src/kind_compression.mli \
          src/kind_ml.ml src/kind_ml.mli \
          src/kind.ml 

RESULT = kind

LIBS = str unix

YFLAGS = #-v

all: native-code

-include $(OCAMLMAKEFILE)
