## Process this file with automake to produce Makefile.in
##
## $Id$
##
## automake input for the MicroNeil SNF2Check application.
##
## Author:  Alban Deniz
##
## Copyright (C) 2008 ARM Research Labs, LLC.
## See www.armresearch.com for the copyright terms.
##
##

LIBS = @SNF_LIBS@ -L../SNFMulti -L../CodeDweller -lSNFMulti -lCodeDweller @LIBS@
CXXFLAGS = $(SNF_CXXFLAGS) -I@top_srcdir@/SNFMulti -I@top_srcdir@/CodeDweller

sbin_PROGRAMS =               				\
	SNF2Check

SNF2Check_SOURCES =        				\
	@top_srcdir@/SNF2Check/main.cpp

EXTRA_DIST = 						\
	Makefile.am					\
	ChangeLog

clean-local:
	rm -f *.gcno *.gcov *.gcda *~