######################################################################
#
#  Name ........................................ src/c_kernel makefile 
#
#  Architecture : sparc7, sparc8, mips, linux, os2
#  Compiler     : gcc, g++ 
#  Flags        : -g -O2
#  Program Flags: -DDEBUG, -DMEMORY, -DERRIGN 
#  Author       : Papanikolaou Thomas & Stefan Neis
#  Release      : 1.0 
#  Last Change  : Mon Apr 11 16:09:08 MET DST 1994 
#  Copyright    : by the University of Saarland, 1994 
#

#
# include the configuration file
#

include ../../config/CONFIG

#
# Rules
#

all:
	cd $(BIGINT) $(SEP) make

appl:
	cd $(BIGINT) $(SEP) make appl

clean:
	cd $(BIGINT) $(SEP) make clean

veryclean: clean
	cd $(BIGINT) $(SEP) make veryclean

