Will display a warning if non-GNU make is used
[privoxy.git] / Makefile
1 # $Id: Makefile.in,v 1.40 2001/12/01 00:24:11 jongfoster Exp $
2 #
3 # Written by and Copyright (C) 2001 the SourceForge
4 # IJBSWA team.  http://ijbswa.sourceforge.net
5 #
6 # Based on the Internet Junkbuster originally written
7 # by and Copyright (C) 1997 Anonymous Coders and 
8 # Junkbusters Corporation.  http://www.junkbusters.com
9 #
10 # This program is free software; you can redistribute it 
11 # and/or modify it under the terms of the GNU General
12 # Public License as published by the Free Software
13 # Foundation; either version 2 of the License, or (at
14 # your option) any later version.
15 #
16 # This program is distributed in the hope that it will
17 # be useful, but WITHOUT ANY WARRANTY; without even the
18 # implied warranty of MERCHANTABILITY or FITNESS FOR A
19 # PARTICULAR PURPOSE.  See the GNU General Public
20 # License for more details.
21 #
22 # The GNU General Public License should be included with
23 # this file.  If not, you can view it at
24 # http://www.gnu.org/copyleft/gpl.html
25 # or write to the Free Software Foundation, Inc., 59
26 # Temple Place - Suite 330, Boston, MA  02111-1307, USA.
27 #
28 # $Log: Makefile.in,v $
29 #
30
31 #############################################################################
32
33 error: GNUmakefile
34         @echo
35         @echo "ERROR!"
36         @echo "To build this program, you must run ./configure and then run GNU make."
37         @echo
38         @echo "You are not using the GNU version of Make - maybe it's called gmake"
39         @echo "or it's in a different directory?"
40         @echo
41
42 GNUmakefile:
43         @echo
44         @echo "ERROR!"
45         @echo "To build this program, you must run ./configure and then run GNU make."
46         @echo
47         @echo "You haven't run ./configure yet."
48         @echo
49         @false
50
51 .PHONY: error
52
53 #############################################################################
54
55 ## Local Variables:
56 ## tab-width: 3
57 ## end: