46 lines
1.1 KiB
Bash
Executable File
46 lines
1.1 KiB
Bash
Executable File
#! /bin/sh
|
|
# Copyright (C) 2001, 2002, 2003, 2008 Free Software Foundation, Inc.
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2, or (at your option)
|
|
# any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
# Make sure no-exeext option works.
|
|
|
|
. ./defs || Exit 1
|
|
|
|
set -e
|
|
|
|
cat >> configure.in << 'END'
|
|
AC_PROG_CC
|
|
END
|
|
|
|
cat > Makefile.am << 'END'
|
|
bin_PROGRAMS = maude
|
|
|
|
maude:
|
|
yeah
|
|
END
|
|
|
|
$ACLOCAL
|
|
|
|
$AUTOMAKE -Wnone
|
|
AUTOMAKE_fails -Wnone -Wobsolete
|
|
grep 'deprecated.*maude' stderr
|
|
AUTOMAKE_fails -Wall
|
|
grep 'deprecated.*maude' stderr
|
|
grep 'overrid.*maude' stderr
|
|
|
|
echo 'AUTOMAKE_OPTIONS = no-exeext' >> Makefile.am
|
|
|
|
$AUTOMAKE -Wall -Wno-override
|