home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / EXAMPLES / SUPERLIN / README < prev    next >
Text File  |  1996-06-04  |  1KB  |  49 lines
  1.  
  2.  
  3.                                   SUPERLINT 0.3
  4.                                   =============
  5.  
  6.  
  7. AUTHOR : Arnaud Venet                                    DATE : Feb 11 1994
  8. ========                                                 ======
  9.  
  10.  
  11. USE NOTE :
  12. ==========
  13.  
  14. The user interface of SuperLint is based on two shell scripts:
  15. sl and slc.  Upon installing Wild_LIFE 1.0, edit these scripts
  16. to contain the correct pathnames for the wild_life executable.
  17.  
  18. To compile rules type the Unix shell command:
  19.  
  20.     % slc rules_file
  21. or 
  22.     % slc -o my_analyzer rules_file
  23.  
  24. In the first case the analyzer will be put in a file called
  25. superlint.lf in the current directory.  An example rules
  26. file, rules.lf, is included, as well as an example analyzer
  27. created by slc, superlint.lf.
  28.  
  29. To achieve verifications on C files, you have to type :
  30.  
  31.     % sl file1.c file2.c ...
  32. or
  33.     % sl -f my_analyzer file1.c file2.c ...
  34.  
  35. If the -f option is not given, there must be a file superlint.lf
  36. in the current directory.
  37.  
  38. You can type :
  39.  
  40.     % sl -h
  41. or
  42.     % slc -h
  43.  
  44. to remember the syntax of these commands.
  45.  
  46.  
  47.  
  48.  
  49.