#  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., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA

.PHONY: all clean dist-clean


# Get variables from shell, or override if specified to make
CC      = @CC@
CFLAGS  = @CFLAGS@
LDFLAGS = @LDFLAGS@

srcdir	= @srcdir@
VPATH	= @srcdir@

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

all:
	$(MAKE) -C kernel $(MDEFINES)


clean:
	$(MAKE) -C kernel clean

dist-clean:
	$(MAKE) -C kernel 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

