Work on userprog tests.

[pintos-anon] / grading / userprog / Makefile

diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index d085aae85f34e01b5cc43295569bfc2439c51bb0..a928b97003a2edb7ae096fea380733117f72fb19 100644 (file)
--- a/grading/userprog/Makefile
+++ b/grading/userprog/Makefile
@@ -8,5 +8,22 @@ $(1)_SRC = $(1).c
 endef
 
 $(foreach prog,$(SINGLETONS),$(eval $(call SINGLETON_PROG,$(prog))))
+DISKS = $(patsubst %,%.dsk,$(PROGS))
+
+disks: $(DISKS)
+
+PINTOS = ../../src/utils/pintos
+%.dsk: % os.dsk
+       rm -f $@ fs.dsk
+       $(PINTOS) make-disk fs.dsk 2
+       $(PINTOS) -v run -f -q
+       $(PINTOS) -v put $<
+       mv fs.dsk $@
+
+os.dsk: ../../src/userprog/build/os.dsk
+       ln -sf $< $@
+
+clean::
+       rm -f $(DISKS)
 
 include $(SRCDIR)/Makefile.userprog