1 ## Process this file with automake to create Makefile.in. -*-Makefile-*-
3 ## Makefile for Splint 3.0
4 ## For more information: http://www.splint.org
6 ## Copyright (C) 2001-2 University of Virginia,
7 ## Massachusetts Institute of Technology
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.
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.
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.
23 ## For information on spint: info@splint.org
24 ## To report a bug: splint-bug@splint.org
27 AUTOMAKE_OPTIONS = 1.5 foreign
31 SUBDIRS = $(binaryDir) lib imports doc
33 all: config.h src/splint
35 src/splint: $(binaryDir)/splint
36 ln -s ../$(binaryDir)/splint src/splint