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

   1 # -*- makefile -*-
   2
   3 include $(patsubst %,$(SRCDIR)/%/Make.tests,$(TEST_SUBDIRS))
   4
   5 PROGS = $(foreach subdir,$(TEST_SUBDIRS),$($(subdir)_PROGS))
   6 TESTS = $(foreach subdir,$(TEST_SUBDIRS),$($(subdir)_TESTS))
   7
   8 include ../../Makefile.userprog
   9
  10 PINTOSFLAGS += -v $(foreach file,$(PUTFILES),-p $(file) -a $(notdir $(file)))
  11 KERNELFLAGS += -q
  12 PINTOS = pintos $(PINTOSOPTS) $(PINTOSFLAGS) -- $(KERNELFLAGS)
  13
  14 OUTPUTS = $(addsuffix .output,$(TESTS))
  15 ERRORS = $(addsuffix .errors,$(TESTS))
  16 RESULTS = $(addsuffix .result,$(TESTS))
  17
  18 clean::
  19         rm -f $(OUTPUTS) $(ERRORS) $(RESULTS)
  20
  21 grade:: results
  22         $(SRCDIR)/tests/make-grade $(SRCDIR) $< $(GRADING_FILE) | tee $@
  23
  24 check:: results
  25         @cat $<
  26         @COUNT="`egrep '^(pass|FAIL) ' $< | wc -l`";            \
  27         FAILURES="`egrep '^FAIL ' $< | wc -l`";                 \
  28         if [ "$$FAILURES" = 0 ]; then                           \
  29                 echo "All $$COUNT tests passed.";               \
  30         else                                                    \
  31                 echo "$$FAILURES of $$COUNT tests failed.";     \
  32                 exit 1;                                         \
  33         fi
  34
  35 results: $(RESULTS)
  36         @for d in $(TESTS); do                                  \
  37                 if echo PASS | cmp -s $$d.result -; then        \
  38                         echo "pass $$d";                        \
  39                 else                                            \
  40                         echo "FAIL $$d";                        \
  41                 fi;                                             \
  42         done > $@
  43
  44 outputs:: $(OUTPUTS)
  45
  46 $(foreach prog,$(PROGS),$(eval $(prog).output: $(prog)))
  47 $(foreach test,$(TESTS),$(eval $(test).output: $($(test)_PUTFILES)))
  48 tests/%.output: RUNCMD = $(if $($*_ARGS),run '$(*F) $($*_ARGS)',run $(*F))
  49 tests/%.output: RUNREDIR = 2>$*.errors $(if $(VERBOSE),|tee,>) $*.output
  50 tests/%.output: RUNTEST = $(PINTOS) $(RUNCMD) $(RUNREDIR)
  51 %.output: os.dsk
  52         $(RUNTEST)
  53
  54 %.result: %.ck %.output
  55         perl -I$(SRCDIR) $< $* $@