initial pintos checkin

1 files changed, 29 insertions, 0 deletions

diff --git a/pintos-progos/Makefile b/pintos-progos/Makefile
new file mode 100644
index 0000000..3ba9194
--- /dev/null
+++ b/pintos-progos/Makefile
@@ -0,0 +1,29 @@
+BUILD_SUBDIRS = threads userprog vm filesys intro
+
+all::
+        @echo "Run 'make' in subdirectories: $(BUILD_SUBDIRS)."
+        @echo "This top-level make has only 'clean' targets."
+
+CLEAN_SUBDIRS = $(BUILD_SUBDIRS) examples utils
+
+clean::
+        for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
+        rm -f TAGS tags
+
+distclean:: clean
+        find . -name '*~' -exec rm '{}' \;
+
+TAGS_SUBDIRS = $(BUILD_SUBDIRS) devices lib
+TAGS_SOURCES = find $(TAGS_SUBDIRS) -name \*.[chS] -print
+
+TAGS::
+        etags --members `$(TAGS_SOURCES)`
+
+tags::
+        ctags -T --no-warn `$(TAGS_SOURCES)`
+
+cscope.files::
+        $(TAGS_SOURCES) > cscope.files
+
+cscope:: cscope.files
+        cscope -b -q -k