pintos-os.org Git - pintos-anon/blob - grading/userprog/Make.base

   1 SRCDIR = ../../src
   2
   3 PROGS = $(TESTS) child-simple child-arg child-bad child-close
   4 child_simple_SRC = child-simple.c
   5 child_arg_SRC = child-arg.c
   6 child_bad_SRC = child-bad.c
   7 child_close_SRC = child-close.c
   8
   9 DISKS = $(patsubst %,%.dsk,$(TESTS))
  10
  11 disks: $(DISKS)
  12
  13 exec-once.dsk exec-multiple.dsk join-simple.dsk join-twice.dsk: child-simple
  14 exec-arg.dsk: child-arg
  15 join-killed.dsk: child-bad
  16 multi-child-fd.dsk: child-close
  17
  18 %.dsk: %
  19         ./prep-disk $<
  20
  21 clean::
  22         rm -f $(DISKS)
  23
  24 include $(SRCDIR)/Makefile.userprog
  25
  26 CFLAGS += -Werror
  27
  28 Makefile: Make.base Make.tests mkmf
  29         ./mkmf
  30