]>
Commit | Line | Data |
---|---|---|
146e25eb | 1 | Splint - annotation-assisted static program checker |
2 | http://www.splint.org | |
3 | ||
4 | Copyright (C) 1994-2002 | |
5 | University of Virginia, | |
6 | Massachusetts Institute of Technology | |
7 | ||
8 | Version 3.0.0.20 | |
15b3d2b2 | 9 | Alpha Release |
146e25eb | 10 | 30 December 2001 |
885824d3 | 11 | |
146e25eb | 12 | Splint Documentation |
885824d3 | 13 | ==================== |
14 | ||
146e25eb | 15 | For documentation on Splint, please see http://www.splint.org |
885824d3 | 16 | |
15b3d2b2 | 17 | WARNING: this is an Alpha release - new features and changes are not |
11db3170 | 18 | reflected in the documentation. |
15b3d2b2 | 19 | |
885824d3 | 20 | Build Instructions |
21 | ================== | |
22 | ||
11db3170 | 23 | To build Splint you need: |
885824d3 | 24 | |
25 | o a (hopefully ANSI-conforming) C compiler. On most modern Unix systems, | |
26 | cc will work fine. For older or less standard systems, gcc is | |
27 | recommended. | |
28 | o gmake, the GNU make utility. If you don't have gmake installed on your | |
29 | system, download it from prep.ai.mit.edu. | |
30 | o standard Unix tools: gzip, tar | |
31 | ||
68de3f33 | 32 | You should also have: |
885824d3 | 33 | |
68de3f33 | 34 | o flex |
35 | o bison version 1.28 or later - bison 1.27 and 1.25 are believed to | |
11db3170 | 36 | have bugs that cause problems with Splint's parsers. |
68de3f33 | 37 | |
11db3170 | 38 | If these are unavailable, you may be able to build Splint anyway using |
68de3f33 | 39 | the derived grammar files. This is not recommended however. |
885824d3 | 40 | |
11db3170 | 41 | 1. Download the Splint source package (splint-<version>.src.tgz). |
68de3f33 | 42 | |
11db3170 | 43 | Copy this package to the directory where you want to build Splint. When |
44 | the tar file is extracted, it will create an splint-<version> subdirectory. | |
885824d3 | 45 | |
68de3f33 | 46 | 2. Extract files from the tar archive: |
11db3170 | 47 | tar xzf splint-<version>.src.tgz |
885824d3 | 48 | |
68de3f33 | 49 | 3. Run: ./configure |
885824d3 | 50 | |
51 | This will create a Makefile with settings for your system. If you | |
11db3170 | 52 | want to install Splint or associated libraries different |
885824d3 | 53 | directories, edit the Makefile. |
54 | ||
68de3f33 | 55 | 4. Run: gmake |
885824d3 | 56 | |
57 | It is best to do this in an emacs shell or a buffered terminal, | |
58 | so you can scroll through the output. | |
59 | ||
60 | 6. Set environment variables | |
61 | ||
11db3170 | 62 | LARCH_PATH - path to search for splint libraries and |
885824d3 | 63 | initializations files. If you are using the standard directories, this |
11db3170 | 64 | should be .:<base-directory>/splint-3.0.0.9/lib. |
885824d3 | 65 | |
66 | LCLIMPORTDIR - directory containing lcl imports files. If you are using | |
11db3170 | 67 | the standard directories, this is <base-directory>/splint-3.0.0.9/imports. |
885824d3 | 68 | |
69 | Put the commands to set these variables (the actual commands will depend | |
70 | on the shell you are using) in one of your initialization dotfiles | |
71 | (usually ~/.environment). | |
72 | ||
73 | Set up your PATH to include the directory containing | |
11db3170 | 74 | splint-<version>/bin/splint, or move the binary to a directory on |
885824d3 | 75 | your command path. |
76 | ||
77 | 7. Run: gmake test | |
78 | ||
79 | Examine the test output. If there are errors, send a bug | |
11db3170 | 80 | report to splint-bug@cs.virginia.edu |
885824d3 | 81 | |
11db3170 | 82 | To subscribe to announcements of new Splint releases, send a message to |
885824d3 | 83 | majordomo@virginia.edu containing the body: |
84 | ||
85 | subscribe lclint-announce | |
86 | ||
11db3170 | 87 | To participate in discussions related to Splint, send a message to |
885824d3 | 88 | majordomo@virginia.edu containing the body: |
89 | ||
90 | subscribe lclint-interest | |
91 | ||
15b3d2b2 | 92 | |
93 | ||
94 | ||
95 | ||
96 | ||
97 | ||
98 | ||
99 |