CAMLP4OF := camlp4of
OCAMLDEP := ocamldep -pp $(CAMLP4OF)
OCAMLOPT := ocamlopt -pp $(CAMLP4OF)
OCAMLC   := ocamlc -pp $(CAMLP4OF)
#OCAMLNLDFLAGS := -ccopt -static

USE_CAMLP4 = yes

SOURCES = \
  listx.mli listx.ml \
  listset.mli listset.ml \
  formatx.mli formatx.ml \
  iroiro.mli iroiro.ml \
  alarm.mli alarm.ml \
  \
  result.mli result.ml \
  signature.mli signature.ml \
  term.mli term.ml \
  substitution.mli substitution.ml \
  rule.mli rule.ml \
  rules.mli rules.ml \
  rewriting.mli rewriting.ml  \
  variant.mli variant.ml \
  \
  cache.mli cache.ml \
  dio.mli dio.ml \
  ac_subst.mli ac_subst.ml \
  ac_rewriting.mli ac_rewriting.ml \
  ac_overlap.mli ac_overlap.ml \
  \
  parser.mly \
  lexer.mll \
  read.ml \
  \
  sn.mli  sn.ml \
  rsn.mli rsn.ml \
  overlap.mli overlap.ml \
  wcr.mli wcr.ml \
  \
  minismt_parser.mly \
  minismt_lexer.mll \
  minismt.mli minismt.ml \
  rlv.mli rlv.ml \
  rl.mli rl.ml \
  \
  main.ml

LIBS = nums unix

RESULT = saigawa

all: nc

archive:
	git archive --format=tar --prefix=saigawa/ HEAD | gzip > saigawa-1.5.tar.gz

include OCamlMakefile
