pintos-os.org Git - pintos-anon/blob - tests/Makefile

   1 TESTS = threads p1-1 p1-2 list stdlib userprog p2 vm filesys
   2
   3 PATH := $(shell pwd)/../src/utils:$(PATH)
   4
   5 all:
   6         @echo "This Makefile has only \`check' targets."
   7
   8 check:
   9         $(MAKE) -C .. distclean
  10         for d in $(TESTS); do $(MAKE) $$d || exit 1; done
  11         @echo All tests passed.
  12
  13 clean:
  14         rm -rf $(TESTS)
  15
  16 define prep-threads-grading
  17 endef
  18
  19 define prep-userprog-grading
  20 $(MAKE) -C ../src/userprog -s
  21 $(MAKE) -C ../grading/userprog -s
  22 endef
  23
  24 define prep-vm-grading
  25 $(MAKE) -C ../src/userprog -s
  26 $(MAKE) -C ../grading/vm -s
  27 endef
  28
  29 define prep-filesys-grading
  30 $(MAKE) -C ../grading/filesys -s
  31 endef
  32
  33 define prep-grading
  34 $(prep-$(PROJECT)-grading)
  35 endef
  36
  37 define mk-sandbox
  38 rm -rf $@ && mkdir -p $@/pintos && cp -R ../src $@/pintos
  39 endef
  40
  41 define run-tests
  42 cd $@ && ../../grading/$(PROJECT)/run-tests
  43 endef
  44
  45 define clean
  46 rm -rf $@/pintos
  47 endef
  48
  49 define apply-patch
  50 (cd $@/pintos && patch -p0 -s) <
  51 endef
  52
  53 threads: PROJECT = threads
  54 threads::
  55         $(mk-sandbox)
  56         $(run-tests) -d alarm-single
  57         $(clean)
  58
  59 p1-1: PROJECT = threads
  60 p1-1::
  61         $(mk-sandbox)
  62         $(apply-patch) ../solutions/p1-1.patch
  63         $(run-tests) -d alarm.*
  64         $(clean)
  65
  66 p1-2: PROJECT = threads
  67 p1-2::
  68         $(mk-sandbox)
  69         $(apply-patch) ../solutions/p1-2.patch
  70         $(run-tests) -d priority.*
  71         $(clean)
  72
  73 list: PROJECT = threads
  74 list stdlib::
  75         $(mk-sandbox)
  76         cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
  77         $(MAKE) -C $@/pintos/src/threads -s
  78         -(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
  79         grep -q '$@: PASS' $@/output
  80         $(clean)
  81
  82 userprog: PROJECT = userprog
  83 userprog::
  84         $(prep-grading)
  85         $(mk-sandbox)
  86         $(apply-patch) ../solutions/p2-null.patch
  87         $(run-tests) null
  88         $(clean)
  89
  90 p2: PROJECT = userprog
  91 p2::
  92         $(prep-grading)
  93         $(mk-sandbox)
  94         $(apply-patch) ../solutions/p2.patch
  95         $(run-tests)
  96         $(clean)
  97
  98 vm: PROJECT = vm
  99 vm::
 100         $(prep-grading)
 101         $(mk-sandbox)
 102         $(MAKE) -C $@/pintos/src/vm -s
 103         $(clean)
 104
 105 filesys: PROJECT = filesys
 106 filesys::
 107         $(prep-grading)
 108         $(mk-sandbox)
 109         $(MAKE) -C $@/pintos/src/filesys -s
 110         $(clean)