projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f776ae7)
Initial version.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 30 Aug 2004 17:48:16 +0000 (17:48 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 30 Aug 2004 17:48:16 +0000 (17:48 +0000)
src/userprog/build/Makefile [new file with mode: 0644] patch | blob

diff --git a/src/userprog/build/Makefile b/src/userprog/build/Makefile
new file mode 100644 (file)
index 0000000..6c17a00
--- /dev/null
+++ b/src/userprog/build/Makefile
@@ -0,0 +1,10 @@
+TOP_SRCDIR = ../..
+DEFINES = -DUSERPROG -DFILESYS -DFILESYS_STUB
+SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(FILESYS_SRC) \
+         $(USERPROG_SRC)
+INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices \
+          -I$(TOP_SRCDIR)/lib -I$(TOP_SRCDIR)/filesys \
+           -I$(TOP_SRCDIR)/userprog
+
+include ../../Makefile.inc
+
Pintos public repository