home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / os2 / README.OS2 < prev    next >
Text File  |  2002-02-16  |  6KB  |  154 lines
  1. splint 3.0.0.16 for OS/2
  2. ========================
  3.  
  4. This file is originally part of the binary distribution of splint for OS/2.
  5.  
  6. Contents:
  7. ---------
  8.  
  9.  Differences to the Unix versions
  10.  Installation
  11.  Bugs and known problems
  12.  Where to get
  13.  History
  14.  Afterword
  15.  
  16.  
  17. Differences to the Unix versions:
  18. ---------------------------------
  19.  
  20. 1. splint searches for the initialization file in the current directory 
  21.    and additionally in the directory pointed to by the environment 
  22.    variable "HOME" if set. 
  23.  
  24. 2. For path specifications "\" can be used instead of "/". In most
  25.    cases any of both, even in combination are fine.
  26.  
  27. 3. splint/2 will use the value of the environment variable TMP (if not set
  28.    TEMP) for creating and reading temporary files if possible. Else the
  29.    current directory is used.
  30.  
  31.  
  32. Installation:
  33. -------------
  34.  
  35. For installing splint there are four steps necessary:
  36.  
  37. 1. Place the executable file splint.exe in some directory in your PATH.
  38. 2. Install all that's in the "imports" and "lib" subdirectories somewhere
  39.    you like it. You will need a HPFS drive to install these files.
  40. 3. Set the environment variable LARCH_PATH to the `lib' subdir in the 
  41.    main splint directory, like:
  42.      set LARCH_PATH=d:\software\splint-3.0.0.16\lib
  43.    Then set LCLIMPORTDIR to the `imports' subdir in the main splint
  44.    directory, like:
  45.      set LCLIMPORTDIR=d:\software\splint-3.0.0.16\imports
  46.    You may want to add these statements to your your config.sys file 
  47.    as soon as you've got the software working. 
  48. 4. If you want to use some standard settings different from what's built
  49.    in edit and place the configuration file `.splintrc' somewhere splint 
  50.    can find it. This is the directory pointed to by the HOME environment
  51.    variable if set or else the directory containing the executable file.
  52.    It seems a good idea to put all global stuff into that file and all
  53.    project dependent information into another `.splintrc' in the directory
  54.    containing the sources to be checked by splint. splint will first
  55.    read the global and then the local `.splintrc'.
  56.  
  57. For building splint you will need the complete sources package. Untar that
  58. file. You need HPFS to compile the package because there are plenty of 
  59. files with long filenames. Refer to the file BUILD.OS2 for further 
  60. instructions. 
  61.  
  62.  
  63. Bugs and known problems:
  64. ------------------------
  65.  
  66. There are a few things that still do not work properly. As splint was
  67. originally developed on and for Unix systems e.g. path names differ.
  68. Currently all paths specified in the command line have to contain
  69. backslashes rather than slashes which will be quite normal for people
  70. with no Unix background anyway. Also not all tests work well yet, at
  71. the moment only the "quicktest" with a few changes is available.
  72.  
  73.  
  74. Where to get:
  75. -------------
  76.  
  77. In any case future versions of splint for OS/2 will be available from the
  78. splint homepage at:
  79.  - http://splint.cs.virginia.edu/
  80.  
  81. I will try to upload the file to at least the following sites (the file 
  82. should be located somewhere in the OS2/DEVELOP areas):
  83.  - ftp.cdrom.com
  84.  - ftp.hobbes.nmsu.edu
  85.  - ftp.leo.org
  86. I always put any fixes (even unofficial ones) to my private ftp directory
  87. at:
  88.  - ftp.fh-wedel.de/pub/fh-wedel/staff/herbert/splint
  89.  
  90.  
  91. History:
  92. --------
  93.  
  94. The following things specific to the OS/2 version of splint have changed / 
  95. fixed since the first official release:
  96.  
  97. version 3.0.0.16:
  98. - Finally fully united the OS/2 port with the main source tree.
  99. - Bugfixes.
  100.  
  101. version 3.0.0.14:
  102. - first OS/2 version of the current alpha.
  103. - changed the name of the initialization file to `.splintrc'.
  104.  
  105. version 2.5m:
  106. - only some fixes mostly derived from the Win32 port.
  107.  
  108. version 2.4b:
  109. - First official OS/2 release.
  110. - Switched from IBM's CSet++ 2.01 to VisualAge C++ 3.0.
  111.  
  112. version 2.3i:
  113. - Due to my mistake the "HOME" environment variable was ignored even if it 
  114.   was set.
  115.  
  116. version 2.3h:
  117. - IBM's CSet++ is now used as default compiler instead of emx/gcc.
  118. - splint compiled as a.out binary using emx/gcc now runs fine under DOS.
  119. - In the previous release some temporary files did not get removed properly.
  120. - Sometimes splint delivered the names of temporary files rather than the
  121.   original source files when reporting errors.
  122. - Sometimes include files were not found.
  123.  
  124.  
  125. Due to the differences between Unix and OS/2 (file-I/O, standard directory
  126. structures etc.) there are still some more to expect!
  127.  
  128.  
  129. Afterword:
  130. ----------
  131.  
  132. I have not yet fully ported Makfiles / scripts for a full-featured test
  133. suite. The simple Makefile.os2 in the test/ directory allows checking
  134. the C sources belonging to the suite and looking at the output (or 
  135. directing it to a file using "make -f Makefile.os2 >test.log 2>&1" or
  136. something similar. 
  137.  
  138. After having used splint/2 on a few projects now I may say it has got 
  139. more reliable. Still I do not know enough about it yet to be able to do  
  140. more sophisticated testing than just using it for my sources or running
  141. the (simplified) test suite. If you run across any OS/2-specific problems 
  142. write me an email -- I will *try* to fix it. But, please, do not forget 
  143. that I am *not* the author of splint!
  144.  
  145. My eMail address is `herbert@spamcop.net'. The first time you write me 
  146. you'll get an automatically generated mail asking for confirmation. I
  147. regret to need this measure, previous addresses were spammed unusable,
  148. you know the story.
  149.  
  150. Have fun!
  151.  
  152. Martin "Herbert" Dietze
  153.  
  154.