1 ## Copyright (C) 2001-2015, 2018-2021 Free Software Foundation, Inc.
3 ## This program is free software: you can redistribute it and/or modify
4 ## it under the terms of the GNU General Public License as published by
5 ## the Free Software Foundation, either version 3 of the License, or
6 ## (at your option) any later version.
8 ## This program is distributed in the hope that it will be useful,
9 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
10 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 ## GNU General Public License for more details.
13 ## You should have received a copy of the GNU General Public License
14 ## along with this program. If not, see <http://www.gnu.org/licenses/>.
16 CLEANDIRS
+= %D
%/*.dSYM
18 bin_PROGRAMS
= src
/bison
19 # Prettify Automake-computed names of compiled objects.
20 src_bison_SHORTNAME
= bison
22 src_bison_CPPFLAGS
= $(AM_CPPFLAGS
) -DINSTALLDIR
=\"$(bindir)\"
24 src_bison_LDFLAGS
= `$(RELOCATABLE_LDFLAGS) $(bindir)`
27 src_bison_CFLAGS
= $(AM_CFLAGS
) $(WERROR_CFLAGS
)
29 src
/AnnotationList.c \
30 src
/AnnotationList.h \
31 src
/InadequacyList.c \
32 src
/InadequacyList.h \
43 src
/counterexample.c \
44 src
/counterexample.h \
82 src
/parse-simulation.c \
83 src
/parse-simulation.h \
118 EXTRA_src_bison_SOURCES
= \
130 # Although conceptually most of these guys would make more sense in the
131 # definition of libbison, beware that they might expand as flags such as
132 # `-lm`. Keep them here. Or use a Libtool convenience library.
141 $(LIB_CLOCK_GETTIME
) \
145 $(LIB_SETLOCALE_NULL
) \
151 EXTRA_DIST
+= %D
%/i18n-strings.c
159 nodist_bin_SCRIPTS
= src
/yacc
161 EXTRA_SCRIPTS
= src
/yacc
162 MOSTLYCLEANFILES
+= src
/yacc