]>
Commit | Line | Data |
---|---|---|
87fa79e5 | 1 | Building splint:\r |
e5a87a6c | 2 | ----------------\r |
3 | \r | |
87fa79e5 | 4 | This file is originally part of the binary distribution of splint \r |
5 | for OS/2.\r | |
e5a87a6c | 6 | \r |
87fa79e5 | 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 | |
e5a87a6c | 10 | is at:\r |
11 | \r | |
87fa79e5 | 12 | http://www.splint.org\r |
e5a87a6c | 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 | |
87fa79e5 | 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 | |
e5a87a6c | 28 | \r |
3934e170 | 29 | Use the batch file makeos2.cmd from inside the os2/ directory to build \r |
87fa79e5 | 30 | splint. The options to that batch file are:\r |
e5a87a6c | 31 | \r |
feba098c | 32 | makeos2 [--compile|-c|--test|-t|--package|-p]\r |
e5a87a6c | 33 | \r |
feba098c | 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 | |
3934e170 | 39 | \r |
87fa79e5 | 40 | Please, be aware that you need the flex library in order to build splint.\r |
e5a87a6c | 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 | |
e5a87a6c | 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 | |
87fa79e5 | 48 | splint sources.\r |
e5a87a6c | 49 | \r |
feba098c | 50 | Herbert in August 2007\r |
e5a87a6c | 51 | \r |