mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
parent
36a1428c55
commit
ed5cbbfa1b
@ -6,8 +6,15 @@ FIASCO_SRC = $(L4_SRC_DIR)/kernel/fiasco
|
||||
|
||||
KERNEL_BUILD_OUTPUT_FILTER = 2>&1 | sed "s/^/ [fiasco] /"
|
||||
|
||||
KERNEL_CXXFLAGS = -std=gnu++98 -fno-delete-null-pointer-checks $(CXXWARN) \
|
||||
-Wno-address-of-packed-member
|
||||
KERNEL_CFLAGS = -std=gnu89 \
|
||||
-fno-tree-loop-distribute-patterns \
|
||||
$(CWARN)
|
||||
|
||||
KERNEL_CXXFLAGS = -std=gnu++98 \
|
||||
-fno-delete-null-pointer-checks \
|
||||
-fno-tree-loop-distribute-patterns \
|
||||
-Wno-address-of-packed-member \
|
||||
$(CXXWARN)
|
||||
|
||||
$(FIASCO_BUILD_DIR):
|
||||
$(VERBOSE_MK) MAKEFLAGS= $(MAKE) SYSTEM_TARGET="$(CROSS_DEV_PREFIX)" \
|
||||
@ -20,7 +27,8 @@ $(FIASCO_BUILD_DIR):
|
||||
$(VERBOSE)cp $(KERNEL_CONFIG) $@/globalconfig.out
|
||||
|
||||
$(FIASCO): $(FIASCO_BUILD_DIR)
|
||||
$(VERBOSE_MK) MAKEFLAGS= CFLAGS="-std=gnu89 $(CWARN)" \
|
||||
$(VERBOSE_MK) MAKEFLAGS= \
|
||||
CFLAGS="$(KERNEL_CFLAGS)" \
|
||||
CXXFLAGS="$(KERNEL_CXXFLAGS)" \
|
||||
$(MAKE) SYSTEM_TARGET="$(CROSS_DEV_PREFIX)" \
|
||||
$(VERBOSE_DIR) -C $(FIASCO_BUILD_DIR) \
|
||||
|
@ -65,8 +65,10 @@ CXXWARN = $(WARN) -Wno-bool-compare -Wno-c++11-compat -Wno-class-memaccess
|
||||
#
|
||||
%.tag:
|
||||
$(VERBOSE_MK) MAKEFLAGS= CPPFLAGS="$(CC_MARCH)" \
|
||||
CFLAGS="$(CC_MARCH) -std=gnu89 $(CWARN)" \
|
||||
CXXFLAGS="$(CC_MARCH) -D_GNU_SOURCE -std=gnu++98 $(CXXWARN)" \
|
||||
CFLAGS="$(CC_MARCH) -std=gnu89 $(CWARN) \
|
||||
-fno-tree-loop-distribute-patterns" \
|
||||
CXXFLAGS="$(CC_MARCH) -D_GNU_SOURCE -std=gnu++98 $(CXXWARN) \
|
||||
-fno-tree-loop-distribute-patterns" \
|
||||
ASFLAGS="$(CC_MARCH)" LDFLAGS="$(LD_MARCH)" \
|
||||
$(MAKE) $(VERBOSE_DIR) O=$(L4_BUILD_DIR) $(L4_VERBOSE) \
|
||||
-C $(L4_PKG_DIR)/$* \
|
||||
|
15
repos/base-fiasco/patches/gcc12.patch
Normal file
15
repos/base-fiasco/patches/gcc12.patch
Normal file
@ -0,0 +1,15 @@
|
||||
gcc12.patch
|
||||
|
||||
diff --git fiasco/snapshot/l4/pkg/sigma0/server/src/region.h fiasco/snapshot/l4/pkg/sigma0/server/src/region.h
|
||||
index ad7cf95..c323bae 100644
|
||||
--- fiasco/snapshot/l4/pkg/sigma0/server/src/region.h
|
||||
+++ fiasco/snapshot/l4/pkg/sigma0/server/src/region.h
|
||||
@@ -1,6 +1,8 @@
|
||||
#ifndef SIGMA0_REGION_H__
|
||||
#define SIGMA0_REGION_H__
|
||||
|
||||
+#include <l4/cxx/iostream.h>
|
||||
+
|
||||
class Region
|
||||
{
|
||||
private:
|
@ -1 +1 @@
|
||||
386db79cbd4039ea2e3cbf028fac095a1bc96c31
|
||||
3cad5953cefcd6818145ea05f96bf7b37efa5024
|
||||
|
Loading…
Reference in New Issue
Block a user