############################################################
#
#  Makefile for awklinux
#  Author: Yung-Pin Cheng
#  Date:   03/05/2003
# 
#
############################################################
# 
#      Parameters
#
CC= gcc
CFLAGS = -g 

#
############################################################
#       %%%%  Generic recipes  %%%%

############################################################
TARGET = awkos
SRC = awklinuxos.c awkos_sched.c awkos_timer.c awkos_command.c \
	awkos_exec.c  awkos_memacc.c awkos_page_alloc.c awkos_do_page_fault.c \
	awkos_shm.c


# Default target: 

all: $(TARGET)

$(TARGET): $(SRC)
	$(CC) -g -o awkos ${SRC} 
awklinuxos.c: test1.c makekernel.awk
	rm awklinuxos.c ; gawk -f makekernel.awk test1.c
clean:  ; rm *.o ; rm *.bak; rm awklinuxos.c







