# Makefile

BASE = ..
EXEC = history
PP =
TOPSOURCES = \
  opt.ml \
  sql.ml \
  db.ml \
  query.ml \
  syntax.mly \
  lexic.mll \
  error.ml \
  debver.ml \
  cache.ml \
  gregorian.ml \
  davisputnam.ml \
  help.ml \
  processor.ml \
  interactive.ml
SOURCES = $(TOPSOURCES) main.ml
LIBS = $(WITHUNIX) $(WITHLEDIT) $(WITHPCRE) $(WITHUTIL) $(WITHPROGRESS) $(WITHMYSQL) $(WITHSOLVER)

include Makefile.exec
