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

   1 TESTS = threads p1 userprog p2 vm p3 filesys p4
   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 SUBMAKEFLAGS = -s
  17
  18 define mk-sandbox
  19 rm -rf $@ && mkdir $@ && cp -R ../src $@/src
  20 cd $@/src && $(MAKE) clean $(SUBMAKEFLAGS)
  21 endef
  22
  23 define run-tests
  24 cd $@/src/$(PROJECT) && make check
  25 endef
  26
  27 define run-tests-grade
  28 cd $@/src/$(PROJECT) && make check && make grade
  29 endef
  30
  31 define compile
  32 cd $@/src/$(PROJECT) && make
  33 endef
  34
  35 define clean
  36 rm -rf $@
  37 endef
  38
  39 define apply-patch
  40 (cd $@ && patch -p0)
  41 endef
  42
  43 PROJECT = $@
  44
  45 threads::
  46         $(mk-sandbox)
  47         $(compile)
  48         $(run-tests) TESTS=tests/threads/alarm-single
  49         $(clean)
  50
  51 userprog vm filesys::
  52         $(mk-sandbox)
  53         $(compile)
  54         $(clean)
  55
  56 p1: PROJECT = threads
  57 p1::
  58         $(mk-sandbox)
  59         $(apply-patch) < ../solutions/p1.patch
  60         $(run-tests-grade)
  61         $(clean)
  62
  63 p2: PROJECT = userprog
  64 p2::
  65         $(mk-sandbox)
  66         $(apply-patch) < ../solutions/p2.patch
  67         $(run-tests-grade)
  68         $(clean)
  69
  70 p3: PROJECT = vm
  71 p3::
  72         $(mk-sandbox)
  73         $(apply-patch) < ../solutions/p3.patch
  74         $(run-tests-grade)
  75         $(clean)
  76
  77 p4: PROJECT = filesys
  78 p4::
  79         $(mk-sandbox)
  80         $(apply-patch) < ../solutions/p4.patch
  81         $(run-tests-grade)
  82         $(clean)