####################################################################
# The Harmony Project                                              #
# harmony@lists.seas.upenn.edu                                     #
####################################################################

# $Id: Makefile 1706 2006-05-22 20:17:32Z bcpierce $

TOP = ../..

all: makeharmonylib 

include $(TOP)/Top.Makefile

test:: 
	$(MAKE) -C $(SRCDIR)
	$(HARMONY) -diff3 -check Diff3 -test-all

include $(OCAMLMAKEFILE)


