pintos-os.org Git - pintos-anon/blob - src/userprog/build/Makefile

   1 TOP_SRCDIR = ../..
   2 DEFINES = -DUSERPROG -DFILESYS -DFILESYS_STUB
   3 SOURCES = $(THREADS_SRC) $(DEVICES_SRC) $(LIB_SRC) $(FILESYS_SRC) \
   4           $(USERPROG_SRC)
   5 INCLUDES = -I$(TOP_SRCDIR)/threads -I$(TOP_SRCDIR)/devices \
   6            -I$(TOP_SRCDIR)/lib -I$(TOP_SRCDIR)/filesys \
   7             -I$(TOP_SRCDIR)/userprog
   8
   9 include ../../Makefile.inc
  10