
LEVEL = ../../

LIBRARYNAME=optchecks

ifneq ($(OS),Cygwin)
ifneq ($(OS),MingW)
#SHARED_LIBRARY := 1
#LOADABLE_MODULE := 1
endif
endif

#SOURCES := ExactCheckOpt.cpp OptimizeChecks.cpp MonotonicLoopOpt.cpp
SOURCES := ExactCheckOpt.cpp OptimizeChecks.cpp

include $(LEVEL)/Makefile.common