annotate keiko/config.mk @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
rev   line source
0
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
1 # Choose C compiler depending on host type
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
2
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
3 HOST := $(shell uname -s)-$(shell uname -m)
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
4
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
5 CC-Linux-i686 = gcc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
6 CC-Linux-x86_64 = gcc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
7 CC-Darwin-i386 = gcc -m32
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
8 CC-Darwin-x86_64 = gcc -m32
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
9 CC-Linux-armv6l = gcc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
10 CC-Linux-armv7l = gcc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
11
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
12 DEF-Linux-x86_64 = -DM64X32
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
13
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
14 _CC := $(CC-$(HOST))
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
15 HOST_DEFINES = $(DEF-$(HOST))
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
16
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
17 ifndef _CC
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
18 $(error Can't configure for host type $(HOST))
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
19 endif
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
20
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
21 CC = $(_CC) -std=gnu99