# Iris: micro-kernel for a capability-based operating system.
# Makefile: build rules
# Copyright 2009 Bas Wijnen <wijnen@debian.org>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program 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 General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

# Define some variables.
CXXFLAGS = -Wno-unused-parameter -fno-strict-aliasing -fno-builtin -nostdinc $(ARCH_CXXFLAGS)
CPPFLAGS = -O5 -fno-inline $(ARCH_CPPFLAGS)
CC = $(CROSS)gcc
LD = $(CROSS)ld
OBJCOPY = $(CROSS)objcopy

headers = kernel.hh iris.h $(arch_headers)
kernel_sources = panic.cc data.cc alloc.cc invoke.cc schedule.cc $(arch_kernel_sources)
BUILT_SOURCES = $(kernel_sources) $(boot_sources)

# Include arch-specific rules.
include Makefile.arch

# Disable implicit rules.
%.o: %.S
%.o: %.cc

PYPP = /usr/bin/pypp
%.cc: %.ccp
	$(PYPP) --name $< < $< > $@
%.hh: %.hhp
	$(PYPP) --name $< < $< > $@

%.o:%.cc Makefile Makefile.arch $(headers)
	$(CC) $(CPPFLAGS) $(TARGET_FLAGS) $(CXXFLAGS) -c $< -o $@

%: boot-programs/init.o boot-programs/%.o
	$(LD) $(filter %.o,$^) -o $@
	#$(OBJCOPY) -S $(OBJCOPYFLAGS) $@

clean:
	rm -f *.o boot-programs/*.o kernel kernel.raw kernel.raw.gz $(BUILT_SOURCES) $(ARCH_CLEAN_FILES)

.PHONY: clean