kernel/fiasco/src/Makeconf.ux

   1 # -*- makefile -*-
   2
   3 OPT_SHARED_FLAGS        += $(call CHECKCC,-finline-limit=10000,)
   4 OPT_CXXFLAGS            += $(call CHECKCXX,--param large-function-insns=10000)
   5 OPT_CFLAGS              += $(call CHECKCC,--param large-function-insns=10000)
   6
   7 # The -Os option of gcc-4.0 sets max-inline-insns-single to 5 which prevents
   8 # inlining of almost every function
   9 NOOPT_SHARED_FLAGS      += $(call CHECKCC,--param max-inline-insns-single=50)
  10 SHARED_FLAGS            += -mpreferred-stack-boundary=2 -m32
  11
  12 L4STD_INCDIR            := -include $(srcdir)/kern/ux/format.h
  13 L4STD_INCDIR_LAST       :=
  14 CPPFLAGS                += -D_GNU_SOURCE
  15
  16 SHARED_FLAGS-$(CONFIG_IA32_486) += -march=i486
  17 SHARED_FLAGS-$(CONFIG_IA32_586) += -march=i586
  18 SHARED_FLAGS-$(CONFIG_IA32_686) += -march=i686
  19 SHARED_FLAGS-$(CONFIG_IA32_P2)  += $(call CHECKCC,-march=pentium2,-march=i686)
  20 SHARED_FLAGS-$(CONFIG_IA32_P3)  += $(call CHECKCC,-march=pentium3,-march=i686)
  21 SHARED_FLAGS-$(CONFIG_IA32_P4)  += $(call CHECKCC,-march=pentium4,-march=i686)
  22 SHARED_FLAGS-$(CONFIG_IA32_K6)  += $(call CHECKCC,-march=k6,-march=i586)
  23 SHARED_FLAGS-$(CONFIG_IA32_K7)  += $(call CHECKCC,-march=athlon,-march=i686)
  24 SHARED_FLAGS-$(CONFIG_IA32_K8)  += $(call CHECKCC,-march=k8,-march=i686)
  25
  26 SHARED_FLAGS                    += $(call CHECKCC,-mno-mmx,)
  27 SHARED_FLAGS                    += $(call CHECKCC,-mno-sse,)
  28 SHARED_FLAGS                    += $(call CHECKCC,-mno-sse2,)
  29 SHARED_FLAGS                    += $(call CHECKCC,-mno-sse3,)
  30 SHARED_FLAGS                    += $(call CHECKCC,-mno-3dnow,)
  31
  32 ASFLAGS                         += -m32
  33 OFORMAT                         := elf32-i386
  34 LD_EMULATION-SYSTEM-FreeBSD     := elf_i386_fbsd
  35 LD_EMULATION-SYSTEM-default     := elf_i386