os2/BUILD.OS2

   1 Building splint:\r
   2 ----------------\r
   3 \r
   4 This file is originally part of the binary distribution of splint \r
   5 for OS/2.\r
   6 \r
   7 For building splint for OS/2 you need the complete "original" source\r
   8 package (available e.g. via Dave Evans' splint homepage) and maybe \r
   9 some more recent patches for the OS/2 version. The splint home page\r
  10 is at:\r
  11 \r
  12   http://www.splint.org\r
  13 \r
  14 My fixes can be found at:\r
  15 \r
  16   http://www.fh-wedel.de/pub/fh-wedel/staff/di/lclint/index.html\r
  17 \r
  18 You also need a couple of Unix tools. These are available as free \r
  19 software (GNU tools) or freeware (IBM aixlike tools). In particular\r
  20 the tools needed are:\r
  21 \r
  22  - A Unix shell. I use ksh, but others may do as well\r
  23  - The Unix `date', `cp', `mv', `rm' and `echo' commands\r
  24  - The `sed' and `tr' filters\r
  25  - GNU make (IBM/M$'s `nmake' does *not* work here)\r
  26  - Optionally, `flex' and `bison' (if not available, comment out\r
  27    the corresponding entries from the Makefile.os2 file)\r
  28 \r
  29 Use the batch file makeos2.cmd from inside the os2/ directory to build \r
  30 splint. The options to that batch file are:\r
  31 \r
  32   makeos2 [--compile|-c|--test|-t|--package|-p]\r
  33 \r
  34 This batch should be called from inside the os2 directory. I have\r
  35 abandoned support for any compiler other than gcc 3.1.x or higher,\r
  36 so that the build process has become much simpler. Use the "-c" or\r
  37 "--compile" option to build splint, and optionally run the quicktest\r
  38 by running the batch with "-t" (other tests are not supported).\r
  39 \r
  40 Please, be aware that you need the flex library in order to build splint.\r
  41 As far as I remember the OS/2 version of flex comes with this library for\r
  42 the emx/gcc compiler. If not, you will easily be able to compile it \r
  43 following the instructions from flex'es README.OS2 file.\r
  44 \r
  45 The Makefile.os2 is currently configured to use flex and bison to generate \r
  46 some source files. If you do not have these tools on your system you should \r
  47 change the corresponding section to use the .der files shipping with the \r
  48 splint sources.\r
  49 \r
  50 Herbert in August 2007\r
  51 \r