Context Navigation

Back to Ticket #45839

Ticket #45839: config.log

File config.log, 92.2 KB (added by jeremy.cade@…, 9 years ago)

Line
1	This file contains any messages produced by compilers while
2	running configure, to aid debugging if configure makes a mistake.
3
4	It was created by NuSMV configure 2.5.4, which was
5	generated by GNU Autoconf 2.63. Invocation command line was
6
7	$ ./configure --prefix=/opt/local --with-expat-libdir=/opt/local/lib --with-expat-incdir=/opt/local/include --disable-zchaff --enable-minisat --with-minisat-incdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat --with-minisat-libdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat
8
9	## --------- ##
10	## Platform. ##
11	## --------- ##
12
13	hostname = meka.local
14	uname -m = x86_64
15	uname -r = 14.0.0
16	uname -s = Darwin
17	uname -v = Darwin Kernel Version 14.0.0: Fri Sep 19 00:26:44 PDT 2014; root:xnu-2782.1.97~2/RELEASE_X86_64
18
19	/usr/bin/uname -p = i386
20	/bin/uname -X = unknown
21
22	/bin/arch = unknown
23	/usr/bin/arch -k = unknown
24	/usr/convex/getsysinfo = unknown
25	/usr/bin/hostinfo = Mach kernel version:
26	Darwin Kernel Version 14.0.0: Fri Sep 19 00:26:44 PDT 2014; root:xnu-2782.1.97~2/RELEASE_X86_64
27	Kernel configured for up to 2 processors.
28	2 processors are physically available.
29	2 processors are logically available.
30	Processor type: i486 (Intel 80486)
31	Processors active: 0 1
32	Primary memory available: 4.00 gigabytes
33	Default processor set: 181 tasks, 670 threads, 2 processors
34	Load average: 3.35, Mach factor: 0.39
35	/bin/machine = unknown
36	/usr/bin/oslevel = unknown
37	/bin/universe = unknown
38
39	PATH: /opt/local/bin
40	PATH: /opt/local/sbin
41	PATH: /bin
42	PATH: /sbin
43	PATH: /usr/bin
44	PATH: /usr/sbin
45
46
47	## ----------- ##
48	## Core tests. ##
49	## ----------- ##
50
51	configure:2194: checking for a BSD-compatible install
52	configure:2262: result: /usr/bin/install -c
53	configure:2273: checking whether build environment is sane
54	configure:2333: result: yes
55	configure:2474: checking for a thread-safe mkdir -p
56	configure:2513: result: helpers/install-sh -c -d
57	configure:2526: checking for gawk
58	configure:2542: found /opt/local/bin/gawk
59	configure:2553: result: gawk
60	configure:2564: checking whether make sets $(MAKE)
61	configure:2586: result: yes
62	configure:2654: checking how to create a ustar tar archive
63	configure:2667: tar --version
64	bsdtar 2.8.3 - libarchive 2.8.3
65	configure:2670: $? = 0
66	configure:2710: tardir=conftest.dir && eval tar --format=ustar -chf - "$tardir" >conftest.tar
67	configure:2713: $? = 0
68	configure:2717: tar -xf - <conftest.tar
69	configure:2720: $? = 0
70	configure:2733: result: gnutar
71	configure:2747: checking build system type
72	configure:2765: result: x86_64-apple-darwin14.0.0
73	configure:2787: checking host system type
74	configure:2802: result: x86_64-apple-darwin14.0.0
75	configure:3029: checking for style of include used by make
76	configure:3057: result: GNU
77	configure:3127: checking for gcc
78	configure:3154: result: /usr/bin/clang
79	configure:3386: checking for C compiler version
80	configure:3394: /usr/bin/clang --version >&5
81	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
82	Target: x86_64-apple-darwin14.0.0
83	Thread model: posix
84	configure:3398: $? = 0
85	configure:3405: /usr/bin/clang -v >&5
86	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
87	Target: x86_64-apple-darwin14.0.0
88	Thread model: posix
89	configure:3409: $? = 0
90	configure:3416: /usr/bin/clang -V >&5
91	clang: error: argument to '-V' is missing (expected 1 value)
92	clang: error: no input files
93	configure:3420: $? = 1
94	configure:3443: checking for C compiler default output file name
95	configure:3465: /usr/bin/clang -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
96	configure:3469: $? = 0
97	configure:3507: result: a.out
98	configure:3526: checking whether the C compiler works
99	configure:3536: ./a.out
100	configure:3540: $? = 0
101	configure:3559: result: yes
102	configure:3566: checking whether we are cross compiling
103	configure:3568: result: no
104	configure:3571: checking for suffix of executables
105	configure:3578: /usr/bin/clang -o conftest -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
106	configure:3582: $? = 0
107	configure:3608: result:
108	configure:3614: checking for suffix of object files
109	configure:3640: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
110	configure:3644: $? = 0
111	configure:3669: result: o
112	configure:3673: checking whether we are using the GNU C compiler
113	configure:3702: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
114	configure:3709: $? = 0
115	configure:3726: result: yes
116	configure:3735: checking whether /usr/bin/clang accepts -g
117	configure:3765: /usr/bin/clang -c -g -I/opt/local/include conftest.c >&5
118	configure:3772: $? = 0
119	configure:3873: result: yes
120	configure:3890: checking for /usr/bin/clang option to accept ISO C89
121	configure:3964: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
122	configure:3971: $? = 0
123	configure:3994: result: none needed
124	configure:4014: checking dependency style of /usr/bin/clang
125	configure:4124: result: gcc3
126	configure:4145: checking how to run the C preprocessor
127	configure:4185: /usr/bin/clang -E -I/opt/local/include conftest.c
128	configure:4192: $? = 0
129	configure:4223: /usr/bin/clang -E -I/opt/local/include conftest.c
130	conftest.c:15:10: fatal error: 'ac_nonexistent.h' file not found
131	#include <ac_nonexistent.h>
132	^
133	1 error generated.
134	configure:4230: $? = 1
135	configure: failed program was:
136	\| /* confdefs.h. */
137	\| #define PACKAGE_NAME "NuSMV"
138	\| #define PACKAGE_TARNAME "nusmv"
139	\| #define PACKAGE_VERSION "2.5.4"
140	\| #define PACKAGE_STRING "NuSMV 2.5.4"
141	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
142	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
143	\| #define LIBRARY_NAME "NuSMV"
144	\| #define LIBRARY_VERSION "2.5.4"
145	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
146	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
147	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
148	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
149	\| /* end confdefs.h. */
150	\| #include <ac_nonexistent.h>
151	configure:4263: result: /usr/bin/clang -E
152	configure:4292: /usr/bin/clang -E -I/opt/local/include conftest.c
153	configure:4299: $? = 0
154	configure:4330: /usr/bin/clang -E -I/opt/local/include conftest.c
155	conftest.c:15:10: fatal error: 'ac_nonexistent.h' file not found
156	#include <ac_nonexistent.h>
157	^
158	1 error generated.
159	configure:4337: $? = 1
160	configure: failed program was:
161	\| /* confdefs.h. */
162	\| #define PACKAGE_NAME "NuSMV"
163	\| #define PACKAGE_TARNAME "nusmv"
164	\| #define PACKAGE_VERSION "2.5.4"
165	\| #define PACKAGE_STRING "NuSMV 2.5.4"
166	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
167	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
168	\| #define LIBRARY_NAME "NuSMV"
169	\| #define LIBRARY_VERSION "2.5.4"
170	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
171	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
172	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
173	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
174	\| /* end confdefs.h. */
175	\| #include <ac_nonexistent.h>
176	configure:4377: checking for grep that handles long lines and -e
177	configure:4437: result: /usr/bin/grep
178	configure:4442: checking for egrep
179	configure:4506: result: /usr/bin/grep -E
180	configure:4511: checking for ANSI C header files
181	configure:4541: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
182	configure:4548: $? = 0
183	configure:4647: /usr/bin/clang -o conftest -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
184	configure:4651: $? = 0
185	configure:4657: ./conftest
186	configure:4661: $? = 0
187	configure:4679: result: yes
188	configure:4703: checking for sys/types.h
189	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
190	configure:4731: $? = 0
191	configure:4748: result: yes
192	configure:4703: checking for sys/stat.h
193	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
194	configure:4731: $? = 0
195	configure:4748: result: yes
196	configure:4703: checking for stdlib.h
197	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
198	configure:4731: $? = 0
199	configure:4748: result: yes
200	configure:4703: checking for string.h
201	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
202	configure:4731: $? = 0
203	configure:4748: result: yes
204	configure:4703: checking for memory.h
205	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
206	configure:4731: $? = 0
207	configure:4748: result: yes
208	configure:4703: checking for strings.h
209	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
210	configure:4731: $? = 0
211	configure:4748: result: yes
212	configure:4703: checking for inttypes.h
213	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
214	configure:4731: $? = 0
215	configure:4748: result: yes
216	configure:4703: checking for stdint.h
217	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
218	configure:4731: $? = 0
219	configure:4748: result: yes
220	configure:4703: checking for unistd.h
221	configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
222	configure:4731: $? = 0
223	configure:4748: result: yes
224	configure:5141: checking for gcc
225	configure:5168: result: /usr/bin/clang
226	configure:5400: checking for C compiler version
227	configure:5408: /usr/bin/clang --version >&5
228	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
229	Target: x86_64-apple-darwin14.0.0
230	Thread model: posix
231	configure:5412: $? = 0
232	configure:5419: /usr/bin/clang -v >&5
233	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
234	Target: x86_64-apple-darwin14.0.0
235	Thread model: posix
236	configure:5423: $? = 0
237	configure:5430: /usr/bin/clang -V >&5
238	clang: error: argument to '-V' is missing (expected 1 value)
239	clang: error: no input files
240	configure:5434: $? = 1
241	configure:5437: checking whether we are using the GNU C compiler
242	configure:5490: result: yes
243	configure:5499: checking whether /usr/bin/clang accepts -g
244	configure:5637: result: yes
245	configure:5654: checking for /usr/bin/clang option to accept ISO C89
246	configure:5758: result: none needed
247	configure:5778: checking dependency style of /usr/bin/clang
248	configure:5888: result: gcc3
249	configure:5904: checking whether /usr/bin/clang and cc understand -c and -o together
250	configure:5939: /usr/bin/clang -c conftest.c -o conftest2.o >&5
251	configure:5943: $? = 0
252	configure:5949: /usr/bin/clang -c conftest.c -o conftest2.o >&5
253	configure:5953: $? = 0
254	configure:5964: cc -c conftest.c >&5
255	configure:5968: $? = 0
256	configure:5976: cc -c conftest.c -o conftest2.o >&5
257	configure:5980: $? = 0
258	configure:5986: cc -c conftest.c -o conftest2.o >&5
259	configure:5990: $? = 0
260	configure:6008: result: yes
261	configure:6036: checking whether the C compiler (/usr/bin/clang) accepts noreturn attribute
262	configure:6071: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
263	conftest.c:29:4: warning: implicitly declaring library function 'exit' with type 'void (int) __attribute__((noreturn))'
264	exit (1);
265	^
266	conftest.c:29:4: note: please include the header <stdlib.h> or explicitly provide a declaration for 'exit'
267	1 warning generated.
268	configure:6078: $? = 0
269	configure:6095: result: yes
270	configure:6108: checking how to run the C preprocessor
271	configure:6226: result: /usr/bin/clang -E
272	configure:6255: /usr/bin/clang -E -I/opt/local/include conftest.c
273	configure:6262: $? = 0
274	configure:6293: /usr/bin/clang -E -I/opt/local/include conftest.c
275	conftest.c:26:10: fatal error: 'ac_nonexistent.h' file not found
276	#include <ac_nonexistent.h>
277	^
278	1 error generated.
279	configure:6300: $? = 1
280	configure: failed program was:
281	\| /* confdefs.h. */
282	\| #define PACKAGE_NAME "NuSMV"
283	\| #define PACKAGE_TARNAME "nusmv"
284	\| #define PACKAGE_VERSION "2.5.4"
285	\| #define PACKAGE_STRING "NuSMV 2.5.4"
286	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
287	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
288	\| #define LIBRARY_NAME "NuSMV"
289	\| #define LIBRARY_VERSION "2.5.4"
290	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
291	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
292	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
293	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
294	\| #define STDC_HEADERS 1
295	\| #define HAVE_SYS_TYPES_H 1
296	\| #define HAVE_SYS_STAT_H 1
297	\| #define HAVE_STDLIB_H 1
298	\| #define HAVE_STRING_H 1
299	\| #define HAVE_MEMORY_H 1
300	\| #define HAVE_STRINGS_H 1
301	\| #define HAVE_INTTYPES_H 1
302	\| #define HAVE_STDINT_H 1
303	\| #define HAVE_UNISTD_H 1
304	\| #define FUNCATTR_NORETURN __attribute__ ((noreturn))
305	\| /* end confdefs.h. */
306	\| #include <ac_nonexistent.h>
307	configure:6451: checking for C++ compiler version
308	configure:6459: /usr/bin/clang++ --version >&5
309	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
310	Target: x86_64-apple-darwin14.0.0
311	Thread model: posix
312	configure:6463: $? = 0
313	configure:6470: /usr/bin/clang++ -v >&5
314	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
315	Target: x86_64-apple-darwin14.0.0
316	Thread model: posix
317	configure:6474: $? = 0
318	configure:6481: /usr/bin/clang++ -V >&5
319	clang: error: argument to '-V' is missing (expected 1 value)
320	clang: error: no input files
321	configure:6485: $? = 1
322	configure:6488: checking whether we are using the GNU C++ compiler
323	configure:6517: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include conftest.cpp >&5
324	configure:6524: $? = 0
325	configure:6541: result: yes
326	configure:6550: checking whether /usr/bin/clang++ accepts -g
327	configure:6580: /usr/bin/clang++ -c -g -I/opt/local/include conftest.cpp >&5
328	configure:6587: $? = 0
329	configure:6688: result: yes
330	configure:6713: checking dependency style of /usr/bin/clang++
331	configure:6823: result: gcc3
332	configure:6843: checking how to run the C++ preprocessor
333	configure:6879: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
334	configure:6886: $? = 0
335	configure:6917: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
336	conftest.cpp:26:10: fatal error: 'ac_nonexistent.h' file not found
337	#include <ac_nonexistent.h>
338	^
339	1 error generated.
340	configure:6924: $? = 1
341	configure: failed program was:
342	\| /* confdefs.h. */
343	\| #define PACKAGE_NAME "NuSMV"
344	\| #define PACKAGE_TARNAME "nusmv"
345	\| #define PACKAGE_VERSION "2.5.4"
346	\| #define PACKAGE_STRING "NuSMV 2.5.4"
347	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
348	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
349	\| #define LIBRARY_NAME "NuSMV"
350	\| #define LIBRARY_VERSION "2.5.4"
351	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
352	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
353	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
354	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
355	\| #define STDC_HEADERS 1
356	\| #define HAVE_SYS_TYPES_H 1
357	\| #define HAVE_SYS_STAT_H 1
358	\| #define HAVE_STDLIB_H 1
359	\| #define HAVE_STRING_H 1
360	\| #define HAVE_MEMORY_H 1
361	\| #define HAVE_STRINGS_H 1
362	\| #define HAVE_INTTYPES_H 1
363	\| #define HAVE_STDINT_H 1
364	\| #define HAVE_UNISTD_H 1
365	\| #define FUNCATTR_NORETURN __attribute__ ((noreturn))
366	\| /* end confdefs.h. */
367	\| #include <ac_nonexistent.h>
368	configure:6957: result: /usr/bin/clang++ -E
369	configure:6986: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
370	configure:6993: $? = 0
371	configure:7024: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
372	conftest.cpp:26:10: fatal error: 'ac_nonexistent.h' file not found
373	#include <ac_nonexistent.h>
374	^
375	1 error generated.
376	configure:7031: $? = 1
377	configure: failed program was:
378	\| /* confdefs.h. */
379	\| #define PACKAGE_NAME "NuSMV"
380	\| #define PACKAGE_TARNAME "nusmv"
381	\| #define PACKAGE_VERSION "2.5.4"
382	\| #define PACKAGE_STRING "NuSMV 2.5.4"
383	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
384	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
385	\| #define LIBRARY_NAME "NuSMV"
386	\| #define LIBRARY_VERSION "2.5.4"
387	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
388	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
389	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
390	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
391	\| #define STDC_HEADERS 1
392	\| #define HAVE_SYS_TYPES_H 1
393	\| #define HAVE_SYS_STAT_H 1
394	\| #define HAVE_STDLIB_H 1
395	\| #define HAVE_STRING_H 1
396	\| #define HAVE_MEMORY_H 1
397	\| #define HAVE_STRINGS_H 1
398	\| #define HAVE_INTTYPES_H 1
399	\| #define HAVE_STDINT_H 1
400	\| #define HAVE_UNISTD_H 1
401	\| #define FUNCATTR_NORETURN __attribute__ ((noreturn))
402	\| /* end confdefs.h. */
403	\| #include <ac_nonexistent.h>
404	configure:7105: checking for a BSD-compatible install
405	configure:7173: result: /usr/bin/install -c
406	configure:7184: checking whether ln -s works
407	configure:7188: result: yes
408	configure:7195: checking whether make sets $(MAKE)
409	configure:7217: result: yes
410	configure:7251: checking for a sed that does not truncate output
411	configure:7317: result: /opt/local/bin/gsed
412	configure:7335: checking for fgrep
413	configure:7399: result: /usr/bin/grep -F
414	configure:7434: checking for ld used by /usr/bin/clang
415	configure:7501: result: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
416	configure:7510: checking if the linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) is GNU ld
417	configure:7525: result: no
418	configure:7537: checking for BSD- or MS-compatible name lister (nm)
419	configure:7586: result: /opt/local/bin/nm
420	configure:7704: checking the name lister (/opt/local/bin/nm) interface
421	configure:7711: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
422	configure:7714: /opt/local/bin/nm "conftest.o"
423	configure:7717: output
424	0000000000000000 S _some_variable
425	configure:7724: result: BSD nm
426	configure:7728: checking the maximum length of command line arguments
427	configure:7848: result: 196608
428	configure:7865: checking whether the shell understands some XSI constructs
429	configure:7875: result: yes
430	configure:7879: checking whether the shell understands "+="
431	configure:7885: result: yes
432	configure:7920: checking for /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld option to reload object files
433	configure:7927: result: -r
434	configure:7996: checking for objdump
435	configure:8026: result: no
436	configure:8055: checking how to recognize dependent libraries
437	configure:8251: result: pass_all
438	configure:8311: checking for ar
439	configure:8327: found /opt/local/bin/ar
440	configure:8338: result: ar
441	configure:8416: checking for strip
442	configure:8432: found /opt/local/bin/strip
443	configure:8443: result: strip
444	configure:8515: checking for ranlib
445	configure:8531: found /opt/local/bin/ranlib
446	configure:8542: result: ranlib
447	configure:8632: checking command to parse /opt/local/bin/nm output from /usr/bin/clang object
448	configure:8750: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
449	configure:8753: $? = 0
450	configure:8757: /opt/local/bin/nm conftest.o \\| sed -n -e 's/^.[ ]$[BCDEGRST][BCDEGRST]$[ ][ ]$[_A-Za-z][_A-Za-z0-9]$$/\1 \2 \2/p' \> conftest.nm
451	configure:8760: $? = 0
452	cannot find nm_test_var in conftest.nm
453	configure:8750: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
454	configure:8753: $? = 0
455	configure:8757: /opt/local/bin/nm conftest.o \\| sed -n -e 's/^.[ ]$[BCDEGRST][BCDEGRST]$[ ][ ]_$[_A-Za-z][_A-Za-z0-9]$$/\1 _\2 \2/p' \> conftest.nm
456	configure:8760: $? = 0
457	configure:8814: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c conftstm.o >&5
458	configure:8817: $? = 0
459	configure:8855: result: ok
460	configure:9148: checking for dsymutil
461	configure:9164: found /usr/bin/dsymutil
462	configure:9175: result: dsymutil
463	configure:9240: checking for nmedit
464	configure:9256: found /opt/local/bin/nmedit
465	configure:9267: result: nmedit
466	configure:9332: checking for lipo
467	configure:9348: found /opt/local/bin/lipo
468	configure:9359: result: lipo
469	configure:9424: checking for otool
470	configure:9440: found /opt/local/bin/otool
471	configure:9451: result: otool
472	configure:9516: checking for otool64
473	configure:9546: result: no
474	configure:9591: checking for -single_module linker flag
475	/usr/bin/clang -fno-strict-aliasing -pipe -Os -arch x86_64 -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 -o libconftest.dylib -dynamiclib -Wl,-single_module conftest.c
476	configure:9618: result: yes
477	configure:9620: checking for -exported_symbols_list linker flag
478	configure:9650: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 -Wl,-exported_symbols_list,conftest.sym conftest.c >&5
479	configure:9657: $? = 0
480	configure:9679: result: yes
481	configure:9720: checking for dlfcn.h
482	configure:9741: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
483	configure:9748: $? = 0
484	configure:9765: result: yes
485	configure:9892: checking for C++ compiler version
486	configure:9900: /usr/bin/clang++ --version >&5
487	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
488	Target: x86_64-apple-darwin14.0.0
489	Thread model: posix
490	configure:9904: $? = 0
491	configure:9911: /usr/bin/clang++ -v >&5
492	Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
493	Target: x86_64-apple-darwin14.0.0
494	Thread model: posix
495	configure:9915: $? = 0
496	configure:9922: /usr/bin/clang++ -V >&5
497	clang: error: argument to '-V' is missing (expected 1 value)
498	clang: error: no input files
499	configure:9926: $? = 1
500	configure:9929: checking whether we are using the GNU C++ compiler
501	configure:9982: result: yes
502	configure:9991: checking whether /usr/bin/clang++ accepts -g
503	configure:10129: result: yes
504	configure:10154: checking dependency style of /usr/bin/clang++
505	configure:10264: result: gcc3
506	configure:10287: checking how to run the C++ preprocessor
507	configure:10401: result: /usr/bin/clang++ -E
508	configure:10430: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
509	configure:10437: $? = 0
510	configure:10468: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
511	conftest.cpp:29:10: fatal error: 'ac_nonexistent.h' file not found
512	#include <ac_nonexistent.h>
513	^
514	1 error generated.
515	configure:10475: $? = 1
516	configure: failed program was:
517	\| /* confdefs.h. */
518	\| #define PACKAGE_NAME "NuSMV"
519	\| #define PACKAGE_TARNAME "nusmv"
520	\| #define PACKAGE_VERSION "2.5.4"
521	\| #define PACKAGE_STRING "NuSMV 2.5.4"
522	\| #define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
523	\| #define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
524	\| #define LIBRARY_NAME "NuSMV"
525	\| #define LIBRARY_VERSION "2.5.4"
526	\| #define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
527	\| #define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
528	\| #define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
529	\| #define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
530	\| #define STDC_HEADERS 1
531	\| #define HAVE_SYS_TYPES_H 1
532	\| #define HAVE_SYS_STAT_H 1
533	\| #define HAVE_STDLIB_H 1
534	\| #define HAVE_STRING_H 1
535	\| #define HAVE_MEMORY_H 1
536	\| #define HAVE_STRINGS_H 1
537	\| #define HAVE_INTTYPES_H 1
538	\| #define HAVE_STDINT_H 1
539	\| #define HAVE_UNISTD_H 1
540	\| #define FUNCATTR_NORETURN __attribute__ ((noreturn))
541	\| #define HAVE_CPP 1
542	\| #define PROG_CPP "/usr/bin/clang -E -x c"
543	\| #define HAVE_DLFCN_H 1
544	\| /* end confdefs.h. */
545	\| #include <ac_nonexistent.h>
546	configure:10659: checking for objdir
547	configure:10674: result: .libs
548	configure:10966: checking if /usr/bin/clang supports -fno-rtti -fno-exceptions
549	configure:10984: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -fno-rtti -fno-exceptions conftest.c >&5
550	configure:10988: $? = 0
551	configure:11001: result: yes
552	configure:11021: checking for /usr/bin/clang option to produce PIC
553	configure:11293: result: -fno-common -DPIC
554	configure:11305: checking if /usr/bin/clang PIC flag -fno-common -DPIC works
555	configure:11323: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -fno-common -DPIC -DPIC conftest.c >&5
556	configure:11327: $? = 0
557	configure:11340: result: yes
558	configure:11364: checking if /usr/bin/clang static flag -static works
559	configure:11392: result: no
560	configure:11407: checking if /usr/bin/clang supports -c -o file.o
561	configure:11428: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -o out/conftest2.o conftest.c >&5
562	configure:11432: $? = 0
563	configure:11454: result: yes
564	configure:11462: checking if /usr/bin/clang supports -c -o file.o
565	configure:11509: result: yes
566	configure:11542: checking whether the /usr/bin/clang linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
567	configure:12616: result: yes
568	configure:12855: checking dynamic linker characteristics
569	configure:13541: result: darwin14.0.0 dyld
570	configure:13643: checking how to hardcode library paths into programs
571	configure:13668: result: immediate
572	configure:14501: checking whether stripping libraries is possible
573	configure:14515: result: yes
574	configure:14541: checking if libtool supports shared libraries
575	configure:14543: result: yes
576	configure:14546: checking whether to build shared libraries
577	configure:14567: result: no
578	configure:14570: checking whether to build static libraries
579	configure:14574: result: yes
580	configure:14724: checking for ld used by /usr/bin/clang++
581	configure:14791: result: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
582	configure:14800: checking if the linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) is GNU ld
583	configure:14815: result: no
584	configure:14870: checking whether the /usr/bin/clang++ linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
585	configure:15845: result: yes
586	configure:15873: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include conftest.cpp >&5
587	configure:15876: $? = 0
588	configure:16058: checking for /usr/bin/clang++ option to produce PIC
589	configure:16375: result: -fno-common -DPIC
590	configure:16384: checking if /usr/bin/clang++ PIC flag -fno-common -DPIC works
591	configure:16402: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -fno-common -DPIC -DPIC conftest.cpp >&5
592	configure:16406: $? = 0
593	configure:16419: result: yes
594	configure:16440: checking if /usr/bin/clang++ static flag -static works
595	configure:16468: result: no
596	configure:16480: checking if /usr/bin/clang++ supports -c -o file.o
597	configure:16501: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -o out/conftest2.o conftest.cpp >&5
598	configure:16505: $? = 0
599	configure:16527: result: yes
600	configure:16532: checking if /usr/bin/clang++ supports -c -o file.o
601	configure:16579: result: yes
602	configure:16609: checking whether the /usr/bin/clang++ linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
603	configure:16635: result: yes
604	configure:16772: checking dynamic linker characteristics
605	configure:17406: result: darwin14.0.0 dyld
606	configure:17457: checking how to hardcode library paths into programs
607	configure:17482: result: immediate
608	configure:17544: checking for bison
609	configure:17560: found /opt/local/bin/bison
610	configure:17571: result: bison -y
611	configure:17587: checking for flex
612	configure:17603: found /opt/local/bin/flex
613	configure:17614: result: flex
614	configure:17651: flex conftest.l
615	configure:17655: $? = 0
616	configure:17657: checking lex output file root
617	configure:17673: result: lex.yy
618	configure:17678: checking lex library
619	configure:17697: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
620	Undefined symbols for architecture x86_64:
621	"_yywrap", referenced from:
622	_yylex in conftest-d0ecfb.o
623	_main in conftest-d0ecfb.o
624	ld: symbol(s) not found for architecture x86_64
625	clang: error: linker command failed with exit code 1 (use -v to see invocation)
626	configure:17704: $? = 1
627	configure: failed program was:
628	\|
629	\| #line 3 "lex.yy.c"
630	\|
631	\| #define YY_INT_ALIGNED short int
632	\|
633	\| /* A lexical scanner generated by flex */
634	\|
635	\| #define FLEX_SCANNER
636	\| #define YY_FLEX_MAJOR_VERSION 2
637	\| #define YY_FLEX_MINOR_VERSION 5
638	\| #define YY_FLEX_SUBMINOR_VERSION 37
639	\| #if YY_FLEX_SUBMINOR_VERSION > 0
640	\| #define FLEX_BETA
641	\| #endif
642	\|
643	\| /* First, we deal with platform-specific or compiler-specific issues. */
644	\|
645	\| /* begin standard C headers. */
646	\| #include <stdio.h>
647	\| #include <string.h>
648	\| #include <errno.h>
649	\| #include <stdlib.h>
650	\|
651	\| /* end standard C headers. */
652	\|
653	\| /* flex integer type definitions */
654	\|
655	\| #ifndef FLEXINT_H
656	\| #define FLEXINT_H
657	\|
658	\| /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
659	\|
660	\| #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
661	\|
662	\| /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
663	\| * if you want the limit (max/min) macros for int types.
664	\| */
665	\| #ifndef __STDC_LIMIT_MACROS
666	\| #define __STDC_LIMIT_MACROS 1
667	\| #endif
668	\|
669	\| #include <inttypes.h>
670	\| typedef int8_t flex_int8_t;
671	\| typedef uint8_t flex_uint8_t;
672	\| typedef int16_t flex_int16_t;
673	\| typedef uint16_t flex_uint16_t;
674	\| typedef int32_t flex_int32_t;
675	\| typedef uint32_t flex_uint32_t;
676	\| #else
677	\| typedef signed char flex_int8_t;
678	\| typedef short int flex_int16_t;
679	\| typedef int flex_int32_t;
680	\| typedef unsigned char flex_uint8_t;
681	\| typedef unsigned short int flex_uint16_t;
682	\| typedef unsigned int flex_uint32_t;
683	\|
684	\| /* Limits of integral types. */
685	\| #ifndef INT8_MIN
686	\| #define INT8_MIN (-128)
687	\| #endif
688	\| #ifndef INT16_MIN
689	\| #define INT16_MIN (-32767-1)
690	\| #endif
691	\| #ifndef INT32_MIN
692	\| #define INT32_MIN (-2147483647-1)
693	\| #endif
694	\| #ifndef INT8_MAX
695	\| #define INT8_MAX (127)
696	\| #endif
697	\| #ifndef INT16_MAX
698	\| #define INT16_MAX (32767)
699	\| #endif
700	\| #ifndef INT32_MAX
701	\| #define INT32_MAX (2147483647)
702	\| #endif
703	\| #ifndef UINT8_MAX
704	\| #define UINT8_MAX (255U)
705	\| #endif
706	\| #ifndef UINT16_MAX
707	\| #define UINT16_MAX (65535U)
708	\| #endif
709	\| #ifndef UINT32_MAX
710	\| #define UINT32_MAX (4294967295U)
711	\| #endif
712	\|
713	\| #endif /* ! C99 */
714	\|
715	\| #endif /* ! FLEXINT_H */
716	\|
717	\| #ifdef __cplusplus
718	\|
719	\| /* The "const" storage-class-modifier is valid. */
720	\| #define YY_USE_CONST
721	\|
722	\| #else /* ! __cplusplus */
723	\|
724	\| /* C99 requires __STDC__ to be defined as 1. */
725	\| #if defined (__STDC__)
726	\|
727	\| #define YY_USE_CONST
728	\|
729	\| #endif /* defined (__STDC__) */
730	\| #endif /* ! __cplusplus */
731	\|
732	\| #ifdef YY_USE_CONST
733	\| #define yyconst const
734	\| #else
735	\| #define yyconst
736	\| #endif
737	\|
738	\| /* Returned upon end-of-file. */
739	\| #define YY_NULL 0
740	\|
741	\| /* Promotes a possibly negative, possibly signed char to an unsigned
742	\| * integer for use as an array index. If the signed char is negative,
743	\| * we want to instead treat it as an 8-bit unsigned char, hence the
744	\| * double cast.
745	\| */
746	\| #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
747	\|
748	\| /* Enter a start condition. This macro really ought to take a parameter,
749	\| * but we do it the disgusting crufty way forced on us by the ()-less
750	\| * definition of BEGIN.
751	\| */
752	\| #define BEGIN (yy_start) = 1 + 2 *
753	\|
754	\| /* Translate the current start state into a value that can be later handed
755	\| * to BEGIN to return to the state. The YYSTATE alias is for lex
756	\| * compatibility.
757	\| */
758	\| #define YY_START (((yy_start) - 1) / 2)
759	\| #define YYSTATE YY_START
760	\|
761	\| /* Action number for EOF rule of a given start state. */
762	\| #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
763	\|
764	\| /* Special action meaning "start processing a new file". */
765	\| #define YY_NEW_FILE yyrestart(yyin )
766	\|
767	\| #define YY_END_OF_BUFFER_CHAR 0
768	\|
769	\| /* Size of default input buffer. */
770	\| #ifndef YY_BUF_SIZE
771	\| #define YY_BUF_SIZE 16384
772	\| #endif
773	\|
774	\| /* The state buf must be large enough to hold one state per character in the main buffer.
775	\| */
776	\| #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
777	\|
778	\| #ifndef YY_TYPEDEF_YY_BUFFER_STATE
779	\| #define YY_TYPEDEF_YY_BUFFER_STATE
780	\| typedef struct yy_buffer_state *YY_BUFFER_STATE;
781	\| #endif
782	\|
783	\| #ifndef YY_TYPEDEF_YY_SIZE_T
784	\| #define YY_TYPEDEF_YY_SIZE_T
785	\| typedef size_t yy_size_t;
786	\| #endif
787	\|
788	\| extern yy_size_t yyleng;
789	\|
790	\| extern FILE yyin, yyout;
791	\|
792	\| #define EOB_ACT_CONTINUE_SCAN 0
793	\| #define EOB_ACT_END_OF_FILE 1
794	\| #define EOB_ACT_LAST_MATCH 2
795	\|
796	\| #define YY_LESS_LINENO(n)
797	\|
798	\| /* Return all but the first "n" matched characters back to the input stream. */
799	\| #define yyless(n) \
800	\| do \
801	\| { \
802	\| /* Undo effects of setting up yytext. */ \
803	\| int yyless_macro_arg = (n); \
804	\| YY_LESS_LINENO(yyless_macro_arg);\
805	\| *yy_cp = (yy_hold_char); \
806	\| YY_RESTORE_YY_MORE_OFFSET \
807	\| (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
808	\| YY_DO_BEFORE_ACTION; /* set up yytext again */ \
809	\| } \
810	\| while ( 0 )
811	\|
812	\| #define unput(c) yyunput( c, (yytext_ptr) )
813	\|
814	\| #ifndef YY_STRUCT_YY_BUFFER_STATE
815	\| #define YY_STRUCT_YY_BUFFER_STATE
816	\| struct yy_buffer_state
817	\| {
818	\| FILE *yy_input_file;
819	\|
820	\| char yy_ch_buf; / input buffer */
821	\| char yy_buf_pos; / current position in input buffer */
822	\|
823	\| /* Size of input buffer in bytes, not including room for EOB
824	\| * characters.
825	\| */
826	\| yy_size_t yy_buf_size;
827	\|
828	\| /* Number of characters read into yy_ch_buf, not including EOB
829	\| * characters.
830	\| */
831	\| yy_size_t yy_n_chars;
832	\|
833	\| /* Whether we "own" the buffer - i.e., we know we created it,
834	\| * and can realloc() it to grow it, and should free() it to
835	\| * delete it.
836	\| */
837	\| int yy_is_our_buffer;
838	\|
839	\| /* Whether this is an "interactive" input source; if so, and
840	\| * if we're using stdio for input, then we want to use getc()
841	\| * instead of fread(), to make sure we stop fetching input after
842	\| * each newline.
843	\| */
844	\| int yy_is_interactive;
845	\|
846	\| /* Whether we're considered to be at the beginning of a line.
847	\| * If so, '^' rules will be active on the next match, otherwise
848	\| * not.
849	\| */
850	\| int yy_at_bol;
851	\|
852	\| int yy_bs_lineno; /*< The line count. /
853	\| int yy_bs_column; /*< The column count. /
854	\|
855	\| /* Whether to try to fill the input buffer when we reach the
856	\| * end of it.
857	\| */
858	\| int yy_fill_buffer;
859	\|
860	\| int yy_buffer_status;
861	\|
862	\| #define YY_BUFFER_NEW 0
863	\| #define YY_BUFFER_NORMAL 1
864	\| /* When an EOF's been seen but there's still some text to process
865	\| * then we mark the buffer as YY_EOF_PENDING, to indicate that we
866	\| * shouldn't try reading from the input source any more. We might
867	\| * still have a bunch of tokens to match, though, because of
868	\| * possible backing-up.
869	\| *
870	\| * When we actually see the EOF, we change the status to "new"
871	\| * (via yyrestart()), so that the user can continue scanning by
872	\| * just pointing yyin at a new input file.
873	\| */
874	\| #define YY_BUFFER_EOF_PENDING 2
875	\|
876	\| };
877	\| #endif /* !YY_STRUCT_YY_BUFFER_STATE */
878	\|
879	\| /* Stack of input buffers. */
880	\| static size_t yy_buffer_stack_top = 0; /*< index of top of stack. /
881	\| static size_t yy_buffer_stack_max = 0; /*< capacity of stack. /
882	\| static YY_BUFFER_STATE * yy_buffer_stack = 0; /*< Stack as an array. /
883	\|
884	\| /* We provide macros for accessing buffer states in case in the
885	\| * future we want to put the buffer states in a more general
886	\| * "scanner state".
887	\| *
888	\| * Returns the top of the stack, or NULL.
889	\| */
890	\| #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
891	\| ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
892	\| : NULL)
893	\|
894	\| /* Same as previous macro, but useful when we know that the buffer stack is not
895	\| * NULL or when we need an lvalue. For internal use only.
896	\| */
897	\| #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
898	\|
899	\| /* yy_hold_char holds the character lost when yytext is formed. */
900	\| static char yy_hold_char;
901	\| static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
902	\| yy_size_t yyleng;
903	\|
904	\| /* Points to current character in buffer. */
905	\| static char yy_c_buf_p = (char ) 0;
906	\| static int yy_init = 0; /* whether we need to initialize */
907	\| static int yy_start = 0; /* start state number */
908	\|
909	\| /* Flag which is used to allow yywrap()'s to do buffer switches
910	\| * instead of setting up a fresh yyin. A bit of a hack ...
911	\| */
912	\| static int yy_did_buffer_switch_on_eof;
913	\|
914	\| void yyrestart (FILE *input_file );
915	\| void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer );
916	\| YY_BUFFER_STATE yy_create_buffer (FILE *file,int size );
917	\| void yy_delete_buffer (YY_BUFFER_STATE b );
918	\| void yy_flush_buffer (YY_BUFFER_STATE b );
919	\| void yypush_buffer_state (YY_BUFFER_STATE new_buffer );
920	\| void yypop_buffer_state (void );
921	\|
922	\| static void yyensure_buffer_stack (void );
923	\| static void yy_load_buffer_state (void );
924	\| static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file );
925	\|
926	\| #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
927	\|
928	\| YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size );
929	\| YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str );
930	\| YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len );
931	\|
932	\| void *yyalloc (yy_size_t );
933	\| void yyrealloc (void ,yy_size_t );
934	\| void yyfree (void * );
935	\|
936	\| #define yy_new_buffer yy_create_buffer
937	\|
938	\| #define yy_set_interactive(is_interactive) \
939	\| { \
940	\| if ( ! YY_CURRENT_BUFFER ){ \
941	\| yyensure_buffer_stack (); \
942	\| YY_CURRENT_BUFFER_LVALUE = \
943	\| yy_create_buffer(yyin,YY_BUF_SIZE ); \
944	\| } \
945	\| YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
946	\| }
947	\|
948	\| #define yy_set_bol(at_bol) \
949	\| { \
950	\| if ( ! YY_CURRENT_BUFFER ){\
951	\| yyensure_buffer_stack (); \
952	\| YY_CURRENT_BUFFER_LVALUE = \
953	\| yy_create_buffer(yyin,YY_BUF_SIZE ); \
954	\| } \
955	\| YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
956	\| }
957	\|
958	\| #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
959	\|
960	\| /* Begin user sect3 */
961	\|
962	\| typedef unsigned char YY_CHAR;
963	\|
964	\| FILE yyin = (FILE ) 0, yyout = (FILE ) 0;
965	\|
966	\| typedef int yy_state_type;
967	\|
968	\| extern int yylineno;
969	\|
970	\| int yylineno = 1;
971	\|
972	\| extern char *yytext;
973	\| #define yytext_ptr yytext
974	\|
975	\| static yy_state_type yy_get_previous_state (void );
976	\| static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
977	\| static int yy_get_next_buffer (void );
978	\| static void yy_fatal_error (yyconst char msg[] );
979	\|
980	\| /* Done after the current pattern has been matched and before the
981	\| * corresponding action - sets up yytext.
982	\| */
983	\| #define YY_DO_BEFORE_ACTION \
984	\| (yytext_ptr) = yy_bp; \
985	\| (yytext_ptr) -= (yy_more_len); \
986	\| yyleng = (size_t) (yy_cp - (yytext_ptr)); \
987	\| (yy_hold_char) = *yy_cp; \
988	\| *yy_cp = '\0'; \
989	\| (yy_c_buf_p) = yy_cp;
990	\|
991	\| #define YY_NUM_RULES 8
992	\| #define YY_END_OF_BUFFER 9
993	\| /* This struct is not used in this scanner,
994	\| but its presence is necessary. */
995	\| struct yy_trans_info
996	\| {
997	\| flex_int32_t yy_verify;
998	\| flex_int32_t yy_nxt;
999	\| };
1000	\| static yyconst flex_int16_t yy_acclist[23] =
1001	\| { 0,
1002	\| 9, 7, 8, 8, 1, 7, 8, 2, 7, 8,
1003	\| 3, 7, 8, 4, 7, 8, 5, 7, 8, 6,
1004	\| 7, 8
1005	\| } ;
1006	\|
1007	\| static yyconst flex_int16_t yy_accept[14] =
1008	\| { 0,
1009	\| 1, 1, 1, 2, 4, 5, 8, 11, 14, 17,
1010	\| 20, 23, 23
1011	\| } ;
1012	\|
1013	\| static yyconst flex_int32_t yy_ec[256] =
1014	\| { 0,
1015	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
1016	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1017	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1018	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1019	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1020	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1021	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1022	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1023	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1024	\| 1, 1, 1, 1, 1, 1, 3, 4, 5, 6,
1025	\|
1026	\| 7, 8, 1, 1, 1, 1, 1, 1, 1, 1,
1027	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1028	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1029	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1030	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1031	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1032	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1033	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1034	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1035	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1036	\|
1037	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1038	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1039	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1040	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1041	\| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1042	\| 1, 1, 1, 1, 1
1043	\| } ;
1044	\|
1045	\| static yyconst flex_int32_t yy_meta[9] =
1046	\| { 0,
1047	\| 1, 1, 1, 1, 1, 1, 1, 1
1048	\| } ;
1049	\|
1050	\| static yyconst flex_int16_t yy_base[13] =
1051	\| { 0,
1052	\| 0, 0, 9, 10, 10, 10, 10, 10, 10, 10,
1053	\| 10, 10
1054	\| } ;
1055	\|
1056	\| static yyconst flex_int16_t yy_def[13] =
1057	\| { 0,
1058	\| 12, 1, 12, 12, 12, 12, 12, 12, 12, 12,
1059	\| 12, 0
1060	\| } ;
1061	\|
1062	\| static yyconst flex_int16_t yy_nxt[19] =
1063	\| { 0,
1064	\| 4, 5, 6, 7, 8, 9, 10, 11, 12, 3,
1065	\| 12, 12, 12, 12, 12, 12, 12, 12
1066	\| } ;
1067	\|
1068	\| static yyconst flex_int16_t yy_chk[19] =
1069	\| { 0,
1070	\| 1, 1, 1, 1, 1, 1, 1, 1, 3, 12,
1071	\| 12, 12, 12, 12, 12, 12, 12, 12
1072	\| } ;
1073	\|
1074	\| extern int yy_flex_debug;
1075	\| int yy_flex_debug = 0;
1076	\|
1077	\| static yy_state_type yy_state_buf=0, yy_state_ptr=0;
1078	\| static char *yy_full_match;
1079	\| static int yy_lp;
1080	\| #define REJECT \
1081	\| { \
1082	\| yy_cp = (yy_hold_char); / undo effects of setting up yytext */ \
1083	\| yy_cp = (yy_full_match); /* restore poss. backed-over text */ \
1084	\| ++(yy_lp); \
1085	\| goto find_rule; \
1086	\| }
1087	\|
1088	\| static int yy_more_flag = 0;
1089	\| static int yy_more_len = 0;
1090	\| #define yymore() ((yy_more_flag) = 1)
1091	\| #define YY_MORE_ADJ (yy_more_len)
1092	\| #define YY_RESTORE_YY_MORE_OFFSET
1093	\| char *yytext;
1094	\| #line 1 "conftest.l"
1095	\| #line 469 "lex.yy.c"
1096	\|
1097	\| #define INITIAL 0
1098	\|
1099	\| #ifndef YY_NO_UNISTD_H
1100	\| /* Special case for "unistd.h", since it is non-ANSI. We include it way
1101	\| * down here because we want the user's section 1 to have been scanned first.
1102	\| * The user has a chance to override it with an option.
1103	\| */
1104	\| #include <unistd.h>
1105	\| #endif
1106	\|
1107	\| #ifndef YY_EXTRA_TYPE
1108	\| #define YY_EXTRA_TYPE void *
1109	\| #endif
1110	\|
1111	\| static int yy_init_globals (void );
1112	\|
1113	\| /* Accessor methods to globals.
1114	\| These are made visible to non-reentrant scanners for convenience. */
1115	\|
1116	\| int yylex_destroy (void );
1117	\|
1118	\| int yyget_debug (void );
1119	\|
1120	\| void yyset_debug (int debug_flag );
1121	\|
1122	\| YY_EXTRA_TYPE yyget_extra (void );
1123	\|
1124	\| void yyset_extra (YY_EXTRA_TYPE user_defined );
1125	\|
1126	\| FILE *yyget_in (void );
1127	\|
1128	\| void yyset_in (FILE * in_str );
1129	\|
1130	\| FILE *yyget_out (void );
1131	\|
1132	\| void yyset_out (FILE * out_str );
1133	\|
1134	\| yy_size_t yyget_leng (void );
1135	\|
1136	\| char *yyget_text (void );
1137	\|
1138	\| int yyget_lineno (void );
1139	\|
1140	\| void yyset_lineno (int line_number );
1141	\|
1142	\| /* Macros after this point can all be overridden by user definitions in
1143	\| * section 1.
1144	\| */
1145	\|
1146	\| #ifndef YY_SKIP_YYWRAP
1147	\| #ifdef __cplusplus
1148	\| extern "C" int yywrap (void );
1149	\| #else
1150	\| extern int yywrap (void );
1151	\| #endif
1152	\| #endif
1153	\|
1154	\| static void yyunput (int c,char *buf_ptr );
1155	\|
1156	\| #ifndef yytext_ptr
1157	\| static void yy_flex_strncpy (char ,yyconst char ,int );
1158	\| #endif
1159	\|
1160	\| #ifdef YY_NEED_STRLEN
1161	\| static int yy_flex_strlen (yyconst char * );
1162	\| #endif
1163	\|
1164	\| #ifndef YY_NO_INPUT
1165	\|
1166	\| #ifdef __cplusplus
1167	\| static int yyinput (void );
1168	\| #else
1169	\| static int input (void );
1170	\| #endif
1171	\|
1172	\| #endif
1173	\|
1174	\| /* Amount of stuff to slurp up with each read. */
1175	\| #ifndef YY_READ_BUF_SIZE
1176	\| #define YY_READ_BUF_SIZE 8192
1177	\| #endif
1178	\|
1179	\| /* Copy whatever the last rule matched to the standard output. */
1180	\| #ifndef ECHO
1181	\| /* This used to be an fputs(), but since the string might contain NUL's,
1182	\| * we now use fwrite().
1183	\| */
1184	\| #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
1185	\| #endif
1186	\|
1187	\| /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
1188	\| * is returned in "result".
1189	\| */
1190	\| #ifndef YY_INPUT
1191	\| #define YY_INPUT(buf,result,max_size) \
1192	\| if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
1193	\| { \
1194	\| int c = '*'; \
1195	\| size_t n; \
1196	\| for ( n = 0; n < max_size && \
1197	\| (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
1198	\| buf[n] = (char) c; \
1199	\| if ( c == '\n' ) \
1200	\| buf[n++] = (char) c; \
1201	\| if ( c == EOF && ferror( yyin ) ) \
1202	\| YY_FATAL_ERROR( "input in flex scanner failed" ); \
1203	\| result = n; \
1204	\| } \
1205	\| else \
1206	\| { \
1207	\| errno=0; \
1208	\| while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \
1209	\| { \
1210	\| if( errno != EINTR) \
1211	\| { \
1212	\| YY_FATAL_ERROR( "input in flex scanner failed" ); \
1213	\| break; \
1214	\| } \
1215	\| errno=0; \
1216	\| clearerr(yyin); \
1217	\| } \
1218	\| }\
1219	\| \
1220	\|
1221	\| #endif
1222	\|
1223	\| /* No semi-colon after return; correct usage is to write "yyterminate();" -
1224	\| * we don't want an extra ';' after the "return" because that will cause
1225	\| * some compilers to complain about unreachable statements.
1226	\| */
1227	\| #ifndef yyterminate
1228	\| #define yyterminate() return YY_NULL
1229	\| #endif
1230	\|
1231	\| /* Number of entries by which start-condition stack grows. */
1232	\| #ifndef YY_START_STACK_INCR
1233	\| #define YY_START_STACK_INCR 25
1234	\| #endif
1235	\|
1236	\| /* Report a fatal error. */
1237	\| #ifndef YY_FATAL_ERROR
1238	\| #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
1239	\| #endif
1240	\|
1241	\| /* end tables serialization structures and prototypes */
1242	\|
1243	\| /* Default declaration of generated scanner - a define so the user can
1244	\| * easily add parameters.
1245	\| */
1246	\| #ifndef YY_DECL
1247	\| #define YY_DECL_IS_OURS 1
1248	\|
1249	\| extern int yylex (void);
1250	\|
1251	\| #define YY_DECL int yylex (void)
1252	\| #endif /* !YY_DECL */
1253	\|
1254	\| /* Code executed at the beginning of each rule, after yytext and yyleng
1255	\| * have been set up.
1256	\| */
1257	\| #ifndef YY_USER_ACTION
1258	\| #define YY_USER_ACTION
1259	\| #endif
1260	\|
1261	\| /* Code executed at the end of each rule. */
1262	\| #ifndef YY_BREAK
1263	\| #define YY_BREAK break;
1264	\| #endif
1265	\|
1266	\| #define YY_RULE_SETUP \
1267	\| YY_USER_ACTION
1268	\|
1269	\| /** The main scanner function which does all the work.
1270	\| */
1271	\| YY_DECL
1272	\| {
1273	\| register yy_state_type yy_current_state;
1274	\| register char yy_cp, yy_bp;
1275	\| register int yy_act;
1276	\|
1277	\| #line 1 "conftest.l"
1278	\|
1279	\| #line 653 "lex.yy.c"
1280	\|
1281	\| if ( !(yy_init) )
1282	\| {
1283	\| (yy_init) = 1;
1284	\|
1285	\| #ifdef YY_USER_INIT
1286	\| YY_USER_INIT;
1287	\| #endif
1288	\|
1289	\| /* Create the reject buffer large enough to save one state per allowed character. */
1290	\| if ( ! (yy_state_buf) )
1291	\| (yy_state_buf) = (yy_state_type *)yyalloc(YY_STATE_BUF_SIZE );
1292	\| if ( ! (yy_state_buf) )
1293	\| YY_FATAL_ERROR( "out of dynamic memory in yylex()" );
1294	\|
1295	\| if ( ! (yy_start) )
1296	\| (yy_start) = 1; /* first start state */
1297	\|
1298	\| if ( ! yyin )
1299	\| yyin = stdin;
1300	\|
1301	\| if ( ! yyout )
1302	\| yyout = stdout;
1303	\|
1304	\| if ( ! YY_CURRENT_BUFFER ) {
1305	\| yyensure_buffer_stack ();
1306	\| YY_CURRENT_BUFFER_LVALUE =
1307	\| yy_create_buffer(yyin,YY_BUF_SIZE );
1308	\| }
1309	\|
1310	\| yy_load_buffer_state( );
1311	\| }
1312	\|
1313	\| while ( 1 ) /* loops until end-of-file is reached */
1314	\| {
1315	\| (yy_more_len) = 0;
1316	\| if ( (yy_more_flag) )
1317	\| {
1318	\| (yy_more_len) = (yy_c_buf_p) - (yytext_ptr);
1319	\| (yy_more_flag) = 0;
1320	\| }
1321	\| yy_cp = (yy_c_buf_p);
1322	\|
1323	\| /* Support of yytext. */
1324	\| *yy_cp = (yy_hold_char);
1325	\|
1326	\| /* yy_bp points to the position in yy_ch_buf of the start of
1327	\| * the current run.
1328	\| */
1329	\| yy_bp = yy_cp;
1330	\|
1331	\| yy_current_state = (yy_start);
1332	\|
1333	\| (yy_state_ptr) = (yy_state_buf);
1334	\| *(yy_state_ptr)++ = yy_current_state;
1335	\|
1336	\| yy_match:
1337	\| do
1338	\| {
1339	\| register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
1340	\| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1341	\| {
1342	\| yy_current_state = (int) yy_def[yy_current_state];
1343	\| if ( yy_current_state >= 13 )
1344	\| yy_c = yy_meta[(unsigned int) yy_c];
1345	\| }
1346	\| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1347	\| *(yy_state_ptr)++ = yy_current_state;
1348	\| ++yy_cp;
1349	\| }
1350	\| while ( yy_base[yy_current_state] != 10 );
1351	\|
1352	\| yy_find_action:
1353	\| yy_current_state = *--(yy_state_ptr);
1354	\| (yy_lp) = yy_accept[yy_current_state];
1355	\| find_rule: /* we branch to this label when backing up */
1356	\| for ( ; ; ) /* until we find what rule we matched */
1357	\| {
1358	\| if ( (yy_lp) && (yy_lp) < yy_accept[yy_current_state + 1] )
1359	\| {
1360	\| yy_act = yy_acclist[(yy_lp)];
1361	\| {
1362	\| (yy_full_match) = yy_cp;
1363	\| break;
1364	\| }
1365	\| }
1366	\| --yy_cp;
1367	\| yy_current_state = *--(yy_state_ptr);
1368	\| (yy_lp) = yy_accept[yy_current_state];
1369	\| }
1370	\|
1371	\| YY_DO_BEFORE_ACTION;
1372	\|
1373	\| do_action: /* This label is used only to access EOF actions. */
1374	\|
1375	\| switch ( yy_act )
1376	\| { /* beginning of action switch */
1377	\| case 1:
1378	\| YY_RULE_SETUP
1379	\| #line 2 "conftest.l"
1380	\| { ECHO; }
1381	\| YY_BREAK
1382	\| case 2:
1383	\| YY_RULE_SETUP
1384	\| #line 3 "conftest.l"
1385	\| { REJECT; }
1386	\| YY_BREAK
1387	\| case 3:
1388	\| YY_RULE_SETUP
1389	\| #line 4 "conftest.l"
1390	\| { yymore (); }
1391	\| YY_BREAK
1392	\| case 4:
1393	\| YY_RULE_SETUP
1394	\| #line 5 "conftest.l"
1395	\| { yyless (1); }
1396	\| YY_BREAK
1397	\| case 5:
1398	\| YY_RULE_SETUP
1399	\| #line 6 "conftest.l"
1400	\| { yyless (input () != 0); }
1401	\| YY_BREAK
1402	\| case 6:
1403	\| YY_RULE_SETUP
1404	\| #line 7 "conftest.l"
1405	\| { unput (yytext[0]); }
1406	\| YY_BREAK
1407	\| case 7:
1408	\| YY_RULE_SETUP
1409	\| #line 8 "conftest.l"
1410	\| { BEGIN INITIAL; }
1411	\| YY_BREAK
1412	\| case 8:
1413	\| YY_RULE_SETUP
1414	\| #line 9 "conftest.l"
1415	\| ECHO;
1416	\| YY_BREAK
1417	\| #line 791 "lex.yy.c"
1418	\| case YY_STATE_EOF(INITIAL):
1419	\| yyterminate();
1420	\|
1421	\| case YY_END_OF_BUFFER:
1422	\| {
1423	\| /* Amount of text matched not including the EOB char. */
1424	\| int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
1425	\|
1426	\| /* Undo the effects of YY_DO_BEFORE_ACTION. */
1427	\| *yy_cp = (yy_hold_char);
1428	\| YY_RESTORE_YY_MORE_OFFSET
1429	\|
1430	\| if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
1431	\| {
1432	\| /* We're scanning a new file or input source. It's
1433	\| * possible that this happened because the user
1434	\| * just pointed yyin at a new source and called
1435	\| * yylex(). If so, then we have to assure
1436	\| * consistency between YY_CURRENT_BUFFER and our
1437	\| * globals. Here is the right place to do so, because
1438	\| * this is the first action (other than possibly a
1439	\| * back-up) that will match for the new input source.
1440	\| */
1441	\| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1442	\| YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
1443	\| YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
1444	\| }
1445	\|
1446	\| /* Note that here we test for yy_c_buf_p "<=" to the position
1447	\| * of the first EOB in the buffer, since yy_c_buf_p will
1448	\| * already have been incremented past the NUL character
1449	\| * (since all states make transitions on EOB to the
1450	\| * end-of-buffer state). Contrast this with the test
1451	\| * in input().
1452	\| */
1453	\| if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1454	\| { /* This was really a NUL. */
1455	\| yy_state_type yy_next_state;
1456	\|
1457	\| (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
1458	\|
1459	\| yy_current_state = yy_get_previous_state( );
1460	\|
1461	\| /* Okay, we're now positioned to make the NUL
1462	\| * transition. We couldn't have
1463	\| * yy_get_previous_state() go ahead and do it
1464	\| * for us because it doesn't know how to deal
1465	\| * with the possibility of jamming (and we don't
1466	\| * want to build jamming into it because then it
1467	\| * will run more slowly).
1468	\| */
1469	\|
1470	\| yy_next_state = yy_try_NUL_trans( yy_current_state );
1471	\|
1472	\| yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1473	\|
1474	\| if ( yy_next_state )
1475	\| {
1476	\| /* Consume the NUL. */
1477	\| yy_cp = ++(yy_c_buf_p);
1478	\| yy_current_state = yy_next_state;
1479	\| goto yy_match;
1480	\| }
1481	\|
1482	\| else
1483	\| {
1484	\| yy_cp = (yy_c_buf_p);
1485	\| goto yy_find_action;
1486	\| }
1487	\| }
1488	\|
1489	\| else switch ( yy_get_next_buffer( ) )
1490	\| {
1491	\| case EOB_ACT_END_OF_FILE:
1492	\| {
1493	\| (yy_did_buffer_switch_on_eof) = 0;
1494	\|
1495	\| if ( yywrap( ) )
1496	\| {
1497	\| /* Note: because we've taken care in
1498	\| * yy_get_next_buffer() to have set up
1499	\| * yytext, we can now set up
1500	\| * yy_c_buf_p so that if some total
1501	\| * hoser (like flex itself) wants to
1502	\| * call the scanner after we return the
1503	\| * YY_NULL, it'll still work - another
1504	\| * YY_NULL will get returned.
1505	\| */
1506	\| (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1507	\|
1508	\| yy_act = YY_STATE_EOF(YY_START);
1509	\| goto do_action;
1510	\| }
1511	\|
1512	\| else
1513	\| {
1514	\| if ( ! (yy_did_buffer_switch_on_eof) )
1515	\| YY_NEW_FILE;
1516	\| }
1517	\| break;
1518	\| }
1519	\|
1520	\| case EOB_ACT_CONTINUE_SCAN:
1521	\| (yy_c_buf_p) =
1522	\| (yytext_ptr) + yy_amount_of_matched_text;
1523	\|
1524	\| yy_current_state = yy_get_previous_state( );
1525	\|
1526	\| yy_cp = (yy_c_buf_p);
1527	\| yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1528	\| goto yy_match;
1529	\|
1530	\| case EOB_ACT_LAST_MATCH:
1531	\| (yy_c_buf_p) =
1532	\| &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1533	\|
1534	\| yy_current_state = yy_get_previous_state( );
1535	\|
1536	\| yy_cp = (yy_c_buf_p);
1537	\| yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1538	\| goto yy_find_action;
1539	\| }
1540	\| break;
1541	\| }
1542	\|
1543	\| default:
1544	\| YY_FATAL_ERROR(
1545	\| "fatal flex scanner internal error--no action found" );
1546	\| } /* end of action switch */
1547	\| } /* end of scanning one token */
1548	\| } /* end of yylex */
1549	\|
1550	\| /* yy_get_next_buffer - try to read in a new buffer
1551	\| *
1552	\| * Returns a code representing an action:
1553	\| * EOB_ACT_LAST_MATCH -
1554	\| * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1555	\| * EOB_ACT_END_OF_FILE - end of file
1556	\| */
1557	\| static int yy_get_next_buffer (void)
1558	\| {
1559	\| register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1560	\| register char *source = (yytext_ptr);
1561	\| register int number_to_move, i;
1562	\| int ret_val;
1563	\|
1564	\| if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1565	\| YY_FATAL_ERROR(
1566	\| "fatal flex scanner internal error--end of buffer missed" );
1567	\|
1568	\| if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1569	\| { /* Don't try to fill the buffer, so this is an EOF. */
1570	\| if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1571	\| {
1572	\| /* We matched a single character, the EOB, so
1573	\| * treat this as a final EOF.
1574	\| */
1575	\| return EOB_ACT_END_OF_FILE;
1576	\| }
1577	\|
1578	\| else
1579	\| {
1580	\| /* We matched some text prior to the EOB, first
1581	\| * process it.
1582	\| */
1583	\| return EOB_ACT_LAST_MATCH;
1584	\| }
1585	\| }
1586	\|
1587	\| /* Try to read more data. */
1588	\|
1589	\| /* First move last chars to start of buffer. */
1590	\| number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1591	\|
1592	\| for ( i = 0; i < number_to_move; ++i )
1593	\| (dest++) = (source++);
1594	\|
1595	\| if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1596	\| /* don't do the read, it's not guaranteed to return an EOF,
1597	\| * just force an EOF
1598	\| */
1599	\| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1600	\|
1601	\| else
1602	\| {
1603	\| yy_size_t num_to_read =
1604	\| YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1605	\|
1606	\| while ( num_to_read <= 0 )
1607	\| { /* Not enough room in the buffer - grow it. */
1608	\|
1609	\| YY_FATAL_ERROR(
1610	\| "input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
1611	\|
1612	\| }
1613	\|
1614	\| if ( num_to_read > YY_READ_BUF_SIZE )
1615	\| num_to_read = YY_READ_BUF_SIZE;
1616	\|
1617	\| /* Read in more data. */
1618	\| YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1619	\| (yy_n_chars), num_to_read );
1620	\|
1621	\| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1622	\| }
1623	\|
1624	\| if ( (yy_n_chars) == 0 )
1625	\| {
1626	\| if ( number_to_move == YY_MORE_ADJ )
1627	\| {
1628	\| ret_val = EOB_ACT_END_OF_FILE;
1629	\| yyrestart(yyin );
1630	\| }
1631	\|
1632	\| else
1633	\| {
1634	\| ret_val = EOB_ACT_LAST_MATCH;
1635	\| YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1636	\| YY_BUFFER_EOF_PENDING;
1637	\| }
1638	\| }
1639	\|
1640	\| else
1641	\| ret_val = EOB_ACT_CONTINUE_SCAN;
1642	\|
1643	\| if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1644	\| /* Extend the array by 50%, plus the number we really need. */
1645	\| yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1646	\| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char ) yyrealloc((void ) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
1647	\| if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1648	\| YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1649	\| }
1650	\|
1651	\| (yy_n_chars) += number_to_move;
1652	\| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1653	\| YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1654	\|
1655	\| (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1656	\|
1657	\| return ret_val;
1658	\| }
1659	\|
1660	\| /* yy_get_previous_state - get the state just before the EOB char was reached */
1661	\|
1662	\| static yy_state_type yy_get_previous_state (void)
1663	\| {
1664	\| register yy_state_type yy_current_state;
1665	\| register char *yy_cp;
1666	\|
1667	\| yy_current_state = (yy_start);
1668	\|
1669	\| (yy_state_ptr) = (yy_state_buf);
1670	\| *(yy_state_ptr)++ = yy_current_state;
1671	\|
1672	\| for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1673	\| {
1674	\| register YY_CHAR yy_c = (yy_cp ? yy_ec[YY_SC_TO_UI(yy_cp)] : 1);
1675	\| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1676	\| {
1677	\| yy_current_state = (int) yy_def[yy_current_state];
1678	\| if ( yy_current_state >= 13 )
1679	\| yy_c = yy_meta[(unsigned int) yy_c];
1680	\| }
1681	\| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1682	\| *(yy_state_ptr)++ = yy_current_state;
1683	\| }
1684	\|
1685	\| return yy_current_state;
1686	\| }
1687	\|
1688	\| /* yy_try_NUL_trans - try to make a transition on the NUL character
1689	\| *
1690	\| * synopsis
1691	\| * next_state = yy_try_NUL_trans( current_state );
1692	\| */
1693	\| static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1694	\| {
1695	\| register int yy_is_jam;
1696	\|
1697	\| register YY_CHAR yy_c = 1;
1698	\| while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1699	\| {
1700	\| yy_current_state = (int) yy_def[yy_current_state];
1701	\| if ( yy_current_state >= 13 )
1702	\| yy_c = yy_meta[(unsigned int) yy_c];
1703	\| }
1704	\| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1705	\| yy_is_jam = (yy_current_state == 12);
1706	\| if ( ! yy_is_jam )
1707	\| *(yy_state_ptr)++ = yy_current_state;
1708	\|
1709	\| return yy_is_jam ? 0 : yy_current_state;
1710	\| }
1711	\|
1712	\| static void yyunput (int c, register char * yy_bp )
1713	\| {
1714	\| register char *yy_cp;
1715	\|
1716	\| yy_cp = (yy_c_buf_p);
1717	\|
1718	\| /* undo effects of setting up yytext */
1719	\| *yy_cp = (yy_hold_char);
1720	\|
1721	\| if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1722	\| { /* need to shift things up to make room */
1723	\| /* +2 for EOB chars. */
1724	\| register yy_size_t number_to_move = (yy_n_chars) + 2;
1725	\| register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1726	\| YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1727	\| register char *source =
1728	\| &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1729	\|
1730	\| while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1731	\| --dest = --source;
1732	\|
1733	\| yy_cp += (int) (dest - source);
1734	\| yy_bp += (int) (dest - source);
1735	\| YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1736	\| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1737	\|
1738	\| if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1739	\| YY_FATAL_ERROR( "flex scanner push-back overflow" );
1740	\| }
1741	\|
1742	\| *--yy_cp = (char) c;
1743	\|
1744	\| (yytext_ptr) = yy_bp;
1745	\| (yy_hold_char) = *yy_cp;
1746	\| (yy_c_buf_p) = yy_cp;
1747	\| }
1748	\|
1749	\| #ifndef YY_NO_INPUT
1750	\| #ifdef __cplusplus
1751	\| static int yyinput (void)
1752	\| #else
1753	\| static int input (void)
1754	\| #endif
1755	\|
1756	\| {
1757	\| int c;
1758	\|
1759	\| *(yy_c_buf_p) = (yy_hold_char);
1760	\|
1761	\| if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1762	\| {
1763	\| /* yy_c_buf_p now points to the character we want to return.
1764	\| * If this occurs before the EOB characters, then it's a
1765	\| * valid NUL; if not, then we've hit the end of the buffer.
1766	\| */
1767	\| if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1768	\| /* This was really a NUL. */
1769	\| *(yy_c_buf_p) = '\0';
1770	\|
1771	\| else
1772	\| { /* need more input */
1773	\| yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
1774	\| ++(yy_c_buf_p);
1775	\|
1776	\| switch ( yy_get_next_buffer( ) )
1777	\| {
1778	\| case EOB_ACT_LAST_MATCH:
1779	\| /* This happens because yy_g_n_b()
1780	\| * sees that we've accumulated a
1781	\| * token and flags that we need to
1782	\| * try matching the token before
1783	\| * proceeding. But for input(),
1784	\| * there's no matching to consider.
1785	\| * So convert the EOB_ACT_LAST_MATCH
1786	\| * to EOB_ACT_END_OF_FILE.
1787	\| */
1788	\|
1789	\| /* Reset buffer status. */
1790	\| yyrestart(yyin );
1791	\|
1792	\| /FALLTHROUGH/
1793	\|
1794	\| case EOB_ACT_END_OF_FILE:
1795	\| {
1796	\| if ( yywrap( ) )
1797	\| return EOF;
1798	\|
1799	\| if ( ! (yy_did_buffer_switch_on_eof) )
1800	\| YY_NEW_FILE;
1801	\| #ifdef __cplusplus
1802	\| return yyinput();
1803	\| #else
1804	\| return input();
1805	\| #endif
1806	\| }
1807	\|
1808	\| case EOB_ACT_CONTINUE_SCAN:
1809	\| (yy_c_buf_p) = (yytext_ptr) + offset;
1810	\| break;
1811	\| }
1812	\| }
1813	\| }
1814	\|
1815	\| c = (unsigned char ) (yy_c_buf_p); /* cast for 8-bit char's */
1816	\| (yy_c_buf_p) = '\0'; / preserve yytext */
1817	\| (yy_hold_char) = *++(yy_c_buf_p);
1818	\|
1819	\| return c;
1820	\| }
1821	\| #endif /* ifndef YY_NO_INPUT */
1822	\|
1823	\| /** Immediately switch to a different input stream.
1824	\| * @param input_file A readable stream.
1825	\| *
1826	\| * @note This function does not reset the start condition to @c INITIAL .
1827	\| */
1828	\| void yyrestart (FILE * input_file )
1829	\| {
1830	\|
1831	\| if ( ! YY_CURRENT_BUFFER ){
1832	\| yyensure_buffer_stack ();
1833	\| YY_CURRENT_BUFFER_LVALUE =
1834	\| yy_create_buffer(yyin,YY_BUF_SIZE );
1835	\| }
1836	\|
1837	\| yy_init_buffer(YY_CURRENT_BUFFER,input_file );
1838	\| yy_load_buffer_state( );
1839	\| }
1840	\|
1841	\| /** Switch to a different input buffer.
1842	\| * @param new_buffer The new input buffer.
1843	\| *
1844	\| */
1845	\| void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer )
1846	\| {
1847	\|
1848	\| /* TODO. We should be able to replace this entire function body
1849	\| * with
1850	\| * yypop_buffer_state();
1851	\| * yypush_buffer_state(new_buffer);
1852	\| */
1853	\| yyensure_buffer_stack ();
1854	\| if ( YY_CURRENT_BUFFER == new_buffer )
1855	\| return;
1856	\|
1857	\| if ( YY_CURRENT_BUFFER )
1858	\| {
1859	\| /* Flush out information for old buffer. */
1860	\| *(yy_c_buf_p) = (yy_hold_char);
1861	\| YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1862	\| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1863	\| }
1864	\|
1865	\| YY_CURRENT_BUFFER_LVALUE = new_buffer;
1866	\| yy_load_buffer_state( );
1867	\|
1868	\| /* We don't actually know whether we did this switch during
1869	\| * EOF (yywrap()) processing, but the only time this flag
1870	\| * is looked at is after yywrap() is called, so it's safe
1871	\| * to go ahead and always set it.
1872	\| */
1873	\| (yy_did_buffer_switch_on_eof) = 1;
1874	\| }
1875	\|
1876	\| static void yy_load_buffer_state (void)
1877	\| {
1878	\| (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1879	\| (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1880	\| yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1881	\| (yy_hold_char) = *(yy_c_buf_p);
1882	\| }
1883	\|
1884	\| /** Allocate and initialize an input buffer state.
1885	\| * @param file A readable stream.
1886	\| * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1887	\| *
1888	\| * @return the allocated buffer state.
1889	\| */
1890	\| YY_BUFFER_STATE yy_create_buffer (FILE * file, int size )
1891	\| {
1892	\| YY_BUFFER_STATE b;
1893	\|
1894	\| b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
1895	\| if ( ! b )
1896	\| YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1897	\|
1898	\| b->yy_buf_size = size;
1899	\|
1900	\| /* yy_ch_buf has to be 2 characters longer than the size given because
1901	\| * we need to put in 2 end-of-buffer characters.
1902	\| */
1903	\| b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2 );
1904	\| if ( ! b->yy_ch_buf )
1905	\| YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1906	\|
1907	\| b->yy_is_our_buffer = 1;
1908	\|
1909	\| yy_init_buffer(b,file );
1910	\|
1911	\| return b;
1912	\| }
1913	\|
1914	\| /** Destroy the buffer.
1915	\| * @param b a buffer created with yy_create_buffer()
1916	\| *
1917	\| */
1918	\| void yy_delete_buffer (YY_BUFFER_STATE b )
1919	\| {
1920	\|
1921	\| if ( ! b )
1922	\| return;
1923	\|
1924	\| if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1925	\| YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1926	\|
1927	\| if ( b->yy_is_our_buffer )
1928	\| yyfree((void *) b->yy_ch_buf );
1929	\|
1930	\| yyfree((void *) b );
1931	\| }
1932	\|
1933	\| /* Initializes or reinitializes a buffer.
1934	\| * This function is sometimes called more than once on the same buffer,
1935	\| * such as during a yyrestart() or at EOF.
1936	\| */
1937	\| static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file )
1938	\|
1939	\| {
1940	\| int oerrno = errno;
1941	\|
1942	\| yy_flush_buffer(b );
1943	\|
1944	\| b->yy_input_file = file;
1945	\| b->yy_fill_buffer = 1;
1946	\|
1947	\| /* If b is the current buffer, then yy_init_buffer was _probably_
1948	\| * called from yyrestart() or through yy_get_next_buffer.
1949	\| * In that case, we don't want to reset the lineno or column.
1950	\| */
1951	\| if (b != YY_CURRENT_BUFFER){
1952	\| b->yy_bs_lineno = 1;
1953	\| b->yy_bs_column = 0;
1954	\| }
1955	\|
1956	\| b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1957	\|
1958	\| errno = oerrno;
1959	\| }
1960	\|
1961	\| /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1962	\| * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1963	\| *
1964	\| */
1965	\| void yy_flush_buffer (YY_BUFFER_STATE b )
1966	\| {
1967	\| if ( ! b )
1968	\| return;
1969	\|
1970	\| b->yy_n_chars = 0;
1971	\|
1972	\| /* We always need two end-of-buffer characters. The first causes
1973	\| * a transition to the end-of-buffer state. The second causes
1974	\| * a jam in that state.
1975	\| */
1976	\| b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1977	\| b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1978	\|
1979	\| b->yy_buf_pos = &b->yy_ch_buf[0];
1980	\|
1981	\| b->yy_at_bol = 1;
1982	\| b->yy_buffer_status = YY_BUFFER_NEW;
1983	\|
1984	\| if ( b == YY_CURRENT_BUFFER )
1985	\| yy_load_buffer_state( );
1986	\| }
1987	\|
1988	\| /** Pushes the new state onto the stack. The new state becomes
1989	\| * the current state. This function will allocate the stack
1990	\| * if necessary.
1991	\| * @param new_buffer The new state.
1992	\| *
1993	\| */
1994	\| void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
1995	\| {
1996	\| if (new_buffer == NULL)
1997	\| return;
1998	\|
1999	\| yyensure_buffer_stack();
2000	\|
2001	\| /* This block is copied from yy_switch_to_buffer. */
2002	\| if ( YY_CURRENT_BUFFER )
2003	\| {
2004	\| /* Flush out information for old buffer. */
2005	\| *(yy_c_buf_p) = (yy_hold_char);
2006	\| YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
2007	\| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
2008	\| }
2009	\|
2010	\| /* Only push if top exists. Otherwise, replace top. */
2011	\| if (YY_CURRENT_BUFFER)
2012	\| (yy_buffer_stack_top)++;
2013	\| YY_CURRENT_BUFFER_LVALUE = new_buffer;
2014	\|
2015	\| /* copied from yy_switch_to_buffer. */
2016	\| yy_load_buffer_state( );
2017	\| (yy_did_buffer_switch_on_eof) = 1;
2018	\| }
2019	\|
2020	\| /** Removes and deletes the top of the stack, if present.
2021	\| * The next element becomes the new top.
2022	\| *
2023	\| */
2024	\| void yypop_buffer_state (void)
2025	\| {
2026	\| if (!YY_CURRENT_BUFFER)
2027	\| return;
2028	\|
2029	\| yy_delete_buffer(YY_CURRENT_BUFFER );
2030	\| YY_CURRENT_BUFFER_LVALUE = NULL;
2031	\| if ((yy_buffer_stack_top) > 0)
2032	\| --(yy_buffer_stack_top);
2033	\|
2034	\| if (YY_CURRENT_BUFFER) {
2035	\| yy_load_buffer_state( );
2036	\| (yy_did_buffer_switch_on_eof) = 1;
2037	\| }
2038	\| }
2039	\|
2040	\| /* Allocates the stack if it does not exist.
2041	\| * Guarantees space for at least one push.
2042	\| */
2043	\| static void yyensure_buffer_stack (void)
2044	\| {
2045	\| yy_size_t num_to_alloc;
2046	\|
2047	\| if (!(yy_buffer_stack)) {
2048	\|
2049	\| /* First allocation is just for 2 elements, since we don't know if this
2050	\| * scanner will even need a stack. We use 2 instead of 1 to avoid an
2051	\| * immediate realloc on the next call.
2052	\| */
2053	\| num_to_alloc = 1;
2054	\| (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
2055	\| (num_to_alloc * sizeof(struct yy_buffer_state*)
2056	\| );
2057	\| if ( ! (yy_buffer_stack) )
2058	\| YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
2059	\|
2060	\| memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
2061	\|
2062	\| (yy_buffer_stack_max) = num_to_alloc;
2063	\| (yy_buffer_stack_top) = 0;
2064	\| return;
2065	\| }
2066	\|
2067	\| if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
2068	\|
2069	\| /* Increase the buffer to prepare for a possible push. */
2070	\| int grow_size = 8 /* arbitrary grow size */;
2071	\|
2072	\| num_to_alloc = (yy_buffer_stack_max) + grow_size;
2073	\| (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc
2074	\| ((yy_buffer_stack),
2075	\| num_to_alloc * sizeof(struct yy_buffer_state*)
2076	\| );
2077	\| if ( ! (yy_buffer_stack) )
2078	\| YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
2079	\|
2080	\| /* zero only the new slots.*/
2081	\| memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
2082	\| (yy_buffer_stack_max) = num_to_alloc;
2083	\| }
2084	\| }
2085	\|
2086	\| /** Setup the input buffer state to scan directly from a user-specified character buffer.
2087	\| * @param base the character buffer
2088	\| * @param size the size in bytes of the character buffer
2089	\| *
2090	\| * @return the newly allocated buffer state object.
2091	\| */
2092	\| YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size )
2093	\| {
2094	\| YY_BUFFER_STATE b;
2095	\|
2096	\| if ( size < 2 \|\|
2097	\| base[size-2] != YY_END_OF_BUFFER_CHAR \|\|
2098	\| base[size-1] != YY_END_OF_BUFFER_CHAR )
2099	\| /* They forgot to leave room for the EOB's. */
2100	\| return 0;
2101	\|
2102	\| b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
2103	\| if ( ! b )
2104	\| YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
2105	\|
2106	\| b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
2107	\| b->yy_buf_pos = b->yy_ch_buf = base;
2108	\| b->yy_is_our_buffer = 0;
2109	\| b->yy_input_file = 0;
2110	\| b->yy_n_chars = b->yy_buf_size;
2111	\| b->yy_is_interactive = 0;
2112	\| b->yy_at_bol = 1;
2113	\| b->yy_fill_buffer = 0;
2114	\| b->yy_buffer_status = YY_BUFFER_NEW;
2115	\|
2116	\| yy_switch_to_buffer(b );
2117	\|
2118	\| return b;
2119	\| }
2120	\|
2121	\| /** Setup the input buffer state to scan a string. The next call to yylex() will
2122	\| * scan from a @e copy of @a str.
2123	\| * @param yystr a NUL-terminated string to scan
2124	\| *
2125	\| * @return the newly allocated buffer state object.
2126	\| * @note If you want to scan bytes that may contain NUL values, then use
2127	\| * yy_scan_bytes() instead.
2128	\| */
2129	\| YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
2130	\| {
2131	\|
2132	\| return yy_scan_bytes(yystr,strlen(yystr) );
2133	\| }
2134	\|
2135	\| /** Setup the input buffer state to scan the given bytes. The next call to yylex() will
2136	\| * scan from a @e copy of @a bytes.
2137	\| * @param yybytes the byte buffer to scan
2138	\| * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
2139	\| *
2140	\| * @return the newly allocated buffer state object.
2141	\| */
2142	\| YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
2143	\| {
2144	\| YY_BUFFER_STATE b;
2145	\| char *buf;
2146	\| yy_size_t n;
2147	\| int i;
2148	\|
2149	\| /* Get memory for full buffer, including space for trailing EOB's. */
2150	\| n = _yybytes_len + 2;
2151	\| buf = (char *) yyalloc(n );
2152	\| if ( ! buf )
2153	\| YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
2154	\|
2155	\| for ( i = 0; i < _yybytes_len; ++i )
2156	\| buf[i] = yybytes[i];
2157	\|
2158	\| buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
2159	\|
2160	\| b = yy_scan_buffer(buf,n );
2161	\| if ( ! b )
2162	\| YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
2163	\|
2164	\| /* It's okay to grow etc. this buffer, and we should throw it
2165	\| * away when we're done.
2166	\| */
2167	\| b->yy_is_our_buffer = 1;
2168	\|
2169	\| return b;
2170	\| }
2171	\|
2172	\| #ifndef YY_EXIT_FAILURE
2173	\| #define YY_EXIT_FAILURE 2
2174	\| #endif
2175	\|
2176	\| static void yy_fatal_error (yyconst char* msg )
2177	\| {
2178	\| (void) fprintf( stderr, "%s\n", msg );
2179	\| exit( YY_EXIT_FAILURE );
2180	\| }
2181	\|
2182	\| /* Redefine yyless() so it works in section 3 code. */
2183	\|
2184	\| #undef yyless
2185	\| #define yyless(n) \
2186	\| do \
2187	\| { \
2188	\| /* Undo effects of setting up yytext. */ \
2189	\| int yyless_macro_arg = (n); \
2190	\| YY_LESS_LINENO(yyless_macro_arg);\
2191	\| yytext[yyleng] = (yy_hold_char); \
2192	\| (yy_c_buf_p) = yytext + yyless_macro_arg; \
2193	\| (yy_hold_char) = *(yy_c_buf_p); \
2194	\| *(yy_c_buf_p) = '\0'; \
2195	\| yyleng = yyless_macro_arg; \
2196	\| } \
2197	\| while ( 0 )
2198	\|
2199	\| /* Accessor methods (get/set functions) to struct members. */
2200	\|
2201	\| /** Get the current line number.
2202	\| *
2203	\| */
2204	\| int yyget_lineno (void)
2205	\| {
2206	\|
2207	\| return yylineno;
2208	\| }
2209	\|
2210	\| /** Get the input stream.
2211	\| *
2212	\| */
2213	\| FILE *yyget_in (void)
2214	\| {
2215	\| return yyin;
2216	\| }
2217	\|
2218	\| /** Get the output stream.
2219	\| *
2220	\| */
2221	\| FILE *yyget_out (void)
2222	\| {
2223	\| return yyout;
2224	\| }
2225	\|
2226	\| /** Get the length of the current token.
2227	\| *
2228	\| */
2229	\| yy_size_t yyget_leng (void)
2230	\| {
2231	\| return yyleng;
2232	\| }
2233	\|
2234	\| /** Get the current token.
2235	\| *
2236	\| */
2237	\|
2238	\| char *yyget_text (void)
2239	\| {
2240	\| return yytext;
2241	\| }
2242	\|
2243	\| /** Set the current line number.
2244	\| * @param line_number
2245	\| *
2246	\| */
2247	\| void yyset_lineno (int line_number )
2248	\| {
2249	\|
2250	\| yylineno = line_number;
2251	\| }
2252	\|
2253	\| /** Set the input stream. This does not discard the current
2254	\| * input buffer.
2255	\| * @param in_str A readable stream.
2256	\| *
2257	\| * @see yy_switch_to_buffer
2258	\| */
2259	\| void yyset_in (FILE * in_str )
2260	\| {
2261	\| yyin = in_str ;
2262	\| }
2263	\|
2264	\| void yyset_out (FILE * out_str )
2265	\| {
2266	\| yyout = out_str ;
2267	\| }
2268	\|
2269	\| int yyget_debug (void)
2270	\| {
2271	\| return yy_flex_debug;
2272	\| }
2273	\|
2274	\| void yyset_debug (int bdebug )
2275	\| {
2276	\| yy_flex_debug = bdebug ;
2277	\| }
2278	\|
2279	\| static int yy_init_globals (void)
2280	\| {
2281	\| /* Initialization is the same as for the non-reentrant scanner.
2282	\| * This function is called from yylex_destroy(), so don't allocate here.
2283	\| */
2284	\|
2285	\| (yy_buffer_stack) = 0;
2286	\| (yy_buffer_stack_top) = 0;
2287	\| (yy_buffer_stack_max) = 0;
2288	\| (yy_c_buf_p) = (char *) 0;
2289	\| (yy_init) = 0;
2290	\| (yy_start) = 0;
2291	\|
2292	\| (yy_state_buf) = 0;
2293	\| (yy_state_ptr) = 0;
2294	\| (yy_full_match) = 0;
2295	\| (yy_lp) = 0;
2296	\|
2297	\| /* Defined in main.c */
2298	\| #ifdef YY_STDINIT
2299	\| yyin = stdin;
2300	\| yyout = stdout;
2301	\| #else
2302	\| yyin = (FILE *) 0;
2303	\| yyout = (FILE *) 0;
2304	\| #endif
2305	\|
2306	\| /* For future reference: Set errno on error, since we are called by
2307	\| * yylex_init()
2308	\| */
2309	\| return 0;
2310	\| }
2311	\|
2312	\| /* yylex_destroy is for both reentrant and non-reentrant scanners. */
2313	\| int yylex_destroy (void)
2314	\| {
2315	\|
2316	\| /* Pop the buffer stack, destroying each element. */
2317	\| while(YY_CURRENT_BUFFER){
2318	\| yy_delete_buffer(YY_CURRENT_BUFFER );
2319	\| YY_CURRENT_BUFFER_LVALUE = NULL;
2320	\| yypop_buffer_state();
2321	\| }
2322	\|
2323	\| /* Destroy the stack itself. */
2324	\| yyfree((yy_buffer_stack) );
2325	\| (yy_buffer_stack) = NULL;
2326	\|
2327	\| yyfree ( (yy_state_buf) );
2328	\| (yy_state_buf) = NULL;
2329	\|
2330	\| /* Reset the globals. This is important in a non-reentrant scanner so the next time
2331	\| * yylex() is called, initialization will occur. */
2332	\| yy_init_globals( );
2333	\|
2334	\| return 0;
2335	\| }
2336	\|
2337	\| /*
2338	\| * Internal utility routines.
2339	\| */
2340	\|
2341	\| #ifndef yytext_ptr
2342	\| static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
2343	\| {
2344	\| register int i;
2345	\| for ( i = 0; i < n; ++i )
2346	\| s1[i] = s2[i];
2347	\| }
2348	\| #endif
2349	\|
2350	\| #ifdef YY_NEED_STRLEN
2351	\| static int yy_flex_strlen (yyconst char * s )
2352	\| {
2353	\| register int n;
2354	\| for ( n = 0; s[n]; ++n )
2355	\| ;
2356	\|
2357	\| return n;
2358	\| }
2359	\| #endif
2360	\|
2361	\| void *yyalloc (yy_size_t size )
2362	\| {
2363	\| return (void *) malloc( size );
2364	\| }
2365	\|
2366	\| void yyrealloc (void ptr, yy_size_t size )
2367	\| {
2368	\| /* The cast to (char *) in the following accommodates both
2369	\| * implementations that use char* generic pointers, and those
2370	\| * that use void* generic pointers. It works with the latter
2371	\| * because both ANSI C and C++ allow castless assignment from
2372	\| * any pointer type to void*, and deal with argument conversions
2373	\| * as though doing an assignment.
2374	\| */
2375	\| return (void ) realloc( (char ) ptr, size );
2376	\| }
2377	\|
2378	\| void yyfree (void * ptr )
2379	\| {
2380	\| free( (char ) ptr ); / see yyrealloc() for (char ) cast /
2381	\| }
2382	\|
2383	\| #define YYTABLES_NAME "yytables"
2384	\|
2385	\| #line 9 "conftest.l"
2386	\|
2387	\|
2388	\| #ifdef YYTEXT_POINTER
2389	\| extern char *yytext;
2390	\| #endif
2391	\| int
2392	\| main (void)
2393	\| {
2394	\| return ! yylex () + ! yywrap ();
2395	\| }
2396	configure:17697: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lfl >&5
2397	configure:17704: $? = 0
2398	configure:17728: result: -lfl
2399	configure:17734: checking whether yytext is a pointer
2400	configure:17755: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lfl >&5
2401	configure:17762: $? = 0
2402	configure:17784: result: yes
2403	configure:17803: checking for bison
2404	configure:17819: found /opt/local/bin/bison
2405	configure:17830: result: yes
2406	configure:17869: checking for perl
2407	configure:17887: found /opt/local/bin/perl
2408	configure:17900: result: /opt/local/bin/perl
2409	configure:17912: checking for lynx
2410	configure:17942: result: no
2411	configure:17912: checking for links
2412	configure:17942: result: no
2413	configure:17954: checking for latex
2414	configure:17987: result: no
2415	configure:18003: checking for pdflatex
2416	configure:18036: result: no
2417	configure:18043: checking for epstopdf
2418	configure:18076: result: no
2419	configure:18083: checking for pdftops
2420	configure:18101: found /opt/local/bin/pdftops
2421	configure:18113: result: /opt/local/bin/pdftops
2422	configure:18179: checking for strip
2423	configure:18206: result: strip
2424	configure:18232: checking for /usr/bin/clang option to accept ISO C99
2425	configure:18391: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
2426	configure:18398: $? = 0
2427	configure:18421: result: none needed
2428	configure:18559: checking for /usr/bin/clang option to accept ISO Standard C
2429	configure:18568: result: none needed
2430	configure:18575: checking for an ANSI C99-conforming __func__
2431	configure:18601: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
2432	conftest.c:35:7: warning: initializing 'char *' with an expression of type 'const char [5]' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers]
2433	char *foo = __func__;
2434	^ ~~~~~~~~
2435	1 warning generated.
2436	configure:18608: $? = 0
2437	configure:18664: result: yes
2438	configure:18686: checking size of void *
2439	configure:18991: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
2440	configure:18995: $? = 0
2441	configure:19001: ./conftest
2442	configure:19005: $? = 0
2443	configure:19031: result: 8
2444	configure:19045: checking size of int
2445	configure:19350: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
2446	configure:19354: $? = 0
2447	configure:19360: ./conftest
2448	configure:19364: $? = 0
2449	configure:19390: result: 4
2450	configure:19404: checking size of long
2451	configure:19709: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
2452	configure:19713: $? = 0
2453	configure:19719: ./conftest
2454	configure:19723: $? = 0
2455	configure:19749: result: 8
2456	configure:19763: checking size of long long
2457	configure:20068: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c >&5
2458	configure:20072: $? = 0
2459	configure:20078: ./conftest
2460	configure:20082: $? = 0
2461	configure:20108: result: 8
2462	configure:20123: checking for exp in -lm
2463	configure:20158: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lm >&5
2464	conftest.c:42:6: warning: incompatible redeclaration of library function 'exp' [-Wincompatible-library-redeclaration]
2465	char exp ();
2466	^
2467	conftest.c:42:6: note: 'exp' is a builtin with type 'double (double)'
2468	1 warning generated.
2469	configure:20165: $? = 0
2470	configure:20186: result: yes
2471	configure:20204: checking for main in -lncurses
2472	configure:20233: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lncurses -lm >&5
2473	configure:20240: $? = 0
2474	configure:20261: result: yes
2475	configure:20410: checking for readline in -lreadline
2476	configure:20446: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lreadline -lncurses -lm >&5
2477	configure:20453: $? = 0
2478	configure:20474: result: yes
2479	configure:20504: checking for XML_ParserCreate in -lexpat
2480	configure:20539: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lexpat -L/opt/local/lib -lm >&5
2481	configure:20546: $? = 0
2482	configure:20567: result: yes
2483	configure:20620: checking for util_cpu_time in -lcudd_util
2484	configure:20656: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lcudd_util -L./../cudd-2.4.1.1/lib -lm >&5
2485	configure:20663: $? = 0
2486	configure:20684: result: yes
2487	configure:20695: checking for Mtr_AllocNode in -lmtr
2488	configure:20731: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lmtr -L./../cudd-2.4.1.1/lib -lcudd_util -lm >&5
2489	configure:20738: $? = 0
2490	configure:20759: result: yes
2491	configure:20770: checking for st_init_table in -lst
2492	configure:20806: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lst -L./../cudd-2.4.1.1/lib -lmtr -lcudd_util -lm >&5
2493	configure:20813: $? = 0
2494	configure:20834: result: yes
2495	configure:20845: checking for Cudd_Ref in -lcudd
2496	configure:20881: /usr/bin/clang -o conftest -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 conftest.c -lcudd -L./../cudd-2.4.1.1/lib -lst -lmtr -lcudd_util -lm >&5
2497	configure:20888: $? = 0
2498	configure:20909: result: yes
2499	configure:21235: error: Header file "Solver_C.h" has not been found in "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat".
2500	See configure option --with-minisat-incdir to specify where the header file is located.
2501
2502	## ---------------- ##
2503	## Cache variables. ##
2504	## ---------------- ##
2505
2506	ac_cv_build=x86_64-apple-darwin14.0.0
2507	ac_cv_c_compiler_gnu=yes
2508	ac_cv_cpp_func=yes
2509	ac_cv_cxx_compiler_gnu=yes
2510	ac_cv_env_CCC_set=
2511	ac_cv_env_CCC_value=
2512	ac_cv_env_CC_set=set
2513	ac_cv_env_CC_value=/usr/bin/clang
2514	ac_cv_env_CFLAGS_set=set
2515	ac_cv_env_CFLAGS_value='-pipe -Os -arch x86_64'
2516	ac_cv_env_CPPFLAGS_set=set
2517	ac_cv_env_CPPFLAGS_value=-I/opt/local/include
2518	ac_cv_env_CPP_set=
2519	ac_cv_env_CPP_value=
2520	ac_cv_env_CXXCPP_set=
2521	ac_cv_env_CXXCPP_value=
2522	ac_cv_env_CXXFLAGS_set=set
2523	ac_cv_env_CXXFLAGS_value='-pipe -Os -arch x86_64 -stdlib=libc++'
2524	ac_cv_env_CXX_set=set
2525	ac_cv_env_CXX_value=/usr/bin/clang++
2526	ac_cv_env_LDFLAGS_set=set
2527	ac_cv_env_LDFLAGS_value='-L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64'
2528	ac_cv_env_LIBS_set=
2529	ac_cv_env_LIBS_value=
2530	ac_cv_env_YACC_set=
2531	ac_cv_env_YACC_value=
2532	ac_cv_env_YFLAGS_set=
2533	ac_cv_env_YFLAGS_value=
2534	ac_cv_env_build_alias_set=
2535	ac_cv_env_build_alias_value=
2536	ac_cv_env_host_alias_set=
2537	ac_cv_env_host_alias_value=
2538	ac_cv_env_target_alias_set=
2539	ac_cv_env_target_alias_value=
2540	ac_cv_header_dlfcn_h=yes
2541	ac_cv_header_inttypes_h=yes
2542	ac_cv_header_memory_h=yes
2543	ac_cv_header_stdc=yes
2544	ac_cv_header_stdint_h=yes
2545	ac_cv_header_stdlib_h=yes
2546	ac_cv_header_string_h=yes
2547	ac_cv_header_strings_h=yes
2548	ac_cv_header_sys_stat_h=yes
2549	ac_cv_header_sys_types_h=yes
2550	ac_cv_header_unistd_h=yes
2551	ac_cv_host=x86_64-apple-darwin14.0.0
2552	ac_cv_lib_cudd_Cudd_Ref=yes
2553	ac_cv_lib_cudd_util_util_cpu_time=yes
2554	ac_cv_lib_expat_XML_ParserCreate=yes
2555	ac_cv_lib_lex=-lfl
2556	ac_cv_lib_m_exp=yes
2557	ac_cv_lib_mtr_Mtr_AllocNode=yes
2558	ac_cv_lib_ncurses_main=yes
2559	ac_cv_lib_readline_readline=yes
2560	ac_cv_lib_st_st_init_table=yes
2561	ac_cv_objext=o
2562	ac_cv_path_EGREP='/usr/bin/grep -E'
2563	ac_cv_path_FGREP='/usr/bin/grep -F'
2564	ac_cv_path_GREP=/usr/bin/grep
2565	ac_cv_path_PDFTOPS=/opt/local/bin/pdftops
2566	ac_cv_path_PERL=/opt/local/bin/perl
2567	ac_cv_path_SED=/opt/local/bin/gsed
2568	ac_cv_prog_AWK=gawk
2569	ac_cv_prog_CPP='/usr/bin/clang -E'
2570	ac_cv_prog_CXXCPP='/usr/bin/clang++ -E'
2571	ac_cv_prog_LEX=flex
2572	ac_cv_prog_YACC='bison -y'
2573	ac_cv_prog__have_bison=yes
2574	ac_cv_prog_ac_ct_AR=ar
2575	ac_cv_prog_ac_ct_CC=/usr/bin/clang
2576	ac_cv_prog_ac_ct_DSYMUTIL=dsymutil
2577	ac_cv_prog_ac_ct_LIPO=lipo
2578	ac_cv_prog_ac_ct_NMEDIT=nmedit
2579	ac_cv_prog_ac_ct_OTOOL=otool
2580	ac_cv_prog_ac_ct_RANLIB=ranlib
2581	ac_cv_prog_ac_ct_STRIP=strip
2582	ac_cv_prog_cc__usr_bin_clang_c_o=yes
2583	ac_cv_prog_cc_c89=
2584	ac_cv_prog_cc_c99=
2585	ac_cv_prog_cc_g=yes
2586	ac_cv_prog_cc_stdc=
2587	ac_cv_prog_cxx_g=yes
2588	ac_cv_prog_lex_root=lex.yy
2589	ac_cv_prog_lex_yytext_pointer=yes
2590	ac_cv_prog_make_make_set=yes
2591	ac_cv_sizeof_int=4
2592	ac_cv_sizeof_long=8
2593	ac_cv_sizeof_long_long=8
2594	ac_cv_sizeof_void_p=8
2595	am_cv_CC_dependencies_compiler_type=gcc3
2596	am_cv_CXX_dependencies_compiler_type=gcc3
2597	am_cv_prog_tar_ustar=gnutar
2598	lt_cv_apple_cc_single_mod=yes
2599	lt_cv_deplibs_check_method=pass_all
2600	lt_cv_file_magic_cmd='$MAGIC_CMD'
2601	lt_cv_file_magic_test_file=
2602	lt_cv_ld_exported_symbols_list=yes
2603	lt_cv_ld_reload_flag=-r
2604	lt_cv_nm_interface='BSD nm'
2605	lt_cv_objdir=.libs
2606	lt_cv_path_LD=/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
2607	lt_cv_path_LDCXX=/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
2608	lt_cv_path_NM=/opt/local/bin/nm
2609	lt_cv_prog_compiler_c_o=yes
2610	lt_cv_prog_compiler_c_o_CXX=yes
2611	lt_cv_prog_compiler_pic_works=yes
2612	lt_cv_prog_compiler_pic_works_CXX=yes
2613	lt_cv_prog_compiler_rtti_exceptions=yes
2614	lt_cv_prog_compiler_static_works=no
2615	lt_cv_prog_compiler_static_works_CXX=no
2616	lt_cv_prog_gnu_ld=no
2617	lt_cv_prog_gnu_ldcxx=no
2618	lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.[ ]$[BCDEGRST][BCDEGRST]$[ ][ ]_$[_A-Za-z][_A-Za-z0-9]$$/\1 _\2 \2/p'\'''
2619	lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: $[^ ]$ $/ {\"\1\", (void ) 0},/p'\'' -e '\''s/^[BCDEGRST]* $[^ ]$ $[^ ]$$/ {"\2", (void *) \&\2},/p'\'''
2620	lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='sed -n -e '\''s/^: $[^ ]$ $/ {\"\1\", (void ) 0},/p'\'' -e '\''s/^[BCDEGRST]* $[^ ]$ $lib[^ ]$$/ {"\2", (void ) \&\2},/p'\'' -e '\''s/^[BCDEGRST] $[^ ]$ $[^ ]$$/ {"lib\2", (void *) \&\2},/p'\'''
2621	lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* $.$$/extern int \1();/p'\'' -e '\''s/^[BCDEGRST] .* $.*$$/extern char \1;/p'\'''
2622	lt_cv_sys_max_cmd_len=196608
2623	qef_cv_c_noreturn=yes
2624
2625	## ----------------- ##
2626	## Output variables. ##
2627	## ----------------- ##
2628
2629	ACLOCAL='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run aclocal-1.11'
2630	ADDONS_PKGS=''
2631	AMDEPBACKSLASH='\'
2632	AMDEP_FALSE='#'
2633	AMDEP_TRUE=''
2634	AMTAR='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run tar'
2635	AR='ar'
2636	AUTOCONF='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run autoconf'
2637	AUTOHEADER='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run autoheader'
2638	AUTOMAKE='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run automake-1.11'
2639	AWK='gawk'
2640	CC='/usr/bin/clang'
2641	CCDEPMODE='depmode=gcc3'
2642	CFLAGS='-fno-strict-aliasing -pipe -Os -arch x86_64'
2643	CPP='/usr/bin/clang -E'
2644	CPPFLAGS='-I/opt/local/include'
2645	CXX='/usr/bin/clang++'
2646	CXXCPP='/usr/bin/clang++ -E'
2647	CXXDEPMODE='depmode=gcc3'
2648	CXXFLAGS='-pipe -Os -arch x86_64 -stdlib=libc++'
2649	CYGPATH_W='echo'
2650	DEFS=''
2651	DEPDIR='.deps'
2652	DSYMUTIL='dsymutil'
2653	DUMPBIN=''
2654	ECHO_C='\c'
2655	ECHO_N=''
2656	ECHO_T=''
2657	EGREP='/usr/bin/grep -E'
2658	EPSTOPDF=''
2659	EXEEXT=''
2660	EXTRA_PKGS=''
2661	FGREP='/usr/bin/grep -F'
2662	GREP='/usr/bin/grep'
2663	HAVE_COMPASS_FALSE=''
2664	HAVE_COMPASS_TRUE=''
2665	HAVE_LATEX_FALSE=''
2666	HAVE_LATEX_TRUE='#'
2667	HAVE_LIBEXPAT=''
2668	HAVE_LIBEXPAT_FALSE='#'
2669	HAVE_LIBEXPAT_TRUE=''
2670	HAVE_LTL2SMV_FALSE='#'
2671	HAVE_LTL2SMV_TRUE=''
2672	HAVE_MINISAT=''
2673	HAVE_MINISAT_FALSE=''
2674	HAVE_MINISAT_TRUE=''
2675	HAVE_NOT_CUDD_FALSE=''
2676	HAVE_NOT_CUDD_TRUE='#'
2677	HAVE_PDFLATEXETAL_FALSE=''
2678	HAVE_PDFLATEXETAL_TRUE='#'
2679	HAVE_PSL_PARSER_FALSE=''
2680	HAVE_PSL_PARSER_TRUE='#'
2681	HAVE_ZCHAFF=''
2682	HAVE_ZCHAFF_FALSE=''
2683	HAVE_ZCHAFF_TRUE='#'
2684	HTMLDUMP='lynx_or_links_is_missing'
2685	IF_USE_PACKAGE_HYPERREF='\iffalse'
2686	INSTALL_DATA='${INSTALL} -m 644'
2687	INSTALL_PROGRAM='${INSTALL}'
2688	INSTALL_SCRIPT='${INSTALL}'
2689	INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
2690	LATEX=''
2691	LD='/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld'
2692	LDFLAGS='-L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64'
2693	LEX='flex'
2694	LEXLIB='-lfl'
2695	LEX_OUTPUT_ROOT='lex.yy'
2696	LIBOBJS=''
2697	LIBS='-lm '
2698	LIBTOOL='$(SHELL) $(top_builddir)/libtool'
2699	LIPO='lipo'
2700	LN_S='ln -s'
2701	LTLIBOBJS=''
2702	MAKEINFO='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/missing --run makeinfo'
2703	MKDIR_P='helpers/install-sh -c -d'
2704	NM='/opt/local/bin/nm'
2705	NMEDIT='nmedit'
2706	NUSMV_MAJ_VER='2.5'
2707	OBJDUMP='false'
2708	OBJEXT='o'
2709	OTOOL64=':'
2710	OTOOL='otool'
2711	PACKAGE='nusmv'
2712	PACKAGE_BUGREPORT='nusmv-users@fbk.eu'
2713	PACKAGE_NAME='NuSMV'
2714	PACKAGE_STRING='NuSMV 2.5.4'
2715	PACKAGE_TARNAME='nusmv'
2716	PACKAGE_VERSION='2.5.4'
2717	PATH_SEPARATOR=':'
2718	PDFLATEX=''
2719	PDFTOPS='/opt/local/bin/pdftops'
2720	PERL='/opt/local/bin/perl'
2721	POW_LIB=''
2722	RANLIB='ranlib'
2723	SED='/opt/local/bin/gsed'
2724	SET_MAKE=''
2725	SHELL='/bin/sh'
2726	STRIP='strip'
2727	USE_LEGACY_FLEX=''
2728	USE_LEGACY_FLEX_FALSE=''
2729	USE_LEGACY_FLEX_TRUE='#'
2730	VERSION='2.5.4'
2731	YACC='bison -y'
2732	YFLAGS=''
2733	_have_bison='yes'
2734	ac_ct_CC='/usr/bin/clang'
2735	ac_ct_CXX=''
2736	ac_ct_DUMPBIN=''
2737	am__EXEEXT_FALSE=''
2738	am__EXEEXT_TRUE=''
2739	am__fastdepCC_FALSE='#'
2740	am__fastdepCC_TRUE=''
2741	am__fastdepCXX_FALSE='#'
2742	am__fastdepCXX_TRUE=''
2743	am__include='include'
2744	am__isrc=''
2745	am__leading_dot='.'
2746	am__quote=''
2747	am__tar='tar --format=ustar -chf - "$$tardir"'
2748	am__untar='tar -xf -'
2749	bindir='${exec_prefix}/bin'
2750	build='x86_64-apple-darwin14.0.0'
2751	build_alias=''
2752	build_cpu='x86_64'
2753	build_os='darwin14.0.0'
2754	build_vendor='apple'
2755	cudd_mkf=''
2756	cudddir='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/cudd-2.4.1.1'
2757	cuddname='cudd-2.4.1.1'
2758	datadir='${datarootdir}'
2759	datarootdir='${prefix}/share'
2760	docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
2761	dvidir='${docdir}'
2762	exec_prefix='NONE'
2763	expat_libs='-L/opt/local/lib -lexpat'
2764	expatuserinc='-L /opt/local/include'
2765	have_sat_solver=''
2766	host='x86_64-apple-darwin14.0.0'
2767	host_alias=''
2768	host_cpu='x86_64'
2769	host_os='darwin14.0.0'
2770	host_vendor='apple'
2771	htmldir='${docdir}'
2772	includedir='${prefix}/include'
2773	infodir='${datarootdir}/info'
2774	install_sh='${SHELL} /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/helpers/install-sh'
2775	libdir='${exec_prefix}/lib'
2776	libexecdir='${exec_prefix}/libexec'
2777	localedir='${datarootdir}/locale'
2778	localstatedir='${prefix}/var'
2779	lt_ECHO='/bin/echo'
2780	mandir='${datarootdir}/man'
2781	minisat_ifcname='Solver_C.h'
2782	minisat_libname='MiniSat'
2783	minisat_libs=''
2784	minisat_nusmv='./../MiniSat'
2785	minisat_patch='MiniSat_v070721_nusmv.patch'
2786	minisat_ver='070721'
2787	minisatincdir='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat'
2788	minisatlibdir='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat'
2789	mkdir_p='$(top_builddir)/helpers/install-sh -c -d'
2790	oldincludedir='/usr/include'
2791	pdfdir='${docdir}'
2792	prefix='/opt/local'
2793	program_transform_name='s,x,x,'
2794	psdir='${docdir}'
2795	readline_libs='-lreadline -lncurses'
2796	regex_libs=''
2797	sbindir='${exec_prefix}/sbin'
2798	sharedstatedir='${prefix}/com'
2799	sysconfdir='${prefix}/etc'
2800	target_alias=''
2801	zchaff_ifcname='SAT_C.h'
2802	zchaff_libname='sat'
2803	zchaff_libs=''
2804	zchaff_nusmv='./../zchaff'
2805	zchaff_patch='zchaff.64bit.2007.3.12_nusmv.patch'
2806	zchaff_ver='2007.3.12'
2807	zchaffincdir='./../zchaff_v2007.3.12'
2808	zchafflibdir='./../zchaff_v2007.3.12'
2809
2810	## ----------- ##
2811	## confdefs.h. ##
2812	## ----------- ##
2813
2814	#define PACKAGE_NAME "NuSMV"
2815	#define PACKAGE_TARNAME "nusmv"
2816	#define PACKAGE_VERSION "2.5.4"
2817	#define PACKAGE_STRING "NuSMV 2.5.4"
2818	#define PACKAGE_BUGREPORT "nusmv-users@fbk.eu"
2819	#define PACKAGE_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
2820	#define LIBRARY_NAME "NuSMV"
2821	#define LIBRARY_VERSION "2.5.4"
2822	#define LIBRARY_BUILD_DATE "Mon Nov 10 04:56:42 UTC 2014"
2823	#define LIBRARY_WEBSITE "http://nusmv.fbk.eu"
2824	#define LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
2825	#define LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
2826	#define STDC_HEADERS 1
2827	#define HAVE_SYS_TYPES_H 1
2828	#define HAVE_SYS_STAT_H 1
2829	#define HAVE_STDLIB_H 1
2830	#define HAVE_STRING_H 1
2831	#define HAVE_MEMORY_H 1
2832	#define HAVE_STRINGS_H 1
2833	#define HAVE_INTTYPES_H 1
2834	#define HAVE_STDINT_H 1
2835	#define HAVE_UNISTD_H 1
2836	#define FUNCATTR_NORETURN __attribute__ ((noreturn))
2837	#define HAVE_CPP 1
2838	#define PROG_CPP "/usr/bin/clang -E -x c"
2839	#define HAVE_DLFCN_H 1
2840	#define LT_OBJDIR ".libs/"
2841	#define YYTEXT_POINTER 1
2842	#define SIZEOF_VOID_P 8
2843	#define SIZEOF_INT 4
2844	#define SIZEOF_LONG 8
2845	#define SIZEOF_LONG_LONG 8
2846	#define HAVE_LIBM 1
2847	#define HAVE_LIBREADLINE 1
2848	#define HAVE_LIBEXPAT 1
2849	#define HAVE_CUDD_24 1
2850	#define HAVE_SOLVER_ZCHAFF 0
2851
2852	configure: exit 1

Download in other formats:

Original Format