diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/keiko/config.mk	Thu Oct 05 08:04:15 2017 +0100
@@ -0,0 +1,21 @@
+# Choose C compiler depending on host type
+
+HOST := $(shell uname -s)-$(shell uname -m)
+
+CC-Linux-i686 = gcc
+CC-Linux-x86_64 = gcc
+CC-Darwin-i386 = gcc -m32
+CC-Darwin-x86_64 = gcc -m32
+CC-Linux-armv6l = gcc
+CC-Linux-armv7l = gcc
+
+DEF-Linux-x86_64 = -DM64X32
+
+_CC := $(CC-$(HOST))
+HOST_DEFINES = $(DEF-$(HOST))
+
+ifndef _CC
+    $(error Can't configure for host type $(HOST))
+endif
+
+CC = $(_CC) -std=gnu99