Makefile\misc-kb\tests\testsuite\ocaml-binary-annot - delta/ocaml.git - github.com: ocaml/ocaml

index : delta/ocaml.git

github.com: ocaml/ocaml

summary refs log tree commit diff

path: root/ocaml-binary-annot/testsuite/tests/misc-kb/Makefile

blob: b5f5eaec971ff544b13e574e90fe0fcf44450b97 (plain)

MODULES=terms equations orderings kb
MAIN_MODULE=kbmain
ADD_COMPFLAGS=-w a

include ../../makefiles/Makefile.one
include ../../makefiles/Makefile.common