madscientist
/
PKG-SNF-CS-NIX


			
				
					
						
						
							123456789101112131415161718192021222324
							## 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 -lCodeDweller -lSNFMulti @LIBS@
CXXFLAGS = $(SNF_CXXFLAGS) -I@top_srcdir@/SNFMulti -I@top_srcdir@/CodeDweller

sbin_PROGRAMS =               				\
	SNF2Check

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

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