pintos-os.org Git - pintos-anon/blob - src/tests/filesys/extended/Make.tests

   1 # -*- makefile -*-
   2
   3 tests/filesys/extended_TESTS = $(addprefix                              \
   4 tests/filesys/extended/,dir-empty-name dir-mk-tree dir-mkdir dir-open   \
   5 dir-over-file dir-rm-cwd dir-rm-parent dir-rm-root dir-rm-tree          \
   6 dir-rmdir dir-under-file dir-vine grow-create grow-dir-lg               \
   7 grow-file-size grow-root-lg grow-root-sm grow-seq-lg grow-seq-sm        \
   8 grow-sparse grow-tell grow-two-files syn-rw)
   9
  10 tests/filesys/extended_PROGS = $(tests/filesys/extended_TESTS)  \
  11 tests/filesys/extended/child-syn-rw tests/filesys/extended/tar
  12
  13 $(foreach prog,$(tests/filesys/extended_PROGS),                 \
  14         $(eval $(prog)_SRC += $(prog).c tests/lib.c tests/filesys/seq-test.c))
  15 $(foreach prog,$(tests/filesys/extended_TESTS),         \
  16         $(eval $(prog)_SRC += tests/main.c))
  17 $(foreach prog,$(tests/filesys/extended_TESTS),         \
  18         $(eval $(prog)_PUTFILES += tests/filesys/extended/tar))
  19 $(foreach test,$(tests/filesys/extended_TESTS), \
  20         $(eval $(test).output: FSDISK = tmp.dsk))
  21
  22 tests/filesys/extended/dir-mk-tree_SRC += tests/filesys/extended/mk-tree.c
  23 tests/filesys/extended/dir-rm-tree_SRC += tests/filesys/extended/mk-tree.c
  24
  25 tests/filesys/extended/syn-rw_PUTFILES += tests/filesys/extended/child-syn-rw
  26
  27
  28 GETTIMEOUT = 60
  29
  30 GETCMD = pintos -v -T $(GETTIMEOUT)
  31 GETCMD += $(PINTOSOPTS)
  32 GETCMD += $(SIMULATOR)
  33 GETCMD += --fs-disk=$(FSDISK)
  34 GETCMD += -g fs.tar -a $(TEST).tar
  35 ifeq ($(filter vm, $(KERNEL_SUBDIRS)), vm)
  36 GETCMD += --swap-disk=4
  37 endif
  38 GETCMD += -- -q
  39 GETCMD += $(KERNELFLAGS)
  40 GETCMD += run 'tar fs.tar /'
  41 GETCMD += 2>> $(TEST).get-errors
  42 GETCMD += $(if $(VERBOSE),|tee -a,>>) $(TEST).get-output
  43
  44 tests/filesys/extended/%.output: os.dsk
  45         rm -f tmp.dsk
  46         pintos-mkdisk tmp.dsk 2
  47         $(TESTCMD)
  48         $(GETCMD)
  49         rm -f tmp.dsk