pintos-os.org Git - pintos-anon/blob - grading/vm/Makefile

   1 include Make.progs
   2
   3 SRCDIR = ../../src
   4
   5 DISKS = $(patsubst %,%.dsk,$(TESTS))
   6
   7 disks: $(DISKS)
   8
   9 mmap-close.dsk mmap-read.dsk mmap-unmap.dsk mmap-twice.dsk: sample.txt
  10 page-parallel.dsk: child-linear
  11 page-merge-seq.dsk page-merge-par.dsk: child-sort
  12 mmap-overlap.dsk: zeros
  13 mmap-exit.dsk: child-mm-wrt
  14
  15 zeros:
  16         dd if=/dev/zero of=$@ bs=1024 count=6
  17
  18 %.dsk: %
  19         ./prep-disk --fs-disk=$@ $^
  20
  21 clean::
  22         rm -f $(DISKS)
  23
  24 include $(SRCDIR)/Makefile.userprog
  25
  26 CFLAGS += -Werror