sem/Makefile

   1 #
   2 # Lightweight Autonomic Network Architecture
   3 #
   4 # Copyright 2011 Daniel Borkmann <dborkma@tik.ee.ethz.ch>,
   5 # Swiss federal institute of technology (ETH Zurich)
   6 # Subject to the GPL.
   7 #
   8
   9 cocc-objs  = api/alloc/drop_kmalloc_cast.cocc        \
  10              api/alloc/kzalloc-simple.cocc           \
  11              api/err_cast.cocc                       \
  12              api/memdup.cocc                         \
  13              api/memdup_user.cocc                    \
  14              api/resource_size.cocc                  \
  15              api/kstrdup.cocc                        \
  16              locks/mini_lock.cocc                    \
  17              locks/call_kern.cocc                    \
  18              locks/double_lock.cocc                  \
  19              locks/flags.cocc                        \
  20              null/deref_null.cocc                    \
  21              null/kmerr.cocc                         \
  22              null/eno.cocc                           \
  23              misc/ifcol.cocc                         \
  24              misc/doubleinit.cocc                    \
  25              tests/doubletest.cocc                   \
  26              tests/doublebitand.cocc                 \
  27              tests/notnull.cocc                      \
  28              iterators/itnull.cocc                   \
  29              iterators/list_entry_update.cocc        \
  30              iterators/fen.cocc                      \
  31              free/kfree.cocc
  32 chk-objs   = $(shell find ../src -name "*.[ch]")
  33
  34 .PHONY: $(cocc-objs)
  35
  36 all: $(cocc-objs)
  37
  38 $(cocc-objs): %.cocc: %.cocci
  39         @echo "++++++ Applying $< ++++++"
  40         @for f in $(chk-objs) ; do                         \
  41                 spatch -outplace -sp_file $< $$f || true ; \
  42         done
  43
  44 clean:
  45         @rm *.cocci_res
  46