pintos-os.org Git - pintos-anon/blob - src/Make.config

   1 # -*- makefile -*-
   2
   3 SHELL = /bin/sh
   4
   5 # Binary utilities.
   6 # If the host appears to be x86, use the normal tools.
   7 # Otherwise assume cross-tools are installed as i386-elf-*.
   8 X86 = i.86\|pentium.*\|[pk][56]\|nexgen\|viac3\|6x86\|athlon.*
   9 ifneq (0, $(shell expr `uname -m` : '$(X86)'))
  10 CC = gcc
  11 LD = ld
  12 OBJCOPY = objcopy
  13 else
  14 CC = i386-elf-gcc
  15 LD = i386-elf-ld
  16 OBJCOPY = i386-elf-objcopy
  17 endif
  18
  19 # Other utilities.
  20 DD = dd
  21 RM = rm
  22 CAT = cat
  23
  24 # Compiler and assembler invocation.
  25 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers
  26 CFLAGS = -g -O3 -MMD -msoft-float
  27 ASFLAGS = -Wa,--gstabs -MMD
  28
  29 %.o: %.c
  30         $(CC) -c $< -o $@ $(CFLAGS) $(CPPFLAGS) $(WARNINGS) $(DEFINES)
  31
  32 %.o: %.S
  33         $(CC) -c $< -o $@ $(ASFLAGS) $(CPPFLAGS) $(DEFINES)