]>
Commit | Line | Data |
---|---|---|
1 | ## Process this file with automake to create Makefile.in. -*-Makefile-*- | |
2 | ## | |
3 | ## Makefile for Splint 3.0 | |
4 | ## For more information: http://www.splint.org | |
5 | ## | |
6 | ## Copyright (C) 2001-2 University of Virginia, | |
7 | ## Massachusetts Institute of Technology | |
8 | ## | |
9 | ## This program is free software; you can redistribute it and/or modify it | |
10 | ## under the terms of the GNU General Public License as published by the | |
11 | ## Free Software Foundation; either version 2 of the License, or (at your | |
12 | ## option) any later version. | |
13 | ## | |
14 | ## This program is distributed in the hope that it will be useful, but | |
15 | ## WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 | ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
17 | ## General Public License for more details. | |
18 | ## | |
19 | ## The GNU General Public License is available from http://www.gnu.org/ or | |
20 | ## the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, | |
21 | ## MA 02111-1307, USA. | |
22 | ## | |
23 | ## For information on spint: info@splint.org | |
24 | ## To report a bug: splint-bug@splint.org | |
25 | ## | |
26 | ||
27 | AUTOMAKE_OPTIONS = 1.6.3 foreign | |
28 | ||
29 | binaryDir = bin | |
30 | ||
31 | SUBDIRS = $(binaryDir) lib imports doc | |
32 | ||
33 | all: config.h src/splint | |
34 | ||
35 | src/splint: $(binaryDir)/splint | |
36 | ln -s ../$(binaryDir)/splint src/splint |