| 363a5c93 |
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 | |
| f0c4f4d3 |
27 | AUTOMAKE_OPTIONS = 1.6.3 foreign |
| 363a5c93 |
28 | |
| fc97bef4 |
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 |
andersk / splint.git / blame