1# Makefile.in generated by automake 1.16.3 from Makefile.am.
2# @configure_input@
3
4# Copyright (C) 1994-2020 Free Software Foundation, Inc.
5
6# This Makefile.in is free software; the Free Software Foundation
7# gives unlimited permission to copy and/or distribute it,
8# with or without modifications, as long as this notice is preserved.
9
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13# PARTICULAR PURPOSE.
14
15@SET_MAKE@
16
17
18VPATH = @srcdir@
19am__is_gnu_make = { \
20  if test -z '$(MAKELEVEL)'; then \
21    false; \
22  elif test -n '$(MAKE_HOST)'; then \
23    true; \
24  elif test -n '$(MAKE_VERSION)' && test -n '$(CURDIR)'; then \
25    true; \
26  else \
27    false; \
28  fi; \
29}
30am__make_running_with_option = \
31  case $${target_option-} in \
32      ?) ;; \
33      *) echo "am__make_running_with_option: internal error: invalid" \
34              "target option '$${target_option-}' specified" >&2; \
35         exit 1;; \
36  esac; \
37  has_opt=no; \
38  sane_makeflags=$$MAKEFLAGS; \
39  if $(am__is_gnu_make); then \
40    sane_makeflags=$$MFLAGS; \
41  else \
42    case $$MAKEFLAGS in \
43      *\\[\ \	]*) \
44        bs=\\; \
45        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
46          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
47    esac; \
48  fi; \
49  skip_next=no; \
50  strip_trailopt () \
51  { \
52    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
53  }; \
54  for flg in $$sane_makeflags; do \
55    test $$skip_next = yes && { skip_next=no; continue; }; \
56    case $$flg in \
57      *=*|--*) continue;; \
58        -*I) strip_trailopt 'I'; skip_next=yes;; \
59      -*I?*) strip_trailopt 'I';; \
60        -*O) strip_trailopt 'O'; skip_next=yes;; \
61      -*O?*) strip_trailopt 'O';; \
62        -*l) strip_trailopt 'l'; skip_next=yes;; \
63      -*l?*) strip_trailopt 'l';; \
64      -[dEDm]) skip_next=yes;; \
65      -[JT]) skip_next=yes;; \
66    esac; \
67    case $$flg in \
68      *$$target_option*) has_opt=yes; break;; \
69    esac; \
70  done; \
71  test $$has_opt = yes
72am__make_dryrun = (target_option=n; $(am__make_running_with_option))
73am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
74pkgdatadir = $(datadir)/@PACKAGE@
75pkgincludedir = $(includedir)/@PACKAGE@
76pkglibdir = $(libdir)/@PACKAGE@
77pkglibexecdir = $(libexecdir)/@PACKAGE@
78am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
79install_sh_DATA = $(install_sh) -c -m 644
80install_sh_PROGRAM = $(install_sh) -c
81install_sh_SCRIPT = $(install_sh) -c
82INSTALL_HEADER = $(INSTALL_DATA)
83transform = $(program_transform_name)
84NORMAL_INSTALL = :
85PRE_INSTALL = :
86POST_INSTALL = :
87NORMAL_UNINSTALL = :
88PRE_UNINSTALL = :
89POST_UNINSTALL = :
90build_triplet = @build@
91host_triplet = @host@
92bin_PROGRAMS = autcross$(EXEEXT) autfilt$(EXEEXT) dstar2tgba$(EXEEXT) \
93	genaut$(EXEEXT) genltl$(EXEEXT) ltl2tgba$(EXEEXT) \
94	ltl2tgta$(EXEEXT) ltlcross$(EXEEXT) ltldo$(EXEEXT) \
95	ltlfilt$(EXEEXT) ltlgrind$(EXEEXT) ltlsynt$(EXEEXT) \
96	randaut$(EXEEXT) randltl$(EXEEXT)
97noinst_PROGRAMS = spot-x$(EXEEXT) spot$(EXEEXT)
98subdir = bin
99ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
100am__aclocal_m4_deps = $(top_srcdir)/m4/00gnulib.m4 \
101	$(top_srcdir)/m4/__inline.m4 \
102	$(top_srcdir)/m4/absolute-header.m4 $(top_srcdir)/m4/alloca.m4 \
103	$(top_srcdir)/m4/argp.m4 \
104	$(top_srcdir)/m4/ax_check_compile_flag.m4 \
105	$(top_srcdir)/m4/ax_prefix_config_h.m4 \
106	$(top_srcdir)/m4/bison.m4 $(top_srcdir)/m4/buddy.m4 \
107	$(top_srcdir)/m4/codeset.m4 $(top_srcdir)/m4/debug.m4 \
108	$(top_srcdir)/m4/devel.m4 $(top_srcdir)/m4/dirname.m4 \
109	$(top_srcdir)/m4/double-slash-root.m4 \
110	$(top_srcdir)/m4/eealloc.m4 $(top_srcdir)/m4/errno_h.m4 \
111	$(top_srcdir)/m4/error.m4 $(top_srcdir)/m4/exponentd.m4 \
112	$(top_srcdir)/m4/extensions.m4 \
113	$(top_srcdir)/m4/extern-inline.m4 $(top_srcdir)/m4/fcntl-o.m4 \
114	$(top_srcdir)/m4/fcntl_h.m4 $(top_srcdir)/m4/float_h.m4 \
115	$(top_srcdir)/m4/fpending.m4 $(top_srcdir)/m4/gccoptim.m4 \
116	$(top_srcdir)/m4/gccwarn.m4 $(top_srcdir)/m4/getopt.m4 \
117	$(top_srcdir)/m4/getprogname.m4 \
118	$(top_srcdir)/m4/gettimeofday.m4 \
119	$(top_srcdir)/m4/gnulib-common.m4 \
120	$(top_srcdir)/m4/gnulib-comp.m4 \
121	$(top_srcdir)/m4/include_next.m4 $(top_srcdir)/m4/intel.m4 \
122	$(top_srcdir)/m4/intmax_t.m4 $(top_srcdir)/m4/inttypes.m4 \
123	$(top_srcdir)/m4/inttypes_h.m4 $(top_srcdir)/m4/isatty.m4 \
124	$(top_srcdir)/m4/l_atomic.m4 $(top_srcdir)/m4/largefile.m4 \
125	$(top_srcdir)/m4/libtool.m4 $(top_srcdir)/m4/limits-h.m4 \
126	$(top_srcdir)/m4/localcharset.m4 $(top_srcdir)/m4/locale-fr.m4 \
127	$(top_srcdir)/m4/locale-ja.m4 $(top_srcdir)/m4/locale-zh.m4 \
128	$(top_srcdir)/m4/locale_h.m4 \
129	$(top_srcdir)/m4/localtime-buffer.m4 $(top_srcdir)/m4/lstat.m4 \
130	$(top_srcdir)/m4/ltargz.m4 $(top_srcdir)/m4/ltdl.m4 \
131	$(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \
132	$(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \
133	$(top_srcdir)/m4/malloc.m4 $(top_srcdir)/m4/malloca.m4 \
134	$(top_srcdir)/m4/mbrtowc.m4 $(top_srcdir)/m4/mbsinit.m4 \
135	$(top_srcdir)/m4/mbstate_t.m4 $(top_srcdir)/m4/memchr.m4 \
136	$(top_srcdir)/m4/mempcpy.m4 $(top_srcdir)/m4/minmax.m4 \
137	$(top_srcdir)/m4/mkdir.m4 $(top_srcdir)/m4/mkstemp.m4 \
138	$(top_srcdir)/m4/mkstemps.m4 $(top_srcdir)/m4/mmap-anon.m4 \
139	$(top_srcdir)/m4/msvc-inval.m4 \
140	$(top_srcdir)/m4/msvc-nothrow.m4 $(top_srcdir)/m4/multiarch.m4 \
141	$(top_srcdir)/m4/ndebug.m4 $(top_srcdir)/m4/nocrash.m4 \
142	$(top_srcdir)/m4/off_t.m4 $(top_srcdir)/m4/pathmax.m4 \
143	$(top_srcdir)/m4/printf.m4 $(top_srcdir)/m4/pypath.m4 \
144	$(top_srcdir)/m4/quote.m4 $(top_srcdir)/m4/quotearg.m4 \
145	$(top_srcdir)/m4/rawmemchr.m4 \
146	$(top_srcdir)/m4/secure_getenv.m4 \
147	$(top_srcdir)/m4/setlocale_null.m4 \
148	$(top_srcdir)/m4/size_max.m4 $(top_srcdir)/m4/sleep.m4 \
149	$(top_srcdir)/m4/ssize_t.m4 $(top_srcdir)/m4/stat-time.m4 \
150	$(top_srcdir)/m4/stat.m4 $(top_srcdir)/m4/std-gnu11.m4 \
151	$(top_srcdir)/m4/stdalign.m4 $(top_srcdir)/m4/stdbool.m4 \
152	$(top_srcdir)/m4/stddef_h.m4 $(top_srcdir)/m4/stdint.m4 \
153	$(top_srcdir)/m4/stdint_h.m4 $(top_srcdir)/m4/stdio_h.m4 \
154	$(top_srcdir)/m4/stdlib_h.m4 $(top_srcdir)/m4/stpcpy.m4 \
155	$(top_srcdir)/m4/strcase.m4 $(top_srcdir)/m4/strchrnul.m4 \
156	$(top_srcdir)/m4/strerror.m4 $(top_srcdir)/m4/string_h.m4 \
157	$(top_srcdir)/m4/strings_h.m4 $(top_srcdir)/m4/strndup.m4 \
158	$(top_srcdir)/m4/strnlen.m4 $(top_srcdir)/m4/strverscmp.m4 \
159	$(top_srcdir)/m4/symbolic.m4 $(top_srcdir)/m4/sys_socket_h.m4 \
160	$(top_srcdir)/m4/sys_stat_h.m4 $(top_srcdir)/m4/sys_time_h.m4 \
161	$(top_srcdir)/m4/sys_types_h.m4 $(top_srcdir)/m4/sys_wait_h.m4 \
162	$(top_srcdir)/m4/sysexits.m4 $(top_srcdir)/m4/tempname.m4 \
163	$(top_srcdir)/m4/threadlib.m4 $(top_srcdir)/m4/time_h.m4 \
164	$(top_srcdir)/m4/unistd_h.m4 $(top_srcdir)/m4/valgrind.m4 \
165	$(top_srcdir)/m4/vasnprintf.m4 $(top_srcdir)/m4/visibility.m4 \
166	$(top_srcdir)/m4/vsnprintf.m4 $(top_srcdir)/m4/warn-on-use.m4 \
167	$(top_srcdir)/m4/wchar_h.m4 $(top_srcdir)/m4/wchar_t.m4 \
168	$(top_srcdir)/m4/wctype_h.m4 $(top_srcdir)/m4/wint_t.m4 \
169	$(top_srcdir)/m4/xalloc.m4 $(top_srcdir)/m4/xsize.m4 \
170	$(top_srcdir)/m4/zzgnulib.m4 $(top_srcdir)/configure.ac
171am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
172	$(ACLOCAL_M4)
173DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON)
174mkinstalldirs = $(install_sh) -d
175CONFIG_HEADER = $(top_builddir)/config.h
176CONFIG_CLEAN_FILES =
177CONFIG_CLEAN_VPATH_FILES =
178am__installdirs = "$(DESTDIR)$(bindir)"
179PROGRAMS = $(bin_PROGRAMS) $(noinst_PROGRAMS)
180LIBRARIES = $(noinst_LIBRARIES)
181AM_V_AR = $(am__v_AR_@AM_V@)
182am__v_AR_ = $(am__v_AR_@AM_DEFAULT_V@)
183am__v_AR_0 = @echo "  AR      " $@;
184am__v_AR_1 =
185libcommon_a_AR = $(AR) $(ARFLAGS)
186libcommon_a_LIBADD =
187am_libcommon_a_OBJECTS = common_aoutput.$(OBJEXT) \
188	common_color.$(OBJEXT) common_conv.$(OBJEXT) \
189	common_cout.$(OBJEXT) common_file.$(OBJEXT) \
190	common_finput.$(OBJEXT) common_hoaread.$(OBJEXT) \
191	common_output.$(OBJEXT) common_post.$(OBJEXT) \
192	common_range.$(OBJEXT) common_r.$(OBJEXT) \
193	common_setup.$(OBJEXT) common_trans.$(OBJEXT)
194libcommon_a_OBJECTS = $(am_libcommon_a_OBJECTS)
195am_autcross_OBJECTS = autcross.$(OBJEXT)
196autcross_OBJECTS = $(am_autcross_OBJECTS)
197autcross_LDADD = $(LDADD)
198autcross_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
199	$(top_builddir)/spot/libspot.la \
200	$(top_builddir)/buddy/src/libbddx.la
201AM_V_lt = $(am__v_lt_@AM_V@)
202am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@)
203am__v_lt_0 = --silent
204am__v_lt_1 =
205am_autfilt_OBJECTS = autfilt.$(OBJEXT)
206autfilt_OBJECTS = $(am_autfilt_OBJECTS)
207autfilt_LDADD = $(LDADD)
208autfilt_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
209	$(top_builddir)/spot/libspot.la \
210	$(top_builddir)/buddy/src/libbddx.la
211am_dstar2tgba_OBJECTS = dstar2tgba.$(OBJEXT)
212dstar2tgba_OBJECTS = $(am_dstar2tgba_OBJECTS)
213dstar2tgba_LDADD = $(LDADD)
214dstar2tgba_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
215	$(top_builddir)/spot/libspot.la \
216	$(top_builddir)/buddy/src/libbddx.la
217am_genaut_OBJECTS = genaut.$(OBJEXT)
218genaut_OBJECTS = $(am_genaut_OBJECTS)
219genaut_DEPENDENCIES = $(top_builddir)/spot/gen/libspotgen.la $(LDADD)
220am_genltl_OBJECTS = genltl.$(OBJEXT)
221genltl_OBJECTS = $(am_genltl_OBJECTS)
222genltl_DEPENDENCIES = $(top_builddir)/spot/gen/libspotgen.la $(LDADD)
223am_ltl2tgba_OBJECTS = ltl2tgba.$(OBJEXT)
224ltl2tgba_OBJECTS = $(am_ltl2tgba_OBJECTS)
225ltl2tgba_LDADD = $(LDADD)
226ltl2tgba_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
227	$(top_builddir)/spot/libspot.la \
228	$(top_builddir)/buddy/src/libbddx.la
229am_ltl2tgta_OBJECTS = ltl2tgta.$(OBJEXT)
230ltl2tgta_OBJECTS = $(am_ltl2tgta_OBJECTS)
231ltl2tgta_LDADD = $(LDADD)
232ltl2tgta_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
233	$(top_builddir)/spot/libspot.la \
234	$(top_builddir)/buddy/src/libbddx.la
235am_ltlcross_OBJECTS = ltlcross.$(OBJEXT)
236ltlcross_OBJECTS = $(am_ltlcross_OBJECTS)
237ltlcross_DEPENDENCIES = $(LDADD)
238am_ltldo_OBJECTS = ltldo.$(OBJEXT)
239ltldo_OBJECTS = $(am_ltldo_OBJECTS)
240ltldo_LDADD = $(LDADD)
241ltldo_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
242	$(top_builddir)/spot/libspot.la \
243	$(top_builddir)/buddy/src/libbddx.la
244am_ltlfilt_OBJECTS = ltlfilt.$(OBJEXT)
245ltlfilt_OBJECTS = $(am_ltlfilt_OBJECTS)
246ltlfilt_LDADD = $(LDADD)
247ltlfilt_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
248	$(top_builddir)/spot/libspot.la \
249	$(top_builddir)/buddy/src/libbddx.la
250am_ltlgrind_OBJECTS = ltlgrind.$(OBJEXT)
251ltlgrind_OBJECTS = $(am_ltlgrind_OBJECTS)
252ltlgrind_LDADD = $(LDADD)
253ltlgrind_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
254	$(top_builddir)/spot/libspot.la \
255	$(top_builddir)/buddy/src/libbddx.la
256am_ltlsynt_OBJECTS = ltlsynt.$(OBJEXT)
257ltlsynt_OBJECTS = $(am_ltlsynt_OBJECTS)
258ltlsynt_LDADD = $(LDADD)
259ltlsynt_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
260	$(top_builddir)/spot/libspot.la \
261	$(top_builddir)/buddy/src/libbddx.la
262am_randaut_OBJECTS = randaut.$(OBJEXT)
263randaut_OBJECTS = $(am_randaut_OBJECTS)
264randaut_LDADD = $(LDADD)
265randaut_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
266	$(top_builddir)/spot/libspot.la \
267	$(top_builddir)/buddy/src/libbddx.la
268am_randltl_OBJECTS = randltl.$(OBJEXT)
269randltl_OBJECTS = $(am_randltl_OBJECTS)
270randltl_LDADD = $(LDADD)
271randltl_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
272	$(top_builddir)/spot/libspot.la \
273	$(top_builddir)/buddy/src/libbddx.la
274am_spot_OBJECTS = spot.$(OBJEXT)
275spot_OBJECTS = $(am_spot_OBJECTS)
276spot_LDADD = $(LDADD)
277spot_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
278	$(top_builddir)/spot/libspot.la \
279	$(top_builddir)/buddy/src/libbddx.la
280am_spot_x_OBJECTS = spot-x.$(OBJEXT)
281spot_x_OBJECTS = $(am_spot_x_OBJECTS)
282spot_x_LDADD = $(LDADD)
283spot_x_DEPENDENCIES = libcommon.a $(top_builddir)/lib/libgnu.la \
284	$(top_builddir)/spot/libspot.la \
285	$(top_builddir)/buddy/src/libbddx.la
286AM_V_P = $(am__v_P_@AM_V@)
287am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
288am__v_P_0 = false
289am__v_P_1 = :
290AM_V_GEN = $(am__v_GEN_@AM_V@)
291am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
292am__v_GEN_0 = @echo "  GEN     " $@;
293am__v_GEN_1 =
294AM_V_at = $(am__v_at_@AM_V@)
295am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
296am__v_at_0 = @
297am__v_at_1 =
298DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
299depcomp = $(SHELL) $(top_srcdir)/tools/depcomp
300am__maybe_remake_depfiles = depfiles
301am__depfiles_remade = ./$(DEPDIR)/autcross.Po ./$(DEPDIR)/autfilt.Po \
302	./$(DEPDIR)/common_aoutput.Po ./$(DEPDIR)/common_color.Po \
303	./$(DEPDIR)/common_conv.Po ./$(DEPDIR)/common_cout.Po \
304	./$(DEPDIR)/common_file.Po ./$(DEPDIR)/common_finput.Po \
305	./$(DEPDIR)/common_hoaread.Po ./$(DEPDIR)/common_output.Po \
306	./$(DEPDIR)/common_post.Po ./$(DEPDIR)/common_r.Po \
307	./$(DEPDIR)/common_range.Po ./$(DEPDIR)/common_setup.Po \
308	./$(DEPDIR)/common_trans.Po ./$(DEPDIR)/dstar2tgba.Po \
309	./$(DEPDIR)/genaut.Po ./$(DEPDIR)/genltl.Po \
310	./$(DEPDIR)/ltl2tgba.Po ./$(DEPDIR)/ltl2tgta.Po \
311	./$(DEPDIR)/ltlcross.Po ./$(DEPDIR)/ltldo.Po \
312	./$(DEPDIR)/ltlfilt.Po ./$(DEPDIR)/ltlgrind.Po \
313	./$(DEPDIR)/ltlsynt.Po ./$(DEPDIR)/randaut.Po \
314	./$(DEPDIR)/randltl.Po ./$(DEPDIR)/spot-x.Po \
315	./$(DEPDIR)/spot.Po
316am__mv = mv -f
317CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
318	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
319LTCXXCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
320	$(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) \
321	$(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
322	$(AM_CXXFLAGS) $(CXXFLAGS)
323AM_V_CXX = $(am__v_CXX_@AM_V@)
324am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@)
325am__v_CXX_0 = @echo "  CXX     " $@;
326am__v_CXX_1 =
327CXXLD = $(CXX)
328CXXLINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
329	$(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \
330	$(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
331AM_V_CXXLD = $(am__v_CXXLD_@AM_V@)
332am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@)
333am__v_CXXLD_0 = @echo "  CXXLD   " $@;
334am__v_CXXLD_1 =
335COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
336	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
337LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \
338	$(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \
339	$(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
340	$(AM_CFLAGS) $(CFLAGS)
341AM_V_CC = $(am__v_CC_@AM_V@)
342am__v_CC_ = $(am__v_CC_@AM_DEFAULT_V@)
343am__v_CC_0 = @echo "  CC      " $@;
344am__v_CC_1 =
345CCLD = $(CC)
346LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \
347	$(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
348	$(AM_LDFLAGS) $(LDFLAGS) -o $@
349AM_V_CCLD = $(am__v_CCLD_@AM_V@)
350am__v_CCLD_ = $(am__v_CCLD_@AM_DEFAULT_V@)
351am__v_CCLD_0 = @echo "  CCLD    " $@;
352am__v_CCLD_1 =
353SOURCES = $(libcommon_a_SOURCES) $(autcross_SOURCES) \
354	$(autfilt_SOURCES) $(dstar2tgba_SOURCES) $(genaut_SOURCES) \
355	$(genltl_SOURCES) $(ltl2tgba_SOURCES) $(ltl2tgta_SOURCES) \
356	$(ltlcross_SOURCES) $(ltldo_SOURCES) $(ltlfilt_SOURCES) \
357	$(ltlgrind_SOURCES) $(ltlsynt_SOURCES) $(randaut_SOURCES) \
358	$(randltl_SOURCES) $(spot_SOURCES) $(spot_x_SOURCES)
359DIST_SOURCES = $(libcommon_a_SOURCES) $(autcross_SOURCES) \
360	$(autfilt_SOURCES) $(dstar2tgba_SOURCES) $(genaut_SOURCES) \
361	$(genltl_SOURCES) $(ltl2tgba_SOURCES) $(ltl2tgta_SOURCES) \
362	$(ltlcross_SOURCES) $(ltldo_SOURCES) $(ltlfilt_SOURCES) \
363	$(ltlgrind_SOURCES) $(ltlsynt_SOURCES) $(randaut_SOURCES) \
364	$(randltl_SOURCES) $(spot_SOURCES) $(spot_x_SOURCES)
365RECURSIVE_TARGETS = all-recursive check-recursive cscopelist-recursive \
366	ctags-recursive dvi-recursive html-recursive info-recursive \
367	install-data-recursive install-dvi-recursive \
368	install-exec-recursive install-html-recursive \
369	install-info-recursive install-pdf-recursive \
370	install-ps-recursive install-recursive installcheck-recursive \
371	installdirs-recursive pdf-recursive ps-recursive \
372	tags-recursive uninstall-recursive
373am__can_run_installinfo = \
374  case $$AM_UPDATE_INFO_DIR in \
375    n|no|NO) false;; \
376    *) (install-info --version) >/dev/null 2>&1;; \
377  esac
378RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive	\
379  distclean-recursive maintainer-clean-recursive
380am__recursive_targets = \
381  $(RECURSIVE_TARGETS) \
382  $(RECURSIVE_CLEAN_TARGETS) \
383  $(am__extra_recursive_targets)
384AM_RECURSIVE_TARGETS = $(am__recursive_targets:-recursive=) TAGS CTAGS \
385	distdir distdir-am
386am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
387# Read a list of newline-separated strings from the standard input,
388# and print each of them once, without duplicates.  Input order is
389# *not* preserved.
390am__uniquify_input = $(AWK) '\
391  BEGIN { nonempty = 0; } \
392  { items[$$0] = 1; nonempty = 1; } \
393  END { if (nonempty) { for (i in items) print i; }; } \
394'
395# Make sure the list of sources is unique.  This is necessary because,
396# e.g., the same source file might be shared among _SOURCES variables
397# for different programs/libraries.
398am__define_uniq_tagged_files = \
399  list='$(am__tagged_files)'; \
400  unique=`for i in $$list; do \
401    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
402  done | $(am__uniquify_input)`
403ETAGS = etags
404CTAGS = ctags
405DIST_SUBDIRS = $(SUBDIRS)
406am__DIST_COMMON = $(srcdir)/Makefile.in $(top_srcdir)/tools/depcomp \
407	README
408DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
409am__relativize = \
410  dir0=`pwd`; \
411  sed_first='s,^\([^/]*\)/.*$$,\1,'; \
412  sed_rest='s,^[^/]*/*,,'; \
413  sed_last='s,^.*/\([^/]*\)$$,\1,'; \
414  sed_butlast='s,/*[^/]*$$,,'; \
415  while test -n "$$dir1"; do \
416    first=`echo "$$dir1" | sed -e "$$sed_first"`; \
417    if test "$$first" != "."; then \
418      if test "$$first" = ".."; then \
419        dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \
420        dir0=`echo "$$dir0" | sed -e "$$sed_butlast"`; \
421      else \
422        first2=`echo "$$dir2" | sed -e "$$sed_first"`; \
423        if test "$$first2" = "$$first"; then \
424          dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \
425        else \
426          dir2="../$$dir2"; \
427        fi; \
428        dir0="$$dir0"/"$$first"; \
429      fi; \
430    fi; \
431    dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
432  done; \
433  reldir="$$dir2"
434ACLOCAL = @ACLOCAL@
435ALLOCA = @ALLOCA@
436ALLOCA_H = @ALLOCA_H@
437AMTAR = @AMTAR@
438AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
439APPLE_UNIVERSAL_BUILD = @APPLE_UNIVERSAL_BUILD@
440AR = @AR@
441ARFLAGS = @ARFLAGS@
442AS = @AS@
443AUTOCONF = @AUTOCONF@
444AUTOHEADER = @AUTOHEADER@
445AUTOMAKE = @AUTOMAKE@
446AWK = @AWK@
447BISON = @BISON@
448BISON_EXTRA_FLAGS = @BISON_EXTRA_FLAGS@
449BITSIZEOF_PTRDIFF_T = @BITSIZEOF_PTRDIFF_T@
450BITSIZEOF_SIG_ATOMIC_T = @BITSIZEOF_SIG_ATOMIC_T@
451BITSIZEOF_SIZE_T = @BITSIZEOF_SIZE_T@
452BITSIZEOF_WCHAR_T = @BITSIZEOF_WCHAR_T@
453BITSIZEOF_WINT_T = @BITSIZEOF_WINT_T@
454BUDDY_CPPFLAGS = @BUDDY_CPPFLAGS@
455BUDDY_LDFLAGS = @BUDDY_LDFLAGS@
456CC = @CC@
457CCDEPMODE = @CCDEPMODE@
458CFLAGS = @CFLAGS@
459CFLAG_VISIBILITY = @CFLAG_VISIBILITY@
460CPP = @CPP@
461CPPFLAGS = @CPPFLAGS@
462CROSS_COMPILING = @CROSS_COMPILING@
463CXX = @CXX@
464CXXCPP = @CXXCPP@
465CXXDEPMODE = @CXXDEPMODE@
466CXXFLAGS = @CXXFLAGS@
467CYGPATH_W = @CYGPATH_W@
468DEFS = @DEFS@
469DEPDIR = @DEPDIR@
470DLLTOOL = @DLLTOOL@
471DOT = @DOT@
472DSYMUTIL = @DSYMUTIL@
473DUMPBIN = @DUMPBIN@
474ECHO_C = @ECHO_C@
475ECHO_N = @ECHO_N@
476ECHO_T = @ECHO_T@
477EGREP = @EGREP@
478EMACS = @EMACS@
479EMULTIHOP_HIDDEN = @EMULTIHOP_HIDDEN@
480EMULTIHOP_VALUE = @EMULTIHOP_VALUE@
481ENOLINK_HIDDEN = @ENOLINK_HIDDEN@
482ENOLINK_VALUE = @ENOLINK_VALUE@
483EOVERFLOW_HIDDEN = @EOVERFLOW_HIDDEN@
484EOVERFLOW_VALUE = @EOVERFLOW_VALUE@
485ERRNO_H = @ERRNO_H@
486EXEEXT = @EXEEXT@
487FGREP = @FGREP@
488FLOAT_H = @FLOAT_H@
489GETOPT_CDEFS_H = @GETOPT_CDEFS_H@
490GETOPT_H = @GETOPT_H@
491GITPATCH = @GITPATCH@
492GNULIB_ACCESS = @GNULIB_ACCESS@
493GNULIB_ATOLL = @GNULIB_ATOLL@
494GNULIB_BTOWC = @GNULIB_BTOWC@
495GNULIB_CALLOC_POSIX = @GNULIB_CALLOC_POSIX@
496GNULIB_CANONICALIZE_FILE_NAME = @GNULIB_CANONICALIZE_FILE_NAME@
497GNULIB_CHDIR = @GNULIB_CHDIR@
498GNULIB_CHOWN = @GNULIB_CHOWN@
499GNULIB_CLOSE = @GNULIB_CLOSE@
500GNULIB_COPY_FILE_RANGE = @GNULIB_COPY_FILE_RANGE@
501GNULIB_CREAT = @GNULIB_CREAT@
502GNULIB_CTIME = @GNULIB_CTIME@
503GNULIB_DPRINTF = @GNULIB_DPRINTF@
504GNULIB_DUP = @GNULIB_DUP@
505GNULIB_DUP2 = @GNULIB_DUP2@
506GNULIB_DUP3 = @GNULIB_DUP3@
507GNULIB_DUPLOCALE = @GNULIB_DUPLOCALE@
508GNULIB_ENVIRON = @GNULIB_ENVIRON@
509GNULIB_EUIDACCESS = @GNULIB_EUIDACCESS@
510GNULIB_EXPLICIT_BZERO = @GNULIB_EXPLICIT_BZERO@
511GNULIB_FACCESSAT = @GNULIB_FACCESSAT@
512GNULIB_FCHDIR = @GNULIB_FCHDIR@
513GNULIB_FCHMODAT = @GNULIB_FCHMODAT@
514GNULIB_FCHOWNAT = @GNULIB_FCHOWNAT@
515GNULIB_FCLOSE = @GNULIB_FCLOSE@
516GNULIB_FCNTL = @GNULIB_FCNTL@
517GNULIB_FDATASYNC = @GNULIB_FDATASYNC@
518GNULIB_FDOPEN = @GNULIB_FDOPEN@
519GNULIB_FFLUSH = @GNULIB_FFLUSH@
520GNULIB_FFS = @GNULIB_FFS@
521GNULIB_FFSL = @GNULIB_FFSL@
522GNULIB_FFSLL = @GNULIB_FFSLL@
523GNULIB_FGETC = @GNULIB_FGETC@
524GNULIB_FGETS = @GNULIB_FGETS@
525GNULIB_FOPEN = @GNULIB_FOPEN@
526GNULIB_FPRINTF = @GNULIB_FPRINTF@
527GNULIB_FPRINTF_POSIX = @GNULIB_FPRINTF_POSIX@
528GNULIB_FPURGE = @GNULIB_FPURGE@
529GNULIB_FPUTC = @GNULIB_FPUTC@
530GNULIB_FPUTS = @GNULIB_FPUTS@
531GNULIB_FREAD = @GNULIB_FREAD@
532GNULIB_FREOPEN = @GNULIB_FREOPEN@
533GNULIB_FSCANF = @GNULIB_FSCANF@
534GNULIB_FSEEK = @GNULIB_FSEEK@
535GNULIB_FSEEKO = @GNULIB_FSEEKO@
536GNULIB_FSTAT = @GNULIB_FSTAT@
537GNULIB_FSTATAT = @GNULIB_FSTATAT@
538GNULIB_FSYNC = @GNULIB_FSYNC@
539GNULIB_FTELL = @GNULIB_FTELL@
540GNULIB_FTELLO = @GNULIB_FTELLO@
541GNULIB_FTRUNCATE = @GNULIB_FTRUNCATE@
542GNULIB_FUTIMENS = @GNULIB_FUTIMENS@
543GNULIB_FWRITE = @GNULIB_FWRITE@
544GNULIB_GETC = @GNULIB_GETC@
545GNULIB_GETCHAR = @GNULIB_GETCHAR@
546GNULIB_GETCWD = @GNULIB_GETCWD@
547GNULIB_GETDELIM = @GNULIB_GETDELIM@
548GNULIB_GETDOMAINNAME = @GNULIB_GETDOMAINNAME@
549GNULIB_GETDTABLESIZE = @GNULIB_GETDTABLESIZE@
550GNULIB_GETGROUPS = @GNULIB_GETGROUPS@
551GNULIB_GETHOSTNAME = @GNULIB_GETHOSTNAME@
552GNULIB_GETLINE = @GNULIB_GETLINE@
553GNULIB_GETLOADAVG = @GNULIB_GETLOADAVG@
554GNULIB_GETLOGIN = @GNULIB_GETLOGIN@
555GNULIB_GETLOGIN_R = @GNULIB_GETLOGIN_R@
556GNULIB_GETOPT_POSIX = @GNULIB_GETOPT_POSIX@
557GNULIB_GETPAGESIZE = @GNULIB_GETPAGESIZE@
558GNULIB_GETPASS = @GNULIB_GETPASS@
559GNULIB_GETSUBOPT = @GNULIB_GETSUBOPT@
560GNULIB_GETTIMEOFDAY = @GNULIB_GETTIMEOFDAY@
561GNULIB_GETUSERSHELL = @GNULIB_GETUSERSHELL@
562GNULIB_GL_UNISTD_H_GETOPT = @GNULIB_GL_UNISTD_H_GETOPT@
563GNULIB_GRANTPT = @GNULIB_GRANTPT@
564GNULIB_GROUP_MEMBER = @GNULIB_GROUP_MEMBER@
565GNULIB_IMAXABS = @GNULIB_IMAXABS@
566GNULIB_IMAXDIV = @GNULIB_IMAXDIV@
567GNULIB_ISATTY = @GNULIB_ISATTY@
568GNULIB_ISWBLANK = @GNULIB_ISWBLANK@
569GNULIB_ISWCTYPE = @GNULIB_ISWCTYPE@
570GNULIB_ISWDIGIT = @GNULIB_ISWDIGIT@
571GNULIB_ISWXDIGIT = @GNULIB_ISWXDIGIT@
572GNULIB_LCHMOD = @GNULIB_LCHMOD@
573GNULIB_LCHOWN = @GNULIB_LCHOWN@
574GNULIB_LINK = @GNULIB_LINK@
575GNULIB_LINKAT = @GNULIB_LINKAT@
576GNULIB_LOCALECONV = @GNULIB_LOCALECONV@
577GNULIB_LOCALENAME = @GNULIB_LOCALENAME@
578GNULIB_LOCALTIME = @GNULIB_LOCALTIME@
579GNULIB_LSEEK = @GNULIB_LSEEK@
580GNULIB_LSTAT = @GNULIB_LSTAT@
581GNULIB_MALLOC_POSIX = @GNULIB_MALLOC_POSIX@
582GNULIB_MBRLEN = @GNULIB_MBRLEN@
583GNULIB_MBRTOWC = @GNULIB_MBRTOWC@
584GNULIB_MBSCASECMP = @GNULIB_MBSCASECMP@
585GNULIB_MBSCASESTR = @GNULIB_MBSCASESTR@
586GNULIB_MBSCHR = @GNULIB_MBSCHR@
587GNULIB_MBSCSPN = @GNULIB_MBSCSPN@
588GNULIB_MBSINIT = @GNULIB_MBSINIT@
589GNULIB_MBSLEN = @GNULIB_MBSLEN@
590GNULIB_MBSNCASECMP = @GNULIB_MBSNCASECMP@
591GNULIB_MBSNLEN = @GNULIB_MBSNLEN@
592GNULIB_MBSNRTOWCS = @GNULIB_MBSNRTOWCS@
593GNULIB_MBSPBRK = @GNULIB_MBSPBRK@
594GNULIB_MBSPCASECMP = @GNULIB_MBSPCASECMP@
595GNULIB_MBSRCHR = @GNULIB_MBSRCHR@
596GNULIB_MBSRTOWCS = @GNULIB_MBSRTOWCS@
597GNULIB_MBSSEP = @GNULIB_MBSSEP@
598GNULIB_MBSSPN = @GNULIB_MBSSPN@
599GNULIB_MBSSTR = @GNULIB_MBSSTR@
600GNULIB_MBSTOK_R = @GNULIB_MBSTOK_R@
601GNULIB_MBTOWC = @GNULIB_MBTOWC@
602GNULIB_MEMCHR = @GNULIB_MEMCHR@
603GNULIB_MEMMEM = @GNULIB_MEMMEM@
604GNULIB_MEMPCPY = @GNULIB_MEMPCPY@
605GNULIB_MEMRCHR = @GNULIB_MEMRCHR@
606GNULIB_MKDIRAT = @GNULIB_MKDIRAT@
607GNULIB_MKDTEMP = @GNULIB_MKDTEMP@
608GNULIB_MKFIFO = @GNULIB_MKFIFO@
609GNULIB_MKFIFOAT = @GNULIB_MKFIFOAT@
610GNULIB_MKNOD = @GNULIB_MKNOD@
611GNULIB_MKNODAT = @GNULIB_MKNODAT@
612GNULIB_MKOSTEMP = @GNULIB_MKOSTEMP@
613GNULIB_MKOSTEMPS = @GNULIB_MKOSTEMPS@
614GNULIB_MKSTEMP = @GNULIB_MKSTEMP@
615GNULIB_MKSTEMPS = @GNULIB_MKSTEMPS@
616GNULIB_MKTIME = @GNULIB_MKTIME@
617GNULIB_NANOSLEEP = @GNULIB_NANOSLEEP@
618GNULIB_NONBLOCKING = @GNULIB_NONBLOCKING@
619GNULIB_OBSTACK_PRINTF = @GNULIB_OBSTACK_PRINTF@
620GNULIB_OBSTACK_PRINTF_POSIX = @GNULIB_OBSTACK_PRINTF_POSIX@
621GNULIB_OPEN = @GNULIB_OPEN@
622GNULIB_OPENAT = @GNULIB_OPENAT@
623GNULIB_OVERRIDES_STRUCT_STAT = @GNULIB_OVERRIDES_STRUCT_STAT@
624GNULIB_OVERRIDES_WINT_T = @GNULIB_OVERRIDES_WINT_T@
625GNULIB_PCLOSE = @GNULIB_PCLOSE@
626GNULIB_PERROR = @GNULIB_PERROR@
627GNULIB_PIPE = @GNULIB_PIPE@
628GNULIB_PIPE2 = @GNULIB_PIPE2@
629GNULIB_POPEN = @GNULIB_POPEN@
630GNULIB_POSIX_OPENPT = @GNULIB_POSIX_OPENPT@
631GNULIB_PREAD = @GNULIB_PREAD@
632GNULIB_PRINTF = @GNULIB_PRINTF@
633GNULIB_PRINTF_POSIX = @GNULIB_PRINTF_POSIX@
634GNULIB_PTSNAME = @GNULIB_PTSNAME@
635GNULIB_PTSNAME_R = @GNULIB_PTSNAME_R@
636GNULIB_PUTC = @GNULIB_PUTC@
637GNULIB_PUTCHAR = @GNULIB_PUTCHAR@
638GNULIB_PUTENV = @GNULIB_PUTENV@
639GNULIB_PUTS = @GNULIB_PUTS@
640GNULIB_PWRITE = @GNULIB_PWRITE@
641GNULIB_QSORT_R = @GNULIB_QSORT_R@
642GNULIB_RANDOM = @GNULIB_RANDOM@
643GNULIB_RANDOM_R = @GNULIB_RANDOM_R@
644GNULIB_RAWMEMCHR = @GNULIB_RAWMEMCHR@
645GNULIB_READ = @GNULIB_READ@
646GNULIB_READLINK = @GNULIB_READLINK@
647GNULIB_READLINKAT = @GNULIB_READLINKAT@
648GNULIB_REALLOCARRAY = @GNULIB_REALLOCARRAY@
649GNULIB_REALLOC_POSIX = @GNULIB_REALLOC_POSIX@
650GNULIB_REALPATH = @GNULIB_REALPATH@
651GNULIB_REMOVE = @GNULIB_REMOVE@
652GNULIB_RENAME = @GNULIB_RENAME@
653GNULIB_RENAMEAT = @GNULIB_RENAMEAT@
654GNULIB_RMDIR = @GNULIB_RMDIR@
655GNULIB_RPMATCH = @GNULIB_RPMATCH@
656GNULIB_SCANF = @GNULIB_SCANF@
657GNULIB_SECURE_GETENV = @GNULIB_SECURE_GETENV@
658GNULIB_SETENV = @GNULIB_SETENV@
659GNULIB_SETHOSTNAME = @GNULIB_SETHOSTNAME@
660GNULIB_SETLOCALE = @GNULIB_SETLOCALE@
661GNULIB_SETLOCALE_NULL = @GNULIB_SETLOCALE_NULL@
662GNULIB_SLEEP = @GNULIB_SLEEP@
663GNULIB_SNPRINTF = @GNULIB_SNPRINTF@
664GNULIB_SPRINTF_POSIX = @GNULIB_SPRINTF_POSIX@
665GNULIB_STAT = @GNULIB_STAT@
666GNULIB_STDIO_H_NONBLOCKING = @GNULIB_STDIO_H_NONBLOCKING@
667GNULIB_STDIO_H_SIGPIPE = @GNULIB_STDIO_H_SIGPIPE@
668GNULIB_STPCPY = @GNULIB_STPCPY@
669GNULIB_STPNCPY = @GNULIB_STPNCPY@
670GNULIB_STRCASESTR = @GNULIB_STRCASESTR@
671GNULIB_STRCHRNUL = @GNULIB_STRCHRNUL@
672GNULIB_STRDUP = @GNULIB_STRDUP@
673GNULIB_STRERROR = @GNULIB_STRERROR@
674GNULIB_STRERROR_R = @GNULIB_STRERROR_R@
675GNULIB_STRFTIME = @GNULIB_STRFTIME@
676GNULIB_STRNCAT = @GNULIB_STRNCAT@
677GNULIB_STRNDUP = @GNULIB_STRNDUP@
678GNULIB_STRNLEN = @GNULIB_STRNLEN@
679GNULIB_STRPBRK = @GNULIB_STRPBRK@
680GNULIB_STRPTIME = @GNULIB_STRPTIME@
681GNULIB_STRSEP = @GNULIB_STRSEP@
682GNULIB_STRSIGNAL = @GNULIB_STRSIGNAL@
683GNULIB_STRSTR = @GNULIB_STRSTR@
684GNULIB_STRTOD = @GNULIB_STRTOD@
685GNULIB_STRTOIMAX = @GNULIB_STRTOIMAX@
686GNULIB_STRTOK_R = @GNULIB_STRTOK_R@
687GNULIB_STRTOLD = @GNULIB_STRTOLD@
688GNULIB_STRTOLL = @GNULIB_STRTOLL@
689GNULIB_STRTOULL = @GNULIB_STRTOULL@
690GNULIB_STRTOUMAX = @GNULIB_STRTOUMAX@
691GNULIB_STRVERSCMP = @GNULIB_STRVERSCMP@
692GNULIB_SYMLINK = @GNULIB_SYMLINK@
693GNULIB_SYMLINKAT = @GNULIB_SYMLINKAT@
694GNULIB_SYSTEM_POSIX = @GNULIB_SYSTEM_POSIX@
695GNULIB_TIMEGM = @GNULIB_TIMEGM@
696GNULIB_TIME_R = @GNULIB_TIME_R@
697GNULIB_TIME_RZ = @GNULIB_TIME_RZ@
698GNULIB_TMPFILE = @GNULIB_TMPFILE@
699GNULIB_TOWCTRANS = @GNULIB_TOWCTRANS@
700GNULIB_TRUNCATE = @GNULIB_TRUNCATE@
701GNULIB_TTYNAME_R = @GNULIB_TTYNAME_R@
702GNULIB_TZSET = @GNULIB_TZSET@
703GNULIB_UNISTD_H_NONBLOCKING = @GNULIB_UNISTD_H_NONBLOCKING@
704GNULIB_UNISTD_H_SIGPIPE = @GNULIB_UNISTD_H_SIGPIPE@
705GNULIB_UNLINK = @GNULIB_UNLINK@
706GNULIB_UNLINKAT = @GNULIB_UNLINKAT@
707GNULIB_UNLOCKPT = @GNULIB_UNLOCKPT@
708GNULIB_UNSETENV = @GNULIB_UNSETENV@
709GNULIB_USLEEP = @GNULIB_USLEEP@
710GNULIB_UTIMENSAT = @GNULIB_UTIMENSAT@
711GNULIB_VASPRINTF = @GNULIB_VASPRINTF@
712GNULIB_VDPRINTF = @GNULIB_VDPRINTF@
713GNULIB_VFPRINTF = @GNULIB_VFPRINTF@
714GNULIB_VFPRINTF_POSIX = @GNULIB_VFPRINTF_POSIX@
715GNULIB_VFSCANF = @GNULIB_VFSCANF@
716GNULIB_VPRINTF = @GNULIB_VPRINTF@
717GNULIB_VPRINTF_POSIX = @GNULIB_VPRINTF_POSIX@
718GNULIB_VSCANF = @GNULIB_VSCANF@
719GNULIB_VSNPRINTF = @GNULIB_VSNPRINTF@
720GNULIB_VSPRINTF_POSIX = @GNULIB_VSPRINTF_POSIX@
721GNULIB_WAITPID = @GNULIB_WAITPID@
722GNULIB_WCPCPY = @GNULIB_WCPCPY@
723GNULIB_WCPNCPY = @GNULIB_WCPNCPY@
724GNULIB_WCRTOMB = @GNULIB_WCRTOMB@
725GNULIB_WCSCASECMP = @GNULIB_WCSCASECMP@
726GNULIB_WCSCAT = @GNULIB_WCSCAT@
727GNULIB_WCSCHR = @GNULIB_WCSCHR@
728GNULIB_WCSCMP = @GNULIB_WCSCMP@
729GNULIB_WCSCOLL = @GNULIB_WCSCOLL@
730GNULIB_WCSCPY = @GNULIB_WCSCPY@
731GNULIB_WCSCSPN = @GNULIB_WCSCSPN@
732GNULIB_WCSDUP = @GNULIB_WCSDUP@
733GNULIB_WCSFTIME = @GNULIB_WCSFTIME@
734GNULIB_WCSLEN = @GNULIB_WCSLEN@
735GNULIB_WCSNCASECMP = @GNULIB_WCSNCASECMP@
736GNULIB_WCSNCAT = @GNULIB_WCSNCAT@
737GNULIB_WCSNCMP = @GNULIB_WCSNCMP@
738GNULIB_WCSNCPY = @GNULIB_WCSNCPY@
739GNULIB_WCSNLEN = @GNULIB_WCSNLEN@
740GNULIB_WCSNRTOMBS = @GNULIB_WCSNRTOMBS@
741GNULIB_WCSPBRK = @GNULIB_WCSPBRK@
742GNULIB_WCSRCHR = @GNULIB_WCSRCHR@
743GNULIB_WCSRTOMBS = @GNULIB_WCSRTOMBS@
744GNULIB_WCSSPN = @GNULIB_WCSSPN@
745GNULIB_WCSSTR = @GNULIB_WCSSTR@
746GNULIB_WCSTOK = @GNULIB_WCSTOK@
747GNULIB_WCSWIDTH = @GNULIB_WCSWIDTH@
748GNULIB_WCSXFRM = @GNULIB_WCSXFRM@
749GNULIB_WCTOB = @GNULIB_WCTOB@
750GNULIB_WCTOMB = @GNULIB_WCTOMB@
751GNULIB_WCTRANS = @GNULIB_WCTRANS@
752GNULIB_WCTYPE = @GNULIB_WCTYPE@
753GNULIB_WCWIDTH = @GNULIB_WCWIDTH@
754GNULIB_WMEMCHR = @GNULIB_WMEMCHR@
755GNULIB_WMEMCMP = @GNULIB_WMEMCMP@
756GNULIB_WMEMCPY = @GNULIB_WMEMCPY@
757GNULIB_WMEMMOVE = @GNULIB_WMEMMOVE@
758GNULIB_WMEMSET = @GNULIB_WMEMSET@
759GNULIB_WRITE = @GNULIB_WRITE@
760GNULIB__EXIT = @GNULIB__EXIT@
761GREP = @GREP@
762HAVE_ALLOCA_H = @HAVE_ALLOCA_H@
763HAVE_ATOLL = @HAVE_ATOLL@
764HAVE_BTOWC = @HAVE_BTOWC@
765HAVE_C99_STDINT_H = @HAVE_C99_STDINT_H@
766HAVE_CANONICALIZE_FILE_NAME = @HAVE_CANONICALIZE_FILE_NAME@
767HAVE_CHOWN = @HAVE_CHOWN@
768HAVE_COPY_FILE_RANGE = @HAVE_COPY_FILE_RANGE@
769HAVE_CRTDEFS_H = @HAVE_CRTDEFS_H@
770HAVE_DECL_ENVIRON = @HAVE_DECL_ENVIRON@
771HAVE_DECL_FCHDIR = @HAVE_DECL_FCHDIR@
772HAVE_DECL_FDATASYNC = @HAVE_DECL_FDATASYNC@
773HAVE_DECL_FPURGE = @HAVE_DECL_FPURGE@
774HAVE_DECL_FSEEKO = @HAVE_DECL_FSEEKO@
775HAVE_DECL_FTELLO = @HAVE_DECL_FTELLO@
776HAVE_DECL_GETDELIM = @HAVE_DECL_GETDELIM@
777HAVE_DECL_GETDOMAINNAME = @HAVE_DECL_GETDOMAINNAME@
778HAVE_DECL_GETLINE = @HAVE_DECL_GETLINE@
779HAVE_DECL_GETLOADAVG = @HAVE_DECL_GETLOADAVG@
780HAVE_DECL_GETLOGIN = @HAVE_DECL_GETLOGIN@
781HAVE_DECL_GETLOGIN_R = @HAVE_DECL_GETLOGIN_R@
782HAVE_DECL_GETPAGESIZE = @HAVE_DECL_GETPAGESIZE@
783HAVE_DECL_GETUSERSHELL = @HAVE_DECL_GETUSERSHELL@
784HAVE_DECL_IMAXABS = @HAVE_DECL_IMAXABS@
785HAVE_DECL_IMAXDIV = @HAVE_DECL_IMAXDIV@
786HAVE_DECL_INITSTATE = @HAVE_DECL_INITSTATE@
787HAVE_DECL_LOCALTIME_R = @HAVE_DECL_LOCALTIME_R@
788HAVE_DECL_MEMMEM = @HAVE_DECL_MEMMEM@
789HAVE_DECL_MEMRCHR = @HAVE_DECL_MEMRCHR@
790HAVE_DECL_OBSTACK_PRINTF = @HAVE_DECL_OBSTACK_PRINTF@
791HAVE_DECL_SETENV = @HAVE_DECL_SETENV@
792HAVE_DECL_SETHOSTNAME = @HAVE_DECL_SETHOSTNAME@
793HAVE_DECL_SETSTATE = @HAVE_DECL_SETSTATE@
794HAVE_DECL_SNPRINTF = @HAVE_DECL_SNPRINTF@
795HAVE_DECL_STRDUP = @HAVE_DECL_STRDUP@
796HAVE_DECL_STRERROR_R = @HAVE_DECL_STRERROR_R@
797HAVE_DECL_STRNCASECMP = @HAVE_DECL_STRNCASECMP@
798HAVE_DECL_STRNDUP = @HAVE_DECL_STRNDUP@
799HAVE_DECL_STRNLEN = @HAVE_DECL_STRNLEN@
800HAVE_DECL_STRSIGNAL = @HAVE_DECL_STRSIGNAL@
801HAVE_DECL_STRTOIMAX = @HAVE_DECL_STRTOIMAX@
802HAVE_DECL_STRTOK_R = @HAVE_DECL_STRTOK_R@
803HAVE_DECL_STRTOUMAX = @HAVE_DECL_STRTOUMAX@
804HAVE_DECL_TRUNCATE = @HAVE_DECL_TRUNCATE@
805HAVE_DECL_TTYNAME_R = @HAVE_DECL_TTYNAME_R@
806HAVE_DECL_UNSETENV = @HAVE_DECL_UNSETENV@
807HAVE_DECL_VSNPRINTF = @HAVE_DECL_VSNPRINTF@
808HAVE_DECL_WCTOB = @HAVE_DECL_WCTOB@
809HAVE_DECL_WCWIDTH = @HAVE_DECL_WCWIDTH@
810HAVE_DPRINTF = @HAVE_DPRINTF@
811HAVE_DUP2 = @HAVE_DUP2@
812HAVE_DUP3 = @HAVE_DUP3@
813HAVE_DUPLOCALE = @HAVE_DUPLOCALE@
814HAVE_EUIDACCESS = @HAVE_EUIDACCESS@
815HAVE_EXPLICIT_BZERO = @HAVE_EXPLICIT_BZERO@
816HAVE_FACCESSAT = @HAVE_FACCESSAT@
817HAVE_FCHDIR = @HAVE_FCHDIR@
818HAVE_FCHMODAT = @HAVE_FCHMODAT@
819HAVE_FCHOWNAT = @HAVE_FCHOWNAT@
820HAVE_FCNTL = @HAVE_FCNTL@
821HAVE_FDATASYNC = @HAVE_FDATASYNC@
822HAVE_FEATURES_H = @HAVE_FEATURES_H@
823HAVE_FFS = @HAVE_FFS@
824HAVE_FFSL = @HAVE_FFSL@
825HAVE_FFSLL = @HAVE_FFSLL@
826HAVE_FREELOCALE = @HAVE_FREELOCALE@
827HAVE_FSEEKO = @HAVE_FSEEKO@
828HAVE_FSTATAT = @HAVE_FSTATAT@
829HAVE_FSYNC = @HAVE_FSYNC@
830HAVE_FTELLO = @HAVE_FTELLO@
831HAVE_FTRUNCATE = @HAVE_FTRUNCATE@
832HAVE_FUTIMENS = @HAVE_FUTIMENS@
833HAVE_GETDTABLESIZE = @HAVE_GETDTABLESIZE@
834HAVE_GETGROUPS = @HAVE_GETGROUPS@
835HAVE_GETHOSTNAME = @HAVE_GETHOSTNAME@
836HAVE_GETLOGIN = @HAVE_GETLOGIN@
837HAVE_GETOPT_H = @HAVE_GETOPT_H@
838HAVE_GETPAGESIZE = @HAVE_GETPAGESIZE@
839HAVE_GETPASS = @HAVE_GETPASS@
840HAVE_GETSUBOPT = @HAVE_GETSUBOPT@
841HAVE_GETTIMEOFDAY = @HAVE_GETTIMEOFDAY@
842HAVE_GRANTPT = @HAVE_GRANTPT@
843HAVE_GROUP_MEMBER = @HAVE_GROUP_MEMBER@
844HAVE_IMAXDIV_T = @HAVE_IMAXDIV_T@
845HAVE_INITSTATE = @HAVE_INITSTATE@
846HAVE_INTTYPES_H = @HAVE_INTTYPES_H@
847HAVE_ISWBLANK = @HAVE_ISWBLANK@
848HAVE_ISWCNTRL = @HAVE_ISWCNTRL@
849HAVE_LCHMOD = @HAVE_LCHMOD@
850HAVE_LCHOWN = @HAVE_LCHOWN@
851HAVE_LINK = @HAVE_LINK@
852HAVE_LINKAT = @HAVE_LINKAT@
853HAVE_LSTAT = @HAVE_LSTAT@
854HAVE_MAX_ALIGN_T = @HAVE_MAX_ALIGN_T@
855HAVE_MBRLEN = @HAVE_MBRLEN@
856HAVE_MBRTOWC = @HAVE_MBRTOWC@
857HAVE_MBSINIT = @HAVE_MBSINIT@
858HAVE_MBSLEN = @HAVE_MBSLEN@
859HAVE_MBSNRTOWCS = @HAVE_MBSNRTOWCS@
860HAVE_MBSRTOWCS = @HAVE_MBSRTOWCS@
861HAVE_MBTOWC = @HAVE_MBTOWC@
862HAVE_MEMCHR = @HAVE_MEMCHR@
863HAVE_MEMPCPY = @HAVE_MEMPCPY@
864HAVE_MKDIRAT = @HAVE_MKDIRAT@
865HAVE_MKDTEMP = @HAVE_MKDTEMP@
866HAVE_MKFIFO = @HAVE_MKFIFO@
867HAVE_MKFIFOAT = @HAVE_MKFIFOAT@
868HAVE_MKNOD = @HAVE_MKNOD@
869HAVE_MKNODAT = @HAVE_MKNODAT@
870HAVE_MKOSTEMP = @HAVE_MKOSTEMP@
871HAVE_MKOSTEMPS = @HAVE_MKOSTEMPS@
872HAVE_MKSTEMP = @HAVE_MKSTEMP@
873HAVE_MKSTEMPS = @HAVE_MKSTEMPS@
874HAVE_MSVC_INVALID_PARAMETER_HANDLER = @HAVE_MSVC_INVALID_PARAMETER_HANDLER@
875HAVE_NANOSLEEP = @HAVE_NANOSLEEP@
876HAVE_NEWLOCALE = @HAVE_NEWLOCALE@
877HAVE_OPENAT = @HAVE_OPENAT@
878HAVE_OS_H = @HAVE_OS_H@
879HAVE_PCLOSE = @HAVE_PCLOSE@
880HAVE_PIPE = @HAVE_PIPE@
881HAVE_PIPE2 = @HAVE_PIPE2@
882HAVE_POPEN = @HAVE_POPEN@
883HAVE_POSIX_OPENPT = @HAVE_POSIX_OPENPT@
884HAVE_PREAD = @HAVE_PREAD@
885HAVE_PTSNAME = @HAVE_PTSNAME@
886HAVE_PTSNAME_R = @HAVE_PTSNAME_R@
887HAVE_PWRITE = @HAVE_PWRITE@
888HAVE_QSORT_R = @HAVE_QSORT_R@
889HAVE_RANDOM = @HAVE_RANDOM@
890HAVE_RANDOM_H = @HAVE_RANDOM_H@
891HAVE_RANDOM_R = @HAVE_RANDOM_R@
892HAVE_RAWMEMCHR = @HAVE_RAWMEMCHR@
893HAVE_READLINK = @HAVE_READLINK@
894HAVE_READLINKAT = @HAVE_READLINKAT@
895HAVE_REALLOCARRAY = @HAVE_REALLOCARRAY@
896HAVE_REALPATH = @HAVE_REALPATH@
897HAVE_RENAMEAT = @HAVE_RENAMEAT@
898HAVE_RPMATCH = @HAVE_RPMATCH@
899HAVE_SECURE_GETENV = @HAVE_SECURE_GETENV@
900HAVE_SETENV = @HAVE_SETENV@
901HAVE_SETHOSTNAME = @HAVE_SETHOSTNAME@
902HAVE_SETSTATE = @HAVE_SETSTATE@
903HAVE_SIGNED_SIG_ATOMIC_T = @HAVE_SIGNED_SIG_ATOMIC_T@
904HAVE_SIGNED_WCHAR_T = @HAVE_SIGNED_WCHAR_T@
905HAVE_SIGNED_WINT_T = @HAVE_SIGNED_WINT_T@
906HAVE_SLEEP = @HAVE_SLEEP@
907HAVE_STDINT_H = @HAVE_STDINT_H@
908HAVE_STPCPY = @HAVE_STPCPY@
909HAVE_STPNCPY = @HAVE_STPNCPY@
910HAVE_STRCASECMP = @HAVE_STRCASECMP@
911HAVE_STRCASESTR = @HAVE_STRCASESTR@
912HAVE_STRCHRNUL = @HAVE_STRCHRNUL@
913HAVE_STRINGS_H = @HAVE_STRINGS_H@
914HAVE_STRPBRK = @HAVE_STRPBRK@
915HAVE_STRPTIME = @HAVE_STRPTIME@
916HAVE_STRSEP = @HAVE_STRSEP@
917HAVE_STRTOD = @HAVE_STRTOD@
918HAVE_STRTOLD = @HAVE_STRTOLD@
919HAVE_STRTOLL = @HAVE_STRTOLL@
920HAVE_STRTOULL = @HAVE_STRTOULL@
921HAVE_STRUCT_RANDOM_DATA = @HAVE_STRUCT_RANDOM_DATA@
922HAVE_STRUCT_TIMEVAL = @HAVE_STRUCT_TIMEVAL@
923HAVE_STRVERSCMP = @HAVE_STRVERSCMP@
924HAVE_SYMLINK = @HAVE_SYMLINK@
925HAVE_SYMLINKAT = @HAVE_SYMLINKAT@
926HAVE_SYSEXITS_H = @HAVE_SYSEXITS_H@
927HAVE_SYS_BITYPES_H = @HAVE_SYS_BITYPES_H@
928HAVE_SYS_CDEFS_H = @HAVE_SYS_CDEFS_H@
929HAVE_SYS_INTTYPES_H = @HAVE_SYS_INTTYPES_H@
930HAVE_SYS_LOADAVG_H = @HAVE_SYS_LOADAVG_H@
931HAVE_SYS_PARAM_H = @HAVE_SYS_PARAM_H@
932HAVE_SYS_TIME_H = @HAVE_SYS_TIME_H@
933HAVE_SYS_TYPES_H = @HAVE_SYS_TYPES_H@
934HAVE_TIMEGM = @HAVE_TIMEGM@
935HAVE_TIMEZONE_T = @HAVE_TIMEZONE_T@
936HAVE_TZSET = @HAVE_TZSET@
937HAVE_UNISTD_H = @HAVE_UNISTD_H@
938HAVE_UNLINKAT = @HAVE_UNLINKAT@
939HAVE_UNLOCKPT = @HAVE_UNLOCKPT@
940HAVE_USLEEP = @HAVE_USLEEP@
941HAVE_UTIMENSAT = @HAVE_UTIMENSAT@
942HAVE_VASPRINTF = @HAVE_VASPRINTF@
943HAVE_VDPRINTF = @HAVE_VDPRINTF@
944HAVE_VISIBILITY = @HAVE_VISIBILITY@
945HAVE_WCHAR_H = @HAVE_WCHAR_H@
946HAVE_WCHAR_T = @HAVE_WCHAR_T@
947HAVE_WCPCPY = @HAVE_WCPCPY@
948HAVE_WCPNCPY = @HAVE_WCPNCPY@
949HAVE_WCRTOMB = @HAVE_WCRTOMB@
950HAVE_WCSCASECMP = @HAVE_WCSCASECMP@
951HAVE_WCSCAT = @HAVE_WCSCAT@
952HAVE_WCSCHR = @HAVE_WCSCHR@
953HAVE_WCSCMP = @HAVE_WCSCMP@
954HAVE_WCSCOLL = @HAVE_WCSCOLL@
955HAVE_WCSCPY = @HAVE_WCSCPY@
956HAVE_WCSCSPN = @HAVE_WCSCSPN@
957HAVE_WCSDUP = @HAVE_WCSDUP@
958HAVE_WCSFTIME = @HAVE_WCSFTIME@
959HAVE_WCSLEN = @HAVE_WCSLEN@
960HAVE_WCSNCASECMP = @HAVE_WCSNCASECMP@
961HAVE_WCSNCAT = @HAVE_WCSNCAT@
962HAVE_WCSNCMP = @HAVE_WCSNCMP@
963HAVE_WCSNCPY = @HAVE_WCSNCPY@
964HAVE_WCSNLEN = @HAVE_WCSNLEN@
965HAVE_WCSNRTOMBS = @HAVE_WCSNRTOMBS@
966HAVE_WCSPBRK = @HAVE_WCSPBRK@
967HAVE_WCSRCHR = @HAVE_WCSRCHR@
968HAVE_WCSRTOMBS = @HAVE_WCSRTOMBS@
969HAVE_WCSSPN = @HAVE_WCSSPN@
970HAVE_WCSSTR = @HAVE_WCSSTR@
971HAVE_WCSTOK = @HAVE_WCSTOK@
972HAVE_WCSWIDTH = @HAVE_WCSWIDTH@
973HAVE_WCSXFRM = @HAVE_WCSXFRM@
974HAVE_WCTRANS_T = @HAVE_WCTRANS_T@
975HAVE_WCTYPE_H = @HAVE_WCTYPE_H@
976HAVE_WCTYPE_T = @HAVE_WCTYPE_T@
977HAVE_WINSOCK2_H = @HAVE_WINSOCK2_H@
978HAVE_WINT_T = @HAVE_WINT_T@
979HAVE_WMEMCHR = @HAVE_WMEMCHR@
980HAVE_WMEMCMP = @HAVE_WMEMCMP@
981HAVE_WMEMCPY = @HAVE_WMEMCPY@
982HAVE_WMEMMOVE = @HAVE_WMEMMOVE@
983HAVE_WMEMSET = @HAVE_WMEMSET@
984HAVE_XLOCALE_H = @HAVE_XLOCALE_H@
985HAVE__BOOL = @HAVE__BOOL@
986HAVE__EXIT = @HAVE__EXIT@
987INCLTDL = @INCLTDL@
988INCLUDE_NEXT = @INCLUDE_NEXT@
989INCLUDE_NEXT_AS_FIRST_DIRECTIVE = @INCLUDE_NEXT_AS_FIRST_DIRECTIVE@
990INSTALL = @INSTALL@
991INSTALL_DATA = @INSTALL_DATA@
992INSTALL_PROGRAM = @INSTALL_PROGRAM@
993INSTALL_SCRIPT = @INSTALL_SCRIPT@
994INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
995INT32_MAX_LT_INTMAX_MAX = @INT32_MAX_LT_INTMAX_MAX@
996INT64_MAX_EQ_LONG_MAX = @INT64_MAX_EQ_LONG_MAX@
997INTEL_CXXFLAGS = @INTEL_CXXFLAGS@
998IPYTHON = @IPYTHON@
999JUPYTER = @JUPYTER@
1000LBTT = @LBTT@
1001LBTT_TRANSLATE = @LBTT_TRANSLATE@
1002LD = @LD@
1003LDFLAGS = @LDFLAGS@
1004LEX = @LEX@
1005LEXLIB = @LEXLIB@
1006LEX_OUTPUT_ROOT = @LEX_OUTPUT_ROOT@
1007LIBADD_DL = @LIBADD_DL@
1008LIBADD_DLD_LINK = @LIBADD_DLD_LINK@
1009LIBADD_DLOPEN = @LIBADD_DLOPEN@
1010LIBADD_SHL_LOAD = @LIBADD_SHL_LOAD@
1011LIBINTL = @LIBINTL@
1012LIBLTDL = @LIBLTDL@
1013LIBOBJS = @LIBOBJS@
1014LIBPMULTITHREAD = @LIBPMULTITHREAD@
1015LIBPTHREAD = @LIBPTHREAD@
1016LIBS = @LIBS@
1017LIBTOOL = @LIBTOOL@
1018LIB_HARD_LOCALE = @LIB_HARD_LOCALE@
1019LIB_MBRTOWC = @LIB_MBRTOWC@
1020LIB_SCHED_YIELD = @LIB_SCHED_YIELD@
1021LIB_SETLOCALE_NULL = @LIB_SETLOCALE_NULL@
1022LIMITS_H = @LIMITS_H@
1023LIPO = @LIPO@
1024LN_S = @LN_S@
1025LOCALCHARSET_TESTS_ENVIRONMENT = @LOCALCHARSET_TESTS_ENVIRONMENT@
1026LOCALE_FR_UTF8 = @LOCALE_FR_UTF8@
1027LOCALE_JA = @LOCALE_JA@
1028LOCALE_ZH_CN = @LOCALE_ZH_CN@
1029LTALLOCA = @LTALLOCA@
1030LTDLDEPS = @LTDLDEPS@
1031LTDLINCL = @LTDLINCL@
1032LTDLOPEN = @LTDLOPEN@
1033LTL2BA = @LTL2BA@
1034LTL3BA = @LTL3BA@
1035LTLIBINTL = @LTLIBINTL@
1036LTLIBOBJS = @LTLIBOBJS@
1037LT_ARGZ_H = @LT_ARGZ_H@
1038LT_CONFIG_H = @LT_CONFIG_H@
1039LT_DLLOADERS = @LT_DLLOADERS@
1040LT_DLPREOPEN = @LT_DLPREOPEN@
1041LT_SYS_LIBRARY_PATH = @LT_SYS_LIBRARY_PATH@
1042MAKEINFO = @MAKEINFO@
1043MANIFEST_TOOL = @MANIFEST_TOOL@
1044MKDIR_P = @MKDIR_P@
1045NEXT_AS_FIRST_DIRECTIVE_ERRNO_H = @NEXT_AS_FIRST_DIRECTIVE_ERRNO_H@
1046NEXT_AS_FIRST_DIRECTIVE_FCNTL_H = @NEXT_AS_FIRST_DIRECTIVE_FCNTL_H@
1047NEXT_AS_FIRST_DIRECTIVE_FLOAT_H = @NEXT_AS_FIRST_DIRECTIVE_FLOAT_H@
1048NEXT_AS_FIRST_DIRECTIVE_GETOPT_H = @NEXT_AS_FIRST_DIRECTIVE_GETOPT_H@
1049NEXT_AS_FIRST_DIRECTIVE_INTTYPES_H = @NEXT_AS_FIRST_DIRECTIVE_INTTYPES_H@
1050NEXT_AS_FIRST_DIRECTIVE_LIMITS_H = @NEXT_AS_FIRST_DIRECTIVE_LIMITS_H@
1051NEXT_AS_FIRST_DIRECTIVE_LOCALE_H = @NEXT_AS_FIRST_DIRECTIVE_LOCALE_H@
1052NEXT_AS_FIRST_DIRECTIVE_STDDEF_H = @NEXT_AS_FIRST_DIRECTIVE_STDDEF_H@
1053NEXT_AS_FIRST_DIRECTIVE_STDINT_H = @NEXT_AS_FIRST_DIRECTIVE_STDINT_H@
1054NEXT_AS_FIRST_DIRECTIVE_STDIO_H = @NEXT_AS_FIRST_DIRECTIVE_STDIO_H@
1055NEXT_AS_FIRST_DIRECTIVE_STDLIB_H = @NEXT_AS_FIRST_DIRECTIVE_STDLIB_H@
1056NEXT_AS_FIRST_DIRECTIVE_STRINGS_H = @NEXT_AS_FIRST_DIRECTIVE_STRINGS_H@
1057NEXT_AS_FIRST_DIRECTIVE_STRING_H = @NEXT_AS_FIRST_DIRECTIVE_STRING_H@
1058NEXT_AS_FIRST_DIRECTIVE_SYSEXITS_H = @NEXT_AS_FIRST_DIRECTIVE_SYSEXITS_H@
1059NEXT_AS_FIRST_DIRECTIVE_SYS_STAT_H = @NEXT_AS_FIRST_DIRECTIVE_SYS_STAT_H@
1060NEXT_AS_FIRST_DIRECTIVE_SYS_TIME_H = @NEXT_AS_FIRST_DIRECTIVE_SYS_TIME_H@
1061NEXT_AS_FIRST_DIRECTIVE_SYS_TYPES_H = @NEXT_AS_FIRST_DIRECTIVE_SYS_TYPES_H@
1062NEXT_AS_FIRST_DIRECTIVE_SYS_WAIT_H = @NEXT_AS_FIRST_DIRECTIVE_SYS_WAIT_H@
1063NEXT_AS_FIRST_DIRECTIVE_TIME_H = @NEXT_AS_FIRST_DIRECTIVE_TIME_H@
1064NEXT_AS_FIRST_DIRECTIVE_UNISTD_H = @NEXT_AS_FIRST_DIRECTIVE_UNISTD_H@
1065NEXT_AS_FIRST_DIRECTIVE_WCHAR_H = @NEXT_AS_FIRST_DIRECTIVE_WCHAR_H@
1066NEXT_AS_FIRST_DIRECTIVE_WCTYPE_H = @NEXT_AS_FIRST_DIRECTIVE_WCTYPE_H@
1067NEXT_ERRNO_H = @NEXT_ERRNO_H@
1068NEXT_FCNTL_H = @NEXT_FCNTL_H@
1069NEXT_FLOAT_H = @NEXT_FLOAT_H@
1070NEXT_GETOPT_H = @NEXT_GETOPT_H@
1071NEXT_INTTYPES_H = @NEXT_INTTYPES_H@
1072NEXT_LIMITS_H = @NEXT_LIMITS_H@
1073NEXT_LOCALE_H = @NEXT_LOCALE_H@
1074NEXT_STDDEF_H = @NEXT_STDDEF_H@
1075NEXT_STDINT_H = @NEXT_STDINT_H@
1076NEXT_STDIO_H = @NEXT_STDIO_H@
1077NEXT_STDLIB_H = @NEXT_STDLIB_H@
1078NEXT_STRINGS_H = @NEXT_STRINGS_H@
1079NEXT_STRING_H = @NEXT_STRING_H@
1080NEXT_SYSEXITS_H = @NEXT_SYSEXITS_H@
1081NEXT_SYS_STAT_H = @NEXT_SYS_STAT_H@
1082NEXT_SYS_TIME_H = @NEXT_SYS_TIME_H@
1083NEXT_SYS_TYPES_H = @NEXT_SYS_TYPES_H@
1084NEXT_SYS_WAIT_H = @NEXT_SYS_WAIT_H@
1085NEXT_TIME_H = @NEXT_TIME_H@
1086NEXT_UNISTD_H = @NEXT_UNISTD_H@
1087NEXT_WCHAR_H = @NEXT_WCHAR_H@
1088NEXT_WCTYPE_H = @NEXT_WCTYPE_H@
1089NM = @NM@
1090NMEDIT = @NMEDIT@
1091OBJDUMP = @OBJDUMP@
1092OBJEXT = @OBJEXT@
1093OTOOL = @OTOOL@
1094OTOOL64 = @OTOOL64@
1095PACKAGE = @PACKAGE@
1096PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
1097PACKAGE_NAME = @PACKAGE_NAME@
1098PACKAGE_STRING = @PACKAGE_STRING@
1099PACKAGE_TARNAME = @PACKAGE_TARNAME@
1100PACKAGE_URL = @PACKAGE_URL@
1101PACKAGE_VERSION = @PACKAGE_VERSION@
1102PATH_SEPARATOR = @PATH_SEPARATOR@
1103PERL = @PERL@
1104PRAGMA_COLUMNS = @PRAGMA_COLUMNS@
1105PRAGMA_SYSTEM_HEADER = @PRAGMA_SYSTEM_HEADER@
1106PRIPTR_PREFIX = @PRIPTR_PREFIX@
1107PRI_MACROS_BROKEN = @PRI_MACROS_BROKEN@
1108PTHREAD_H_DEFINES_STRUCT_TIMESPEC = @PTHREAD_H_DEFINES_STRUCT_TIMESPEC@
1109PTRDIFF_T_SUFFIX = @PTRDIFF_T_SUFFIX@
1110PYEXT = @PYEXT@
1111PYTHON = @PYTHON@
1112PYTHONINC = @PYTHONINC@
1113PYTHON_EXEC_PREFIX = @PYTHON_EXEC_PREFIX@
1114PYTHON_PLATFORM = @PYTHON_PLATFORM@
1115PYTHON_PREFIX = @PYTHON_PREFIX@
1116PYTHON_VERSION = @PYTHON_VERSION@
1117RANLIB = @RANLIB@
1118REPLACE_ACCESS = @REPLACE_ACCESS@
1119REPLACE_BTOWC = @REPLACE_BTOWC@
1120REPLACE_CALLOC = @REPLACE_CALLOC@
1121REPLACE_CANONICALIZE_FILE_NAME = @REPLACE_CANONICALIZE_FILE_NAME@
1122REPLACE_CHOWN = @REPLACE_CHOWN@
1123REPLACE_CLOSE = @REPLACE_CLOSE@
1124REPLACE_CREAT = @REPLACE_CREAT@
1125REPLACE_CTIME = @REPLACE_CTIME@
1126REPLACE_DPRINTF = @REPLACE_DPRINTF@
1127REPLACE_DUP = @REPLACE_DUP@
1128REPLACE_DUP2 = @REPLACE_DUP2@
1129REPLACE_DUPLOCALE = @REPLACE_DUPLOCALE@
1130REPLACE_FACCESSAT = @REPLACE_FACCESSAT@
1131REPLACE_FCHMODAT = @REPLACE_FCHMODAT@
1132REPLACE_FCHOWNAT = @REPLACE_FCHOWNAT@
1133REPLACE_FCLOSE = @REPLACE_FCLOSE@
1134REPLACE_FCNTL = @REPLACE_FCNTL@
1135REPLACE_FDOPEN = @REPLACE_FDOPEN@
1136REPLACE_FFLUSH = @REPLACE_FFLUSH@
1137REPLACE_FOPEN = @REPLACE_FOPEN@
1138REPLACE_FPRINTF = @REPLACE_FPRINTF@
1139REPLACE_FPURGE = @REPLACE_FPURGE@
1140REPLACE_FREELOCALE = @REPLACE_FREELOCALE@
1141REPLACE_FREOPEN = @REPLACE_FREOPEN@
1142REPLACE_FSEEK = @REPLACE_FSEEK@
1143REPLACE_FSEEKO = @REPLACE_FSEEKO@
1144REPLACE_FSTAT = @REPLACE_FSTAT@
1145REPLACE_FSTATAT = @REPLACE_FSTATAT@
1146REPLACE_FTELL = @REPLACE_FTELL@
1147REPLACE_FTELLO = @REPLACE_FTELLO@
1148REPLACE_FTRUNCATE = @REPLACE_FTRUNCATE@
1149REPLACE_FUTIMENS = @REPLACE_FUTIMENS@
1150REPLACE_GETCWD = @REPLACE_GETCWD@
1151REPLACE_GETDELIM = @REPLACE_GETDELIM@
1152REPLACE_GETDOMAINNAME = @REPLACE_GETDOMAINNAME@
1153REPLACE_GETDTABLESIZE = @REPLACE_GETDTABLESIZE@
1154REPLACE_GETGROUPS = @REPLACE_GETGROUPS@
1155REPLACE_GETLINE = @REPLACE_GETLINE@
1156REPLACE_GETLOGIN_R = @REPLACE_GETLOGIN_R@
1157REPLACE_GETPAGESIZE = @REPLACE_GETPAGESIZE@
1158REPLACE_GETPASS = @REPLACE_GETPASS@
1159REPLACE_GETTIMEOFDAY = @REPLACE_GETTIMEOFDAY@
1160REPLACE_GMTIME = @REPLACE_GMTIME@
1161REPLACE_INITSTATE = @REPLACE_INITSTATE@
1162REPLACE_ISATTY = @REPLACE_ISATTY@
1163REPLACE_ISWBLANK = @REPLACE_ISWBLANK@
1164REPLACE_ISWCNTRL = @REPLACE_ISWCNTRL@
1165REPLACE_ISWDIGIT = @REPLACE_ISWDIGIT@
1166REPLACE_ISWXDIGIT = @REPLACE_ISWXDIGIT@
1167REPLACE_ITOLD = @REPLACE_ITOLD@
1168REPLACE_LCHOWN = @REPLACE_LCHOWN@
1169REPLACE_LINK = @REPLACE_LINK@
1170REPLACE_LINKAT = @REPLACE_LINKAT@
1171REPLACE_LOCALECONV = @REPLACE_LOCALECONV@
1172REPLACE_LOCALTIME = @REPLACE_LOCALTIME@
1173REPLACE_LOCALTIME_R = @REPLACE_LOCALTIME_R@
1174REPLACE_LSEEK = @REPLACE_LSEEK@
1175REPLACE_LSTAT = @REPLACE_LSTAT@
1176REPLACE_MALLOC = @REPLACE_MALLOC@
1177REPLACE_MBRLEN = @REPLACE_MBRLEN@
1178REPLACE_MBRTOWC = @REPLACE_MBRTOWC@
1179REPLACE_MBSINIT = @REPLACE_MBSINIT@
1180REPLACE_MBSNRTOWCS = @REPLACE_MBSNRTOWCS@
1181REPLACE_MBSRTOWCS = @REPLACE_MBSRTOWCS@
1182REPLACE_MBSTATE_T = @REPLACE_MBSTATE_T@
1183REPLACE_MBTOWC = @REPLACE_MBTOWC@
1184REPLACE_MEMCHR = @REPLACE_MEMCHR@
1185REPLACE_MEMMEM = @REPLACE_MEMMEM@
1186REPLACE_MKDIR = @REPLACE_MKDIR@
1187REPLACE_MKFIFO = @REPLACE_MKFIFO@
1188REPLACE_MKNOD = @REPLACE_MKNOD@
1189REPLACE_MKSTEMP = @REPLACE_MKSTEMP@
1190REPLACE_MKTIME = @REPLACE_MKTIME@
1191REPLACE_NANOSLEEP = @REPLACE_NANOSLEEP@
1192REPLACE_NEWLOCALE = @REPLACE_NEWLOCALE@
1193REPLACE_NULL = @REPLACE_NULL@
1194REPLACE_OBSTACK_PRINTF = @REPLACE_OBSTACK_PRINTF@
1195REPLACE_OPEN = @REPLACE_OPEN@
1196REPLACE_OPENAT = @REPLACE_OPENAT@
1197REPLACE_PERROR = @REPLACE_PERROR@
1198REPLACE_POPEN = @REPLACE_POPEN@
1199REPLACE_PREAD = @REPLACE_PREAD@
1200REPLACE_PRINTF = @REPLACE_PRINTF@
1201REPLACE_PTSNAME = @REPLACE_PTSNAME@
1202REPLACE_PTSNAME_R = @REPLACE_PTSNAME_R@
1203REPLACE_PUTENV = @REPLACE_PUTENV@
1204REPLACE_PWRITE = @REPLACE_PWRITE@
1205REPLACE_QSORT_R = @REPLACE_QSORT_R@
1206REPLACE_RANDOM = @REPLACE_RANDOM@
1207REPLACE_RANDOM_R = @REPLACE_RANDOM_R@
1208REPLACE_READ = @REPLACE_READ@
1209REPLACE_READLINK = @REPLACE_READLINK@
1210REPLACE_READLINKAT = @REPLACE_READLINKAT@
1211REPLACE_REALLOC = @REPLACE_REALLOC@
1212REPLACE_REALPATH = @REPLACE_REALPATH@
1213REPLACE_REMOVE = @REPLACE_REMOVE@
1214REPLACE_RENAME = @REPLACE_RENAME@
1215REPLACE_RENAMEAT = @REPLACE_RENAMEAT@
1216REPLACE_RMDIR = @REPLACE_RMDIR@
1217REPLACE_SETENV = @REPLACE_SETENV@
1218REPLACE_SETLOCALE = @REPLACE_SETLOCALE@
1219REPLACE_SETSTATE = @REPLACE_SETSTATE@
1220REPLACE_SLEEP = @REPLACE_SLEEP@
1221REPLACE_SNPRINTF = @REPLACE_SNPRINTF@
1222REPLACE_SPRINTF = @REPLACE_SPRINTF@
1223REPLACE_STAT = @REPLACE_STAT@
1224REPLACE_STDIO_READ_FUNCS = @REPLACE_STDIO_READ_FUNCS@
1225REPLACE_STDIO_WRITE_FUNCS = @REPLACE_STDIO_WRITE_FUNCS@
1226REPLACE_STPNCPY = @REPLACE_STPNCPY@
1227REPLACE_STRCASESTR = @REPLACE_STRCASESTR@
1228REPLACE_STRCHRNUL = @REPLACE_STRCHRNUL@
1229REPLACE_STRDUP = @REPLACE_STRDUP@
1230REPLACE_STRERROR = @REPLACE_STRERROR@
1231REPLACE_STRERROR_R = @REPLACE_STRERROR_R@
1232REPLACE_STRFTIME = @REPLACE_STRFTIME@
1233REPLACE_STRNCAT = @REPLACE_STRNCAT@
1234REPLACE_STRNDUP = @REPLACE_STRNDUP@
1235REPLACE_STRNLEN = @REPLACE_STRNLEN@
1236REPLACE_STRSIGNAL = @REPLACE_STRSIGNAL@
1237REPLACE_STRSTR = @REPLACE_STRSTR@
1238REPLACE_STRTOD = @REPLACE_STRTOD@
1239REPLACE_STRTOIMAX = @REPLACE_STRTOIMAX@
1240REPLACE_STRTOK_R = @REPLACE_STRTOK_R@
1241REPLACE_STRTOLD = @REPLACE_STRTOLD@
1242REPLACE_STRTOUMAX = @REPLACE_STRTOUMAX@
1243REPLACE_STRUCT_LCONV = @REPLACE_STRUCT_LCONV@
1244REPLACE_STRUCT_TIMEVAL = @REPLACE_STRUCT_TIMEVAL@
1245REPLACE_SYMLINK = @REPLACE_SYMLINK@
1246REPLACE_SYMLINKAT = @REPLACE_SYMLINKAT@
1247REPLACE_TIMEGM = @REPLACE_TIMEGM@
1248REPLACE_TMPFILE = @REPLACE_TMPFILE@
1249REPLACE_TOWLOWER = @REPLACE_TOWLOWER@
1250REPLACE_TRUNCATE = @REPLACE_TRUNCATE@
1251REPLACE_TTYNAME_R = @REPLACE_TTYNAME_R@
1252REPLACE_TZSET = @REPLACE_TZSET@
1253REPLACE_UNLINK = @REPLACE_UNLINK@
1254REPLACE_UNLINKAT = @REPLACE_UNLINKAT@
1255REPLACE_UNSETENV = @REPLACE_UNSETENV@
1256REPLACE_USLEEP = @REPLACE_USLEEP@
1257REPLACE_UTIMENSAT = @REPLACE_UTIMENSAT@
1258REPLACE_VASPRINTF = @REPLACE_VASPRINTF@
1259REPLACE_VDPRINTF = @REPLACE_VDPRINTF@
1260REPLACE_VFPRINTF = @REPLACE_VFPRINTF@
1261REPLACE_VPRINTF = @REPLACE_VPRINTF@
1262REPLACE_VSNPRINTF = @REPLACE_VSNPRINTF@
1263REPLACE_VSPRINTF = @REPLACE_VSPRINTF@
1264REPLACE_WCRTOMB = @REPLACE_WCRTOMB@
1265REPLACE_WCSFTIME = @REPLACE_WCSFTIME@
1266REPLACE_WCSNRTOMBS = @REPLACE_WCSNRTOMBS@
1267REPLACE_WCSRTOMBS = @REPLACE_WCSRTOMBS@
1268REPLACE_WCSTOK = @REPLACE_WCSTOK@
1269REPLACE_WCSWIDTH = @REPLACE_WCSWIDTH@
1270REPLACE_WCTOB = @REPLACE_WCTOB@
1271REPLACE_WCTOMB = @REPLACE_WCTOMB@
1272REPLACE_WCWIDTH = @REPLACE_WCWIDTH@
1273REPLACE_WRITE = @REPLACE_WRITE@
1274SED = @SED@
1275SET_MAKE = @SET_MAKE@
1276SHELL = @SHELL@
1277SIG_ATOMIC_T_SUFFIX = @SIG_ATOMIC_T_SUFFIX@
1278SIZE_T_SUFFIX = @SIZE_T_SUFFIX@
1279SPIN = @SPIN@
1280STDALIGN_H = @STDALIGN_H@
1281STDBOOL_H = @STDBOOL_H@
1282STDDEF_H = @STDDEF_H@
1283STDINT_H = @STDINT_H@
1284STRIP = @STRIP@
1285SWIG = @SWIG@
1286SYMBOLIC_LDFLAGS = @SYMBOLIC_LDFLAGS@
1287SYSEXITS_H = @SYSEXITS_H@
1288SYS_TIME_H_DEFINES_STRUCT_TIMESPEC = @SYS_TIME_H_DEFINES_STRUCT_TIMESPEC@
1289TIME_H_DEFINES_STRUCT_TIMESPEC = @TIME_H_DEFINES_STRUCT_TIMESPEC@
1290UINT32_MAX_LT_UINTMAX_MAX = @UINT32_MAX_LT_UINTMAX_MAX@
1291UINT64_MAX_EQ_ULONG_MAX = @UINT64_MAX_EQ_ULONG_MAX@
1292UNDEFINE_STRTOK_R = @UNDEFINE_STRTOK_R@
1293UNISTD_H_DEFINES_STRUCT_TIMESPEC = @UNISTD_H_DEFINES_STRUCT_TIMESPEC@
1294UNISTD_H_HAVE_WINSOCK2_H = @UNISTD_H_HAVE_WINSOCK2_H@
1295UNISTD_H_HAVE_WINSOCK2_H_AND_USE_SOCKETS = @UNISTD_H_HAVE_WINSOCK2_H_AND_USE_SOCKETS@
1296VALGRIND = @VALGRIND@
1297VERSION = @VERSION@
1298WARNING_CXXFLAGS = @WARNING_CXXFLAGS@
1299WCHAR_T_SUFFIX = @WCHAR_T_SUFFIX@
1300WINDOWS_64_BIT_OFF_T = @WINDOWS_64_BIT_OFF_T@
1301WINDOWS_64_BIT_ST_SIZE = @WINDOWS_64_BIT_ST_SIZE@
1302WINDOWS_STAT_INODES = @WINDOWS_STAT_INODES@
1303WINDOWS_STAT_TIMESPEC = @WINDOWS_STAT_TIMESPEC@
1304WINT_T_SUFFIX = @WINT_T_SUFFIX@
1305abs_builddir = @abs_builddir@
1306abs_srcdir = @abs_srcdir@
1307abs_top_builddir = @abs_top_builddir@
1308abs_top_srcdir = @abs_top_srcdir@
1309ac_ct_AR = @ac_ct_AR@
1310ac_ct_CC = @ac_ct_CC@
1311ac_ct_CXX = @ac_ct_CXX@
1312ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
1313am__include = @am__include@
1314am__leading_dot = @am__leading_dot@
1315am__quote = @am__quote@
1316am__tar = @am__tar@
1317am__untar = @am__untar@
1318bindir = @bindir@
1319build = @build@
1320build_alias = @build_alias@
1321build_cpu = @build_cpu@
1322build_os = @build_os@
1323build_vendor = @build_vendor@
1324builddir = @builddir@
1325datadir = @datadir@
1326datarootdir = @datarootdir@
1327docdir = @docdir@
1328dvidir = @dvidir@
1329exec_prefix = @exec_prefix@
1330gl_LIBOBJS = @gl_LIBOBJS@
1331gl_LTLIBOBJS = @gl_LTLIBOBJS@
1332gltests_LIBOBJS = @gltests_LIBOBJS@
1333gltests_LTLIBOBJS = @gltests_LTLIBOBJS@
1334gltests_WITNESS = @gltests_WITNESS@
1335host = @host@
1336host_alias = @host_alias@
1337host_cpu = @host_cpu@
1338host_os = @host_os@
1339host_vendor = @host_vendor@
1340htmldir = @htmldir@
1341includedir = @includedir@
1342infodir = @infodir@
1343install_sh = @install_sh@
1344libdir = @libdir@
1345libexecdir = @libexecdir@
1346localedir = @localedir@
1347localstatedir = @localstatedir@
1348ltdl_LIBOBJS = @ltdl_LIBOBJS@
1349ltdl_LTLIBOBJS = @ltdl_LTLIBOBJS@
1350mandir = @mandir@
1351mkdir_p = @mkdir_p@
1352oldincludedir = @oldincludedir@
1353pdfdir = @pdfdir@
1354pkgpyexecdir = @pkgpyexecdir@
1355pkgpythondir = @pkgpythondir@
1356prefix = @prefix@
1357program_transform_name = @program_transform_name@
1358psdir = @psdir@
1359pyexecdir = @pyexecdir@
1360pythondir = @pythondir@
1361runstatedir = @runstatedir@
1362sbindir = @sbindir@
1363sharedstatedir = @sharedstatedir@
1364srcdir = @srcdir@
1365subdirs = @subdirs@
1366sys_symbol_underscore = @sys_symbol_underscore@
1367sysconfdir = @sysconfdir@
1368target_alias = @target_alias@
1369top_build_prefix = @top_build_prefix@
1370top_builddir = @top_builddir@
1371top_srcdir = @top_srcdir@
1372SUBDIRS = . man
1373AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) $(BUDDY_CPPFLAGS) \
1374              -I$(top_builddir)/lib -I$(top_srcdir)/lib
1375
1376AM_CXXFLAGS = $(WARNING_CXXFLAGS)
1377LDADD = \
1378  libcommon.a					\
1379  $(top_builddir)/lib/libgnu.la			\
1380  $(top_builddir)/spot/libspot.la		\
1381  $(top_builddir)/buddy/src/libbddx.la
1382
1383noinst_LIBRARIES = libcommon.a
1384libcommon_a_SOURCES = \
1385  common_aoutput.cc				\
1386  common_aoutput.hh				\
1387  common_color.cc				\
1388  common_color.hh				\
1389  common_conv.hh				\
1390  common_conv.cc				\
1391  common_cout.hh				\
1392  common_cout.cc				\
1393  common_file.cc				\
1394  common_file.hh				\
1395  common_finput.cc				\
1396  common_finput.hh				\
1397  common_hoaread.cc				\
1398  common_hoaread.hh				\
1399  common_output.cc				\
1400  common_output.hh				\
1401  common_post.cc				\
1402  common_post.hh				\
1403  common_range.cc				\
1404  common_range.hh				\
1405  common_r.cc					\
1406  common_r.hh					\
1407  common_setup.cc				\
1408  common_setup.hh				\
1409  common_sys.hh                                 \
1410  common_trans.cc				\
1411  common_trans.hh
1412
1413autcross_SOURCES = autcross.cc
1414autfilt_SOURCES = autfilt.cc
1415ltlfilt_SOURCES = ltlfilt.cc
1416genaut_SOURCES = genaut.cc
1417genaut_LDADD = $(top_builddir)/spot/gen/libspotgen.la $(LDADD)
1418genltl_SOURCES = genltl.cc
1419genltl_LDADD = $(top_builddir)/spot/gen/libspotgen.la $(LDADD)
1420randaut_SOURCES = randaut.cc
1421randltl_SOURCES = randltl.cc
1422ltl2tgba_SOURCES = ltl2tgba.cc
1423ltl2tgta_SOURCES = ltl2tgta.cc
1424ltlcross_SOURCES = ltlcross.cc
1425ltlgrind_SOURCES = ltlgrind.cc
1426ltldo_SOURCES = ltldo.cc
1427ltlsynt_SOURCES = ltlsynt.cc
1428dstar2tgba_SOURCES = dstar2tgba.cc
1429spot_x_SOURCES = spot-x.cc
1430spot_SOURCES = spot.cc
1431ltlcross_LDADD = $(LDADD) $(LIB_GETHRXTIME)
1432EXTRA_DIST = options.py
1433all: all-recursive
1434
1435.SUFFIXES:
1436.SUFFIXES: .cc .lo .o .obj
1437$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
1438	@for dep in $?; do \
1439	  case '$(am__configure_deps)' in \
1440	    *$$dep*) \
1441	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
1442	        && { if test -f $@; then exit 0; else break; fi; }; \
1443	      exit 1;; \
1444	  esac; \
1445	done; \
1446	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu bin/Makefile'; \
1447	$(am__cd) $(top_srcdir) && \
1448	  $(AUTOMAKE) --gnu bin/Makefile
1449Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
1450	@case '$?' in \
1451	  *config.status*) \
1452	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
1453	  *) \
1454	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
1455	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
1456	esac;
1457
1458$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
1459	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1460
1461$(top_srcdir)/configure:  $(am__configure_deps)
1462	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1463$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
1464	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1465$(am__aclocal_m4_deps):
1466install-binPROGRAMS: $(bin_PROGRAMS)
1467	@$(NORMAL_INSTALL)
1468	@list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
1469	if test -n "$$list"; then \
1470	  echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
1471	  $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
1472	fi; \
1473	for p in $$list; do echo "$$p $$p"; done | \
1474	sed 's/$(EXEEXT)$$//' | \
1475	while read p p1; do if test -f $$p \
1476	 || test -f $$p1 \
1477	  ; then echo "$$p"; echo "$$p"; else :; fi; \
1478	done | \
1479	sed -e 'p;s,.*/,,;n;h' \
1480	    -e 's|.*|.|' \
1481	    -e 'p;x;s,.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/' | \
1482	sed 'N;N;N;s,\n, ,g' | \
1483	$(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \
1484	  { d=$$3; if (dirs[d] != 1) { print "d", d; dirs[d] = 1 } \
1485	    if ($$2 == $$4) files[d] = files[d] " " $$1; \
1486	    else { print "f", $$3 "/" $$4, $$1; } } \
1487	  END { for (d in files) print "f", d, files[d] }' | \
1488	while read type dir files; do \
1489	    if test "$$dir" = .; then dir=; else dir=/$$dir; fi; \
1490	    test -z "$$files" || { \
1491	    echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files '$(DESTDIR)$(bindir)$$dir'"; \
1492	    $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files "$(DESTDIR)$(bindir)$$dir" || exit $$?; \
1493	    } \
1494	; done
1495
1496uninstall-binPROGRAMS:
1497	@$(NORMAL_UNINSTALL)
1498	@list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
1499	files=`for p in $$list; do echo "$$p"; done | \
1500	  sed -e 'h;s,^.*/,,;s/$(EXEEXT)$$//;$(transform)' \
1501	      -e 's/$$/$(EXEEXT)/' \
1502	`; \
1503	test -n "$$list" || exit 0; \
1504	echo " ( cd '$(DESTDIR)$(bindir)' && rm -f" $$files ")"; \
1505	cd "$(DESTDIR)$(bindir)" && rm -f $$files
1506
1507clean-binPROGRAMS:
1508	@list='$(bin_PROGRAMS)'; test -n "$$list" || exit 0; \
1509	echo " rm -f" $$list; \
1510	rm -f $$list || exit $$?; \
1511	test -n "$(EXEEXT)" || exit 0; \
1512	list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \
1513	echo " rm -f" $$list; \
1514	rm -f $$list
1515
1516clean-noinstPROGRAMS:
1517	@list='$(noinst_PROGRAMS)'; test -n "$$list" || exit 0; \
1518	echo " rm -f" $$list; \
1519	rm -f $$list || exit $$?; \
1520	test -n "$(EXEEXT)" || exit 0; \
1521	list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \
1522	echo " rm -f" $$list; \
1523	rm -f $$list
1524
1525clean-noinstLIBRARIES:
1526	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)
1527
1528libcommon.a: $(libcommon_a_OBJECTS) $(libcommon_a_DEPENDENCIES) $(EXTRA_libcommon_a_DEPENDENCIES)
1529	$(AM_V_at)-rm -f libcommon.a
1530	$(AM_V_AR)$(libcommon_a_AR) libcommon.a $(libcommon_a_OBJECTS) $(libcommon_a_LIBADD)
1531	$(AM_V_at)$(RANLIB) libcommon.a
1532
1533autcross$(EXEEXT): $(autcross_OBJECTS) $(autcross_DEPENDENCIES) $(EXTRA_autcross_DEPENDENCIES)
1534	@rm -f autcross$(EXEEXT)
1535	$(AM_V_CXXLD)$(CXXLINK) $(autcross_OBJECTS) $(autcross_LDADD) $(LIBS)
1536
1537autfilt$(EXEEXT): $(autfilt_OBJECTS) $(autfilt_DEPENDENCIES) $(EXTRA_autfilt_DEPENDENCIES)
1538	@rm -f autfilt$(EXEEXT)
1539	$(AM_V_CXXLD)$(CXXLINK) $(autfilt_OBJECTS) $(autfilt_LDADD) $(LIBS)
1540
1541dstar2tgba$(EXEEXT): $(dstar2tgba_OBJECTS) $(dstar2tgba_DEPENDENCIES) $(EXTRA_dstar2tgba_DEPENDENCIES)
1542	@rm -f dstar2tgba$(EXEEXT)
1543	$(AM_V_CXXLD)$(CXXLINK) $(dstar2tgba_OBJECTS) $(dstar2tgba_LDADD) $(LIBS)
1544
1545genaut$(EXEEXT): $(genaut_OBJECTS) $(genaut_DEPENDENCIES) $(EXTRA_genaut_DEPENDENCIES)
1546	@rm -f genaut$(EXEEXT)
1547	$(AM_V_CXXLD)$(CXXLINK) $(genaut_OBJECTS) $(genaut_LDADD) $(LIBS)
1548
1549genltl$(EXEEXT): $(genltl_OBJECTS) $(genltl_DEPENDENCIES) $(EXTRA_genltl_DEPENDENCIES)
1550	@rm -f genltl$(EXEEXT)
1551	$(AM_V_CXXLD)$(CXXLINK) $(genltl_OBJECTS) $(genltl_LDADD) $(LIBS)
1552
1553ltl2tgba$(EXEEXT): $(ltl2tgba_OBJECTS) $(ltl2tgba_DEPENDENCIES) $(EXTRA_ltl2tgba_DEPENDENCIES)
1554	@rm -f ltl2tgba$(EXEEXT)
1555	$(AM_V_CXXLD)$(CXXLINK) $(ltl2tgba_OBJECTS) $(ltl2tgba_LDADD) $(LIBS)
1556
1557ltl2tgta$(EXEEXT): $(ltl2tgta_OBJECTS) $(ltl2tgta_DEPENDENCIES) $(EXTRA_ltl2tgta_DEPENDENCIES)
1558	@rm -f ltl2tgta$(EXEEXT)
1559	$(AM_V_CXXLD)$(CXXLINK) $(ltl2tgta_OBJECTS) $(ltl2tgta_LDADD) $(LIBS)
1560
1561ltlcross$(EXEEXT): $(ltlcross_OBJECTS) $(ltlcross_DEPENDENCIES) $(EXTRA_ltlcross_DEPENDENCIES)
1562	@rm -f ltlcross$(EXEEXT)
1563	$(AM_V_CXXLD)$(CXXLINK) $(ltlcross_OBJECTS) $(ltlcross_LDADD) $(LIBS)
1564
1565ltldo$(EXEEXT): $(ltldo_OBJECTS) $(ltldo_DEPENDENCIES) $(EXTRA_ltldo_DEPENDENCIES)
1566	@rm -f ltldo$(EXEEXT)
1567	$(AM_V_CXXLD)$(CXXLINK) $(ltldo_OBJECTS) $(ltldo_LDADD) $(LIBS)
1568
1569ltlfilt$(EXEEXT): $(ltlfilt_OBJECTS) $(ltlfilt_DEPENDENCIES) $(EXTRA_ltlfilt_DEPENDENCIES)
1570	@rm -f ltlfilt$(EXEEXT)
1571	$(AM_V_CXXLD)$(CXXLINK) $(ltlfilt_OBJECTS) $(ltlfilt_LDADD) $(LIBS)
1572
1573ltlgrind$(EXEEXT): $(ltlgrind_OBJECTS) $(ltlgrind_DEPENDENCIES) $(EXTRA_ltlgrind_DEPENDENCIES)
1574	@rm -f ltlgrind$(EXEEXT)
1575	$(AM_V_CXXLD)$(CXXLINK) $(ltlgrind_OBJECTS) $(ltlgrind_LDADD) $(LIBS)
1576
1577ltlsynt$(EXEEXT): $(ltlsynt_OBJECTS) $(ltlsynt_DEPENDENCIES) $(EXTRA_ltlsynt_DEPENDENCIES)
1578	@rm -f ltlsynt$(EXEEXT)
1579	$(AM_V_CXXLD)$(CXXLINK) $(ltlsynt_OBJECTS) $(ltlsynt_LDADD) $(LIBS)
1580
1581randaut$(EXEEXT): $(randaut_OBJECTS) $(randaut_DEPENDENCIES) $(EXTRA_randaut_DEPENDENCIES)
1582	@rm -f randaut$(EXEEXT)
1583	$(AM_V_CXXLD)$(CXXLINK) $(randaut_OBJECTS) $(randaut_LDADD) $(LIBS)
1584
1585randltl$(EXEEXT): $(randltl_OBJECTS) $(randltl_DEPENDENCIES) $(EXTRA_randltl_DEPENDENCIES)
1586	@rm -f randltl$(EXEEXT)
1587	$(AM_V_CXXLD)$(CXXLINK) $(randltl_OBJECTS) $(randltl_LDADD) $(LIBS)
1588
1589spot$(EXEEXT): $(spot_OBJECTS) $(spot_DEPENDENCIES) $(EXTRA_spot_DEPENDENCIES)
1590	@rm -f spot$(EXEEXT)
1591	$(AM_V_CXXLD)$(CXXLINK) $(spot_OBJECTS) $(spot_LDADD) $(LIBS)
1592
1593spot-x$(EXEEXT): $(spot_x_OBJECTS) $(spot_x_DEPENDENCIES) $(EXTRA_spot_x_DEPENDENCIES)
1594	@rm -f spot-x$(EXEEXT)
1595	$(AM_V_CXXLD)$(CXXLINK) $(spot_x_OBJECTS) $(spot_x_LDADD) $(LIBS)
1596
1597mostlyclean-compile:
1598	-rm -f *.$(OBJEXT)
1599
1600distclean-compile:
1601	-rm -f *.tab.c
1602
1603@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/autcross.Po@am__quote@ # am--include-marker
1604@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/autfilt.Po@am__quote@ # am--include-marker
1605@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_aoutput.Po@am__quote@ # am--include-marker
1606@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_color.Po@am__quote@ # am--include-marker
1607@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_conv.Po@am__quote@ # am--include-marker
1608@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_cout.Po@am__quote@ # am--include-marker
1609@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_file.Po@am__quote@ # am--include-marker
1610@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_finput.Po@am__quote@ # am--include-marker
1611@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_hoaread.Po@am__quote@ # am--include-marker
1612@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_output.Po@am__quote@ # am--include-marker
1613@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_post.Po@am__quote@ # am--include-marker
1614@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_r.Po@am__quote@ # am--include-marker
1615@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_range.Po@am__quote@ # am--include-marker
1616@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_setup.Po@am__quote@ # am--include-marker
1617@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/common_trans.Po@am__quote@ # am--include-marker
1618@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/dstar2tgba.Po@am__quote@ # am--include-marker
1619@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/genaut.Po@am__quote@ # am--include-marker
1620@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/genltl.Po@am__quote@ # am--include-marker
1621@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltl2tgba.Po@am__quote@ # am--include-marker
1622@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltl2tgta.Po@am__quote@ # am--include-marker
1623@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltlcross.Po@am__quote@ # am--include-marker
1624@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltldo.Po@am__quote@ # am--include-marker
1625@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltlfilt.Po@am__quote@ # am--include-marker
1626@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltlgrind.Po@am__quote@ # am--include-marker
1627@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ltlsynt.Po@am__quote@ # am--include-marker
1628@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/randaut.Po@am__quote@ # am--include-marker
1629@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/randltl.Po@am__quote@ # am--include-marker
1630@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/spot-x.Po@am__quote@ # am--include-marker
1631@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/spot.Po@am__quote@ # am--include-marker
1632
1633$(am__depfiles_remade):
1634	@$(MKDIR_P) $(@D)
1635	@echo '# dummy' >$@-t && $(am__mv) $@-t $@
1636
1637am--depfiles: $(am__depfiles_remade)
1638
1639.cc.o:
1640@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
1641@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
1642@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
1643@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1644@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $<
1645
1646.cc.obj:
1647@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
1648@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
1649@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
1650@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1651@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`
1652
1653.cc.lo:
1654@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
1655@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
1656@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@
1657@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1658@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(LTCXXCOMPILE) -c -o $@ $<
1659
1660mostlyclean-libtool:
1661	-rm -f *.lo
1662
1663clean-libtool:
1664	-rm -rf .libs _libs
1665
1666# This directory's subdirectories are mostly independent; you can cd
1667# into them and run 'make' without going through this Makefile.
1668# To change the values of 'make' variables: instead of editing Makefiles,
1669# (1) if the variable is set in 'config.status', edit 'config.status'
1670#     (which will cause the Makefiles to be regenerated when you run 'make');
1671# (2) otherwise, pass the desired values on the 'make' command line.
1672$(am__recursive_targets):
1673	@fail=; \
1674	if $(am__make_keepgoing); then \
1675	  failcom='fail=yes'; \
1676	else \
1677	  failcom='exit 1'; \
1678	fi; \
1679	dot_seen=no; \
1680	target=`echo $@ | sed s/-recursive//`; \
1681	case "$@" in \
1682	  distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \
1683	  *) list='$(SUBDIRS)' ;; \
1684	esac; \
1685	for subdir in $$list; do \
1686	  echo "Making $$target in $$subdir"; \
1687	  if test "$$subdir" = "."; then \
1688	    dot_seen=yes; \
1689	    local_target="$$target-am"; \
1690	  else \
1691	    local_target="$$target"; \
1692	  fi; \
1693	  ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
1694	  || eval $$failcom; \
1695	done; \
1696	if test "$$dot_seen" = "no"; then \
1697	  $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
1698	fi; test -z "$$fail"
1699
1700ID: $(am__tagged_files)
1701	$(am__define_uniq_tagged_files); mkid -fID $$unique
1702tags: tags-recursive
1703TAGS: tags
1704
1705tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
1706	set x; \
1707	here=`pwd`; \
1708	if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \
1709	  include_option=--etags-include; \
1710	  empty_fix=.; \
1711	else \
1712	  include_option=--include; \
1713	  empty_fix=; \
1714	fi; \
1715	list='$(SUBDIRS)'; for subdir in $$list; do \
1716	  if test "$$subdir" = .; then :; else \
1717	    test ! -f $$subdir/TAGS || \
1718	      set "$$@" "$$include_option=$$here/$$subdir/TAGS"; \
1719	  fi; \
1720	done; \
1721	$(am__define_uniq_tagged_files); \
1722	shift; \
1723	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
1724	  test -n "$$unique" || unique=$$empty_fix; \
1725	  if test $$# -gt 0; then \
1726	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
1727	      "$$@" $$unique; \
1728	  else \
1729	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
1730	      $$unique; \
1731	  fi; \
1732	fi
1733ctags: ctags-recursive
1734
1735CTAGS: ctags
1736ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
1737	$(am__define_uniq_tagged_files); \
1738	test -z "$(CTAGS_ARGS)$$unique" \
1739	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
1740	     $$unique
1741
1742GTAGS:
1743	here=`$(am__cd) $(top_builddir) && pwd` \
1744	  && $(am__cd) $(top_srcdir) \
1745	  && gtags -i $(GTAGS_ARGS) "$$here"
1746cscopelist: cscopelist-recursive
1747
1748cscopelist-am: $(am__tagged_files)
1749	list='$(am__tagged_files)'; \
1750	case "$(srcdir)" in \
1751	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
1752	  *) sdir=$(subdir)/$(srcdir) ;; \
1753	esac; \
1754	for i in $$list; do \
1755	  if test -f "$$i"; then \
1756	    echo "$(subdir)/$$i"; \
1757	  else \
1758	    echo "$$sdir/$$i"; \
1759	  fi; \
1760	done >> $(top_builddir)/cscope.files
1761
1762distclean-tags:
1763	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
1764
1765distdir: $(BUILT_SOURCES)
1766	$(MAKE) $(AM_MAKEFLAGS) distdir-am
1767
1768distdir-am: $(DISTFILES)
1769	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1770	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1771	list='$(DISTFILES)'; \
1772	  dist_files=`for file in $$list; do echo $$file; done | \
1773	  sed -e "s|^$$srcdirstrip/||;t" \
1774	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
1775	case $$dist_files in \
1776	  */*) $(MKDIR_P) `echo "$$dist_files" | \
1777			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
1778			   sort -u` ;; \
1779	esac; \
1780	for file in $$dist_files; do \
1781	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
1782	  if test -d $$d/$$file; then \
1783	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
1784	    if test -d "$(distdir)/$$file"; then \
1785	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
1786	    fi; \
1787	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
1788	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
1789	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
1790	    fi; \
1791	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
1792	  else \
1793	    test -f "$(distdir)/$$file" \
1794	    || cp -p $$d/$$file "$(distdir)/$$file" \
1795	    || exit 1; \
1796	  fi; \
1797	done
1798	@list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
1799	  if test "$$subdir" = .; then :; else \
1800	    $(am__make_dryrun) \
1801	      || test -d "$(distdir)/$$subdir" \
1802	      || $(MKDIR_P) "$(distdir)/$$subdir" \
1803	      || exit 1; \
1804	    dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
1805	    $(am__relativize); \
1806	    new_distdir=$$reldir; \
1807	    dir1=$$subdir; dir2="$(top_distdir)"; \
1808	    $(am__relativize); \
1809	    new_top_distdir=$$reldir; \
1810	    echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
1811	    echo "     am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
1812	    ($(am__cd) $$subdir && \
1813	      $(MAKE) $(AM_MAKEFLAGS) \
1814	        top_distdir="$$new_top_distdir" \
1815	        distdir="$$new_distdir" \
1816		am__remove_distdir=: \
1817		am__skip_length_check=: \
1818		am__skip_mode_fix=: \
1819	        distdir) \
1820	      || exit 1; \
1821	  fi; \
1822	done
1823check-am: all-am
1824check: check-recursive
1825all-am: Makefile $(PROGRAMS) $(LIBRARIES)
1826installdirs: installdirs-recursive
1827installdirs-am:
1828	for dir in "$(DESTDIR)$(bindir)"; do \
1829	  test -z "$$dir" || $(MKDIR_P) "$$dir"; \
1830	done
1831install: install-recursive
1832install-exec: install-exec-recursive
1833install-data: install-data-recursive
1834uninstall: uninstall-recursive
1835
1836install-am: all-am
1837	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
1838
1839installcheck: installcheck-recursive
1840install-strip:
1841	if test -z '$(STRIP)'; then \
1842	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
1843	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
1844	      install; \
1845	else \
1846	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
1847	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
1848	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
1849	fi
1850mostlyclean-generic:
1851
1852clean-generic:
1853
1854distclean-generic:
1855	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
1856	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
1857
1858maintainer-clean-generic:
1859	@echo "This command is intended for maintainers to use"
1860	@echo "it deletes files that may require special tools to rebuild."
1861clean: clean-recursive
1862
1863clean-am: clean-binPROGRAMS clean-generic clean-libtool \
1864	clean-noinstLIBRARIES clean-noinstPROGRAMS mostlyclean-am
1865
1866distclean: distclean-recursive
1867		-rm -f ./$(DEPDIR)/autcross.Po
1868	-rm -f ./$(DEPDIR)/autfilt.Po
1869	-rm -f ./$(DEPDIR)/common_aoutput.Po
1870	-rm -f ./$(DEPDIR)/common_color.Po
1871	-rm -f ./$(DEPDIR)/common_conv.Po
1872	-rm -f ./$(DEPDIR)/common_cout.Po
1873	-rm -f ./$(DEPDIR)/common_file.Po
1874	-rm -f ./$(DEPDIR)/common_finput.Po
1875	-rm -f ./$(DEPDIR)/common_hoaread.Po
1876	-rm -f ./$(DEPDIR)/common_output.Po
1877	-rm -f ./$(DEPDIR)/common_post.Po
1878	-rm -f ./$(DEPDIR)/common_r.Po
1879	-rm -f ./$(DEPDIR)/common_range.Po
1880	-rm -f ./$(DEPDIR)/common_setup.Po
1881	-rm -f ./$(DEPDIR)/common_trans.Po
1882	-rm -f ./$(DEPDIR)/dstar2tgba.Po
1883	-rm -f ./$(DEPDIR)/genaut.Po
1884	-rm -f ./$(DEPDIR)/genltl.Po
1885	-rm -f ./$(DEPDIR)/ltl2tgba.Po
1886	-rm -f ./$(DEPDIR)/ltl2tgta.Po
1887	-rm -f ./$(DEPDIR)/ltlcross.Po
1888	-rm -f ./$(DEPDIR)/ltldo.Po
1889	-rm -f ./$(DEPDIR)/ltlfilt.Po
1890	-rm -f ./$(DEPDIR)/ltlgrind.Po
1891	-rm -f ./$(DEPDIR)/ltlsynt.Po
1892	-rm -f ./$(DEPDIR)/randaut.Po
1893	-rm -f ./$(DEPDIR)/randltl.Po
1894	-rm -f ./$(DEPDIR)/spot-x.Po
1895	-rm -f ./$(DEPDIR)/spot.Po
1896	-rm -f Makefile
1897distclean-am: clean-am distclean-compile distclean-generic \
1898	distclean-tags
1899
1900dvi: dvi-recursive
1901
1902dvi-am:
1903
1904html: html-recursive
1905
1906html-am:
1907
1908info: info-recursive
1909
1910info-am:
1911
1912install-data-am:
1913
1914install-dvi: install-dvi-recursive
1915
1916install-dvi-am:
1917
1918install-exec-am: install-binPROGRAMS
1919
1920install-html: install-html-recursive
1921
1922install-html-am:
1923
1924install-info: install-info-recursive
1925
1926install-info-am:
1927
1928install-man:
1929
1930install-pdf: install-pdf-recursive
1931
1932install-pdf-am:
1933
1934install-ps: install-ps-recursive
1935
1936install-ps-am:
1937
1938installcheck-am:
1939
1940maintainer-clean: maintainer-clean-recursive
1941		-rm -f ./$(DEPDIR)/autcross.Po
1942	-rm -f ./$(DEPDIR)/autfilt.Po
1943	-rm -f ./$(DEPDIR)/common_aoutput.Po
1944	-rm -f ./$(DEPDIR)/common_color.Po
1945	-rm -f ./$(DEPDIR)/common_conv.Po
1946	-rm -f ./$(DEPDIR)/common_cout.Po
1947	-rm -f ./$(DEPDIR)/common_file.Po
1948	-rm -f ./$(DEPDIR)/common_finput.Po
1949	-rm -f ./$(DEPDIR)/common_hoaread.Po
1950	-rm -f ./$(DEPDIR)/common_output.Po
1951	-rm -f ./$(DEPDIR)/common_post.Po
1952	-rm -f ./$(DEPDIR)/common_r.Po
1953	-rm -f ./$(DEPDIR)/common_range.Po
1954	-rm -f ./$(DEPDIR)/common_setup.Po
1955	-rm -f ./$(DEPDIR)/common_trans.Po
1956	-rm -f ./$(DEPDIR)/dstar2tgba.Po
1957	-rm -f ./$(DEPDIR)/genaut.Po
1958	-rm -f ./$(DEPDIR)/genltl.Po
1959	-rm -f ./$(DEPDIR)/ltl2tgba.Po
1960	-rm -f ./$(DEPDIR)/ltl2tgta.Po
1961	-rm -f ./$(DEPDIR)/ltlcross.Po
1962	-rm -f ./$(DEPDIR)/ltldo.Po
1963	-rm -f ./$(DEPDIR)/ltlfilt.Po
1964	-rm -f ./$(DEPDIR)/ltlgrind.Po
1965	-rm -f ./$(DEPDIR)/ltlsynt.Po
1966	-rm -f ./$(DEPDIR)/randaut.Po
1967	-rm -f ./$(DEPDIR)/randltl.Po
1968	-rm -f ./$(DEPDIR)/spot-x.Po
1969	-rm -f ./$(DEPDIR)/spot.Po
1970	-rm -f Makefile
1971maintainer-clean-am: distclean-am maintainer-clean-generic
1972
1973mostlyclean: mostlyclean-recursive
1974
1975mostlyclean-am: mostlyclean-compile mostlyclean-generic \
1976	mostlyclean-libtool
1977
1978pdf: pdf-recursive
1979
1980pdf-am:
1981
1982ps: ps-recursive
1983
1984ps-am:
1985
1986uninstall-am: uninstall-binPROGRAMS
1987
1988.MAKE: $(am__recursive_targets) install-am install-strip
1989
1990.PHONY: $(am__recursive_targets) CTAGS GTAGS TAGS all all-am \
1991	am--depfiles check check-am clean clean-binPROGRAMS \
1992	clean-generic clean-libtool clean-noinstLIBRARIES \
1993	clean-noinstPROGRAMS cscopelist-am ctags ctags-am distclean \
1994	distclean-compile distclean-generic distclean-libtool \
1995	distclean-tags distdir dvi dvi-am html html-am info info-am \
1996	install install-am install-binPROGRAMS install-data \
1997	install-data-am install-dvi install-dvi-am install-exec \
1998	install-exec-am install-html install-html-am install-info \
1999	install-info-am install-man install-pdf install-pdf-am \
2000	install-ps install-ps-am install-strip installcheck \
2001	installcheck-am installdirs installdirs-am maintainer-clean \
2002	maintainer-clean-generic mostlyclean mostlyclean-compile \
2003	mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
2004	tags tags-am uninstall uninstall-am uninstall-binPROGRAMS
2005
2006.PRECIOUS: Makefile
2007
2008
2009# Tell versions [3.59,3.63) of GNU make to not export all variables.
2010# Otherwise a system limit (for SysV at least) may be exceeded.
2011.NOEXPORT:
2012