OMakefile

PROGRAM = eba

FILES[] =
    error
    utils
    cilExtra
    pP
    uniq
    opts
    type
    axioms
    env
    abs
    structs
    infer
    lenv
    pathTree
    flow1Checker
    checkUninitFlow1
    flow2Checker
    checkDLockFlow2
    checkBhOnIrqFlow2

USE_OCAMLFIND = true
BYTE_ENABLED = true
NATIVE_ENABLED = true

OCAMLPACKS[] += batteries cil ocamlgraph smart_print cmdliner dolog
OCAMLFLAGS += -thread

OCamlLibrary(libeba, $(FILES))

OCAML_LIBS = libeba
OCamlProgram(eba, eba)

.DEFAULT: $(if $(BYTE_ENABLED), $(PROGRAM).run) \
          $(if $(NATIVE_ENABLED), $(PROGRAM).opt)

# Cleanup
.PHONY: clean
clean:
  rm -f \
     $(filter-proper-targets $(glob $(addsuffix .*, $(FILES)))) \
     libeba.cma libeba.cmxa libeba.a eba.cma eba.cmxa eba.a

.PHONY: test
test: eba.opt
  export TESTDIR=`pwd`/test
  cram test/heuristics.t test/path.t test/linux.t