From: Peter Dinda <pdinda@northwestern.edu>
Date: Mon, 9 Jan 2017 18:40:41 +0000 (-0600)
Subject: Inadvertently missing makefile
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=564dade4aee58eb392b960dd33823b5e030869ac

Inadvertently missing makefile
---

diff --git a/nautilus/Makefile b/nautilus/Makefile
new file mode 100644
index 0000000..0a95995
--- /dev/null
+++ b/nautilus/Makefile
@@ -0,0 +1,53 @@
+include $(PWD)/../.config
+
+NAUTILUS_DIR = $(subst ",,$(V3_CONFIG_NAUTILUS_KERN))
+
+include $(NAUTILUS_DIR)/.config
+
+CC = gcc
+AR = ar
+
+
+PALACIOS_CFLAGS = -I$(PWD)/../palacios/include -include $(PWD)/../palacios/include/autoconf.h
+
+NAUTILUS_CFLAGS = -D__NAUTILUS__ -I$(NAUTILUS_DIR)/include -include $(NAUTILUS_DIR)/include/autoconf.h
+
+NAUTILUS_CFLAGS +=  	-O2 \
+                        -fno-omit-frame-pointer \
+                        -ffreestanding \
+                        -fno-stack-protector \
+                        -fno-strict-aliasing \
+                        -fwrapv \
+                        -mno-red-zone \
+                        -mcmodel=large \
+                        -Wall \
+                        -Wno-unused-function \
+                        -Wno-unused-variable \
+                        -fno-common \
+                        -std=gnu99 \
+                        $(call cc-option, -Wno-unused-but-set-variable,)
+
+
+CFLAGS = -I. $(PALACIOS_CFLAGS) $(NAUTILUS_CFLAGS)
+
+LDFLAGS := --whole-archive -z max-page-size=0x1000
+
+OBJS = palacios-stubs.o  
+
+ifdef V3_CONFIG_CONSOLE
+	OBJS += console.o
+endif
+
+libnautilus.a : $(OBJS) 
+	$(AR) ruv libnautilus.a $(OBJS)
+
+%.o : %.c 
+	$(CC) $(CFLAGS) -c $< -o $@
+
+
+all: libnautilus.a
+
+clean:
+	rm -f *.o *.a
+
+