X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2FMakefile;h=a928b97003a2edb7ae096fea380733117f72fb19;hb=fe106fae62a28fbcaec46830859884b98f577159;hp=d085aae85f34e01b5cc43295569bfc2439c51bb0;hpb=cb018a35f24a2a9b50be4440f26d6e976620dbc3;p=pintos-anon

diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index d085aae..a928b97 100644
--- 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