# Generated automatically from Makefile.in by configure.
#  plex86: run multiple x86 operating systems concurrently
#  Copyright (C) 1999-2000  Kevin P. Lawton
#
#  This library is free software; you can redistribute it and/or
#  modify it under the terms of the GNU Lesser General Public
#  License as published by the Free Software Foundation; either
#  version 2 of the License, or (at your option) any later version.
#
#  This library is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
#  Lesser General Public License for more details.
#
#  You should have received a copy of the GNU Lesser General Public
#  License along with this library; if not, write to the Free Software
#  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

.PHONY: all clean dist-clean


# Get variables from shell, or override if specified to make
CC      = gcc
CFLAGS  = -g -O2 -Wall -Wstrict-prototypes
LDFLAGS = 

srcdir	= .

MDEFINES = CC="$(CC)" CFLAGS="$(CFLAGS)" \
           LDFLAGS="$(LDFLAGS)"

# By default, 'all' doesnt make in the bios directory.  This
# is so people who don't need to compile a BIOS (just a precompiled
# one) don't have to get the tools to compile plex86.  Cd to
# bios and type 'make' if you want to compile your own.
all:
	$(MAKE) -C user   $(MDEFINES)
	$(MAKE) -C kernel $(MDEFINES)
	$(MAKE) -C guest  $(MDEFINES)


clean: 
	$(MAKE) -C user clean
	$(MAKE) -C kernel clean
	$(MAKE) -C guest clean
	$(MAKE) -C bios  clean
	$(MAKE) -C dt-testbed  clean

dist-clean: 
	$(MAKE) -C user dist-clean
	$(MAKE) -C kernel dist-clean
	$(MAKE) -C guest dist-clean
	$(MAKE) -C bios  dist-clean
	$(MAKE) -C docs dist-clean
	$(MAKE) -C dt-testbed dist-clean
	/bin/rm -f config.status config.cache config.log
	/bin/rm -f Makefile config.h

Makefile:	Makefile.in config.status
		CONFIG_FILES=Makefile CONFIG_HEADERS= $(SHELL) config.status

