modules/src/Action.lint

   1 name "system-call interface module lint library"
   2 action "make lintlib"
   3 dir system
   4 end
   5 name "string routines module lint library"
   6 action "make lintlib"
   7 dir string
   8 end
   9 name "formatted print module lint library"
  10 action "make lintlib"
  11 dir print
  12 end
  13 name "assertion module lint library"
  14 action "make lintlib"
  15 dir assert
  16 end
  17 name "memory allocation module lint library"
  18 action "make lintlib"
  19 dir alloc
  20 end
  21 name "fast, linear time malloc lint library"
  22 action "make lintlib"
  23 dir malloc
  24 end
  25 name "identifier table module lint library"
  26 action "make lintlib"
  27 dir idf
  28 end
  29 name "input module lint library"
  30 action "make lintlib"
  31 dir input
  32 end
  33 name "ACK-object reading and writing module lint library"
  34 action "make lintlib"
  35 dir object
  36 end
  37 name "EM code generation module lint library"
  38 action "make lintlib"
  39 dir em_code
  40 end
  41 name "EM messages generation module lint library"
  42 action "make lintlib"
  43 dir em_mes
  44 end
  45 name "EM-code reading module lint library"
  46 action "make lintlib"
  47 dir read_em
  48 end
  49 name "Floating point arithmetic module lint library"
  50 action "make lintlib"
  51 dir flt_arith
  52 end