# Makefile for nasker in /usr/lib/sat/benchmark.
# (c) Copyright 1992, Intel, Inc.
# ALL RIGHTS RESERVED
#

DATAFILES		= README run nasker.mk nasker.f

include ${MAKEFILEPATH}/standard.mk
include ${MAKEFILEPATH}/datafiles.mk
include ${MAKEFILEPATH}/depend.mk
-include Makedep
