alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-pistachio: migrate to new ports mechanism

Browse Source 
Issue #1082
This commit is contained in:
Stefan Kalkowski
2014-05-23 13:37:21 +02:00
committed by Norman Feske
parent de4335b443
commit aff92004d1
5 changed files with 40 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-pistachio/lib/mk/platform.mk
View File

@@ -11,6 +11,7 @@ ifeq ($(called_from_lib_mk),yes)
all: $(filter-out $(wildcard $(PISTACHIO_USER_BUILD_DIR)), $(PISTACHIO_USER_BUILD_DIR))
LD_PREFIX = "-Wl,"
PISTACHIO_CONTRIB_DIR := $(call select_from_ports,pistachio)/src/kernel/pistachio
$(PISTACHIO_USER_BUILD_DIR):
$(VERBOSE)mkdir $@
@@ -18,8 +19,8 @@ $(PISTACHIO_USER_BUILD_DIR):
LIBGCCFLAGS="$(CC_MARCH)" \
LDFLAGS="$(addprefix $(LD_PREFIX),$(LD_MARCH)) -nostdlib" \
CFLAGS="$(CC_MARCH)" \
$(REP_DIR)/contrib/user/configure --build=ia32 --host i686 \
CC=$(CROSS_DEV_PREFIX)gcc
$(PISTACHIO_CONTRIB_DIR)/user/configure --build=ia32 --host i686 \
CC=$(CROSS_DEV_PREFIX)gcc
$(VERBOSE_MK) MAKEFLAGS= $(MAKE) $(VERBOSE_DIR) -C $@
endif