#
# makefile to make the mini driver
#
RELEASE = 1

VERSION = 0

TOP = $(HOME)/mini

BDIR = $(TOP)/bin

LDIR = $(TOP)/lib

CC = gcc

MAKEFILE = Makefile

JUNK =	tmp core

SCRIPT = mkhandin

help:
	@echo "Possible make targets:"
	@echo "all		Create local running programs."
	@echo "clean		Free disk space."
	@echo "install		Install relevant files."

all: $(SCRIPT)

install: $(SCRIPT)
	cp $(SCRIPT) $(BDIR)
	chmod a+x $(BDIR)/$(SCRIPT)

clean:
	rm -f $(JUNK)
