#   Platform.unix.tardis, Copyright 1999 (c) by C. Jeker,
#   Swiss Federal Institute of Technology,
#   Computer Engineering and Networks Laboratory.
#
#   TOPSY -- A Teachable Operating System.
#            Implementation of a tiny and simple
#            micro kernel for teaching purposes.
#
#   For further information, please visit http://www.tik.ee.ethz.ch/~topsy
#
#   This software is provided under the terms of the GNU General Public Licence.
#   A full copy of the GNU GPL is provided in the file COPYING found in the 
#   development root of Topsy.
#
#	
#	File:                  $Source: /usr/drwho/vault/cvs/topsy/Topsy/Makefiles/Platform.unix.tardis,v $
# 	Author(s):             
# 	Affiliation:           ETH Zuerich, TIK
# 	Version:               $Revision: 1.4 $
# 	Creation Date:         
# 	Last Date of Change:   $Date: 1999/12/13 21:48:29 $      by: $Author: ruf $
#	
#	
#

# compiler stuff
CC=gcc
LD=ld
KERNLD=$(LD)
OBJCOPY=objcopy
SIZE=size
NM=nm -p
ECHO=/usr/ucb/echo
LIBS=-L/lib -lc
JC=javac

MACHINE_CFLAGS=