Ticket #45839: config.log

File config.log, 92.2 KB (added by jeremy.cade@…, 10 years ago)
Line 
1This file contains any messages produced by compilers while
2running configure, to aid debugging if configure makes a mistake.
3
4It was created by NuSMV configure 2.5.4, which was
5generated 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
13hostname = meka.local
14uname -m = x86_64
15uname -r = 14.0.0
16uname -s = Darwin
17uname -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
27Kernel configured for up to 2 processors.
282 processors are physically available.
292 processors are logically available.
30Processor type: i486 (Intel 80486)
31Processors active: 0 1
32Primary memory available: 4.00 gigabytes
33Default processor set: 181 tasks, 670 threads, 2 processors
34Load average: 3.35, Mach factor: 0.39
35/bin/machine           = unknown
36/usr/bin/oslevel       = unknown
37/bin/universe          = unknown
38
39PATH: /opt/local/bin
40PATH: /opt/local/sbin
41PATH: /bin
42PATH: /sbin
43PATH: /usr/bin
44PATH: /usr/sbin
45
46
47## ----------- ##
48## Core tests. ##
49## ----------- ##
50
51configure:2194: checking for a BSD-compatible install
52configure:2262: result: /usr/bin/install -c
53configure:2273: checking whether build environment is sane
54configure:2333: result: yes
55configure:2474: checking for a thread-safe mkdir -p
56configure:2513: result: helpers/install-sh -c -d
57configure:2526: checking for gawk
58configure:2542: found /opt/local/bin/gawk
59configure:2553: result: gawk
60configure:2564: checking whether make sets $(MAKE)
61configure:2586: result: yes
62configure:2654: checking how to create a ustar tar archive
63configure:2667: tar --version
64bsdtar 2.8.3 - libarchive 2.8.3
65configure:2670: $? = 0
66configure:2710: tardir=conftest.dir && eval tar --format=ustar -chf - "$tardir" >conftest.tar
67configure:2713: $? = 0
68configure:2717: tar -xf - <conftest.tar
69configure:2720: $? = 0
70configure:2733: result: gnutar
71configure:2747: checking build system type
72configure:2765: result: x86_64-apple-darwin14.0.0
73configure:2787: checking host system type
74configure:2802: result: x86_64-apple-darwin14.0.0
75configure:3029: checking for style of include used by make
76configure:3057: result: GNU
77configure:3127: checking for gcc
78configure:3154: result: /usr/bin/clang
79configure:3386: checking for C compiler version
80configure:3394: /usr/bin/clang --version >&5
81Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
82Target: x86_64-apple-darwin14.0.0
83Thread model: posix
84configure:3398: $? = 0
85configure:3405: /usr/bin/clang -v >&5
86Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
87Target: x86_64-apple-darwin14.0.0
88Thread model: posix
89configure:3409: $? = 0
90configure:3416: /usr/bin/clang -V >&5
91clang: error: argument to '-V' is missing (expected 1 value)
92clang: error: no input files
93configure:3420: $? = 1
94configure:3443: checking for C compiler default output file name
95configure: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
96configure:3469: $? = 0
97configure:3507: result: a.out
98configure:3526: checking whether the C compiler works
99configure:3536: ./a.out
100configure:3540: $? = 0
101configure:3559: result: yes
102configure:3566: checking whether we are cross compiling
103configure:3568: result: no
104configure:3571: checking for suffix of executables
105configure: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
106configure:3582: $? = 0
107configure:3608: result:
108configure:3614: checking for suffix of object files
109configure:3640: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
110configure:3644: $? = 0
111configure:3669: result: o
112configure:3673: checking whether we are using the GNU C compiler
113configure:3702: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
114configure:3709: $? = 0
115configure:3726: result: yes
116configure:3735: checking whether /usr/bin/clang accepts -g
117configure:3765: /usr/bin/clang -c -g -I/opt/local/include conftest.c >&5
118configure:3772: $? = 0
119configure:3873: result: yes
120configure:3890: checking for /usr/bin/clang option to accept ISO C89
121configure:3964: /usr/bin/clang  -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
122configure:3971: $? = 0
123configure:3994: result: none needed
124configure:4014: checking dependency style of /usr/bin/clang
125configure:4124: result: gcc3
126configure:4145: checking how to run the C preprocessor
127configure:4185: /usr/bin/clang -E -I/opt/local/include conftest.c
128configure:4192: $? = 0
129configure:4223: /usr/bin/clang -E -I/opt/local/include conftest.c
130conftest.c:15:10: fatal error: 'ac_nonexistent.h' file not found
131#include <ac_nonexistent.h>
132         ^
1331 error generated.
134configure:4230: $? = 1
135configure: 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>
151configure:4263: result: /usr/bin/clang -E
152configure:4292: /usr/bin/clang -E -I/opt/local/include conftest.c
153configure:4299: $? = 0
154configure:4330: /usr/bin/clang -E -I/opt/local/include conftest.c
155conftest.c:15:10: fatal error: 'ac_nonexistent.h' file not found
156#include <ac_nonexistent.h>
157         ^
1581 error generated.
159configure:4337: $? = 1
160configure: 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>
176configure:4377: checking for grep that handles long lines and -e
177configure:4437: result: /usr/bin/grep
178configure:4442: checking for egrep
179configure:4506: result: /usr/bin/grep -E
180configure:4511: checking for ANSI C header files
181configure:4541: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
182configure:4548: $? = 0
183configure: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
184configure:4651: $? = 0
185configure:4657: ./conftest
186configure:4661: $? = 0
187configure:4679: result: yes
188configure:4703: checking for sys/types.h
189configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
190configure:4731: $? = 0
191configure:4748: result: yes
192configure:4703: checking for sys/stat.h
193configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
194configure:4731: $? = 0
195configure:4748: result: yes
196configure:4703: checking for stdlib.h
197configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
198configure:4731: $? = 0
199configure:4748: result: yes
200configure:4703: checking for string.h
201configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
202configure:4731: $? = 0
203configure:4748: result: yes
204configure:4703: checking for memory.h
205configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
206configure:4731: $? = 0
207configure:4748: result: yes
208configure:4703: checking for strings.h
209configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
210configure:4731: $? = 0
211configure:4748: result: yes
212configure:4703: checking for inttypes.h
213configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
214configure:4731: $? = 0
215configure:4748: result: yes
216configure:4703: checking for stdint.h
217configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
218configure:4731: $? = 0
219configure:4748: result: yes
220configure:4703: checking for unistd.h
221configure:4724: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
222configure:4731: $? = 0
223configure:4748: result: yes
224configure:5141: checking for gcc
225configure:5168: result: /usr/bin/clang
226configure:5400: checking for C compiler version
227configure:5408: /usr/bin/clang --version >&5
228Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
229Target: x86_64-apple-darwin14.0.0
230Thread model: posix
231configure:5412: $? = 0
232configure:5419: /usr/bin/clang -v >&5
233Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
234Target: x86_64-apple-darwin14.0.0
235Thread model: posix
236configure:5423: $? = 0
237configure:5430: /usr/bin/clang -V >&5
238clang: error: argument to '-V' is missing (expected 1 value)
239clang: error: no input files
240configure:5434: $? = 1
241configure:5437: checking whether we are using the GNU C compiler
242configure:5490: result: yes
243configure:5499: checking whether /usr/bin/clang accepts -g
244configure:5637: result: yes
245configure:5654: checking for /usr/bin/clang option to accept ISO C89
246configure:5758: result: none needed
247configure:5778: checking dependency style of /usr/bin/clang
248configure:5888: result: gcc3
249configure:5904: checking whether /usr/bin/clang and cc understand -c and -o together
250configure:5939: /usr/bin/clang -c conftest.c -o conftest2.o >&5
251configure:5943: $? = 0
252configure:5949: /usr/bin/clang -c conftest.c -o conftest2.o >&5
253configure:5953: $? = 0
254configure:5964: cc -c conftest.c >&5
255configure:5968: $? = 0
256configure:5976: cc -c conftest.c -o conftest2.o >&5
257configure:5980: $? = 0
258configure:5986: cc -c conftest.c -o conftest2.o >&5
259configure:5990: $? = 0
260configure:6008: result: yes
261configure:6036: checking whether the C compiler (/usr/bin/clang) accepts noreturn attribute
262configure:6071: /usr/bin/clang -c -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
263conftest.c:29:4: warning: implicitly declaring library function 'exit' with type 'void (int) __attribute__((noreturn))'
264   exit (1);
265   ^
266conftest.c:29:4: note: please include the header <stdlib.h> or explicitly provide a declaration for 'exit'
2671 warning generated.
268configure:6078: $? = 0
269configure:6095: result: yes
270configure:6108: checking how to run the C preprocessor
271configure:6226: result: /usr/bin/clang -E
272configure:6255: /usr/bin/clang -E -I/opt/local/include conftest.c
273configure:6262: $? = 0
274configure:6293: /usr/bin/clang -E -I/opt/local/include conftest.c
275conftest.c:26:10: fatal error: 'ac_nonexistent.h' file not found
276#include <ac_nonexistent.h>
277         ^
2781 error generated.
279configure:6300: $? = 1
280configure: 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>
307configure:6451: checking for C++ compiler version
308configure:6459: /usr/bin/clang++ --version >&5
309Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
310Target: x86_64-apple-darwin14.0.0
311Thread model: posix
312configure:6463: $? = 0
313configure:6470: /usr/bin/clang++ -v >&5
314Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
315Target: x86_64-apple-darwin14.0.0
316Thread model: posix
317configure:6474: $? = 0
318configure:6481: /usr/bin/clang++ -V >&5
319clang: error: argument to '-V' is missing (expected 1 value)
320clang: error: no input files
321configure:6485: $? = 1
322configure:6488: checking whether we are using the GNU C++ compiler
323configure:6517: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include conftest.cpp >&5
324configure:6524: $? = 0
325configure:6541: result: yes
326configure:6550: checking whether /usr/bin/clang++ accepts -g
327configure:6580: /usr/bin/clang++ -c -g -I/opt/local/include conftest.cpp >&5
328configure:6587: $? = 0
329configure:6688: result: yes
330configure:6713: checking dependency style of /usr/bin/clang++
331configure:6823: result: gcc3
332configure:6843: checking how to run the C++ preprocessor
333configure:6879: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
334configure:6886: $? = 0
335configure:6917: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
336conftest.cpp:26:10: fatal error: 'ac_nonexistent.h' file not found
337#include <ac_nonexistent.h>
338         ^
3391 error generated.
340configure:6924: $? = 1
341configure: 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>
368configure:6957: result: /usr/bin/clang++ -E
369configure:6986: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
370configure:6993: $? = 0
371configure:7024: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
372conftest.cpp:26:10: fatal error: 'ac_nonexistent.h' file not found
373#include <ac_nonexistent.h>
374         ^
3751 error generated.
376configure:7031: $? = 1
377configure: 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>
404configure:7105: checking for a BSD-compatible install
405configure:7173: result: /usr/bin/install -c
406configure:7184: checking whether ln -s works
407configure:7188: result: yes
408configure:7195: checking whether make sets $(MAKE)
409configure:7217: result: yes
410configure:7251: checking for a sed that does not truncate output
411configure:7317: result: /opt/local/bin/gsed
412configure:7335: checking for fgrep
413configure:7399: result: /usr/bin/grep -F
414configure:7434: checking for ld used by /usr/bin/clang
415configure:7501: result: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
416configure:7510: checking if the linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) is GNU ld
417configure:7525: result: no
418configure:7537: checking for BSD- or MS-compatible name lister (nm)
419configure:7586: result: /opt/local/bin/nm
420configure:7704: checking the name lister (/opt/local/bin/nm) interface
421configure:7711: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
422configure:7714: /opt/local/bin/nm "conftest.o"
423configure:7717: output
4240000000000000000 S _some_variable
425configure:7724: result: BSD nm
426configure:7728: checking the maximum length of command line arguments
427configure:7848: result: 196608
428configure:7865: checking whether the shell understands some XSI constructs
429configure:7875: result: yes
430configure:7879: checking whether the shell understands "+="
431configure:7885: result: yes
432configure:7920: checking for /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld option to reload object files
433configure:7927: result: -r
434configure:7996: checking for objdump
435configure:8026: result: no
436configure:8055: checking how to recognize dependent libraries
437configure:8251: result: pass_all
438configure:8311: checking for ar
439configure:8327: found /opt/local/bin/ar
440configure:8338: result: ar
441configure:8416: checking for strip
442configure:8432: found /opt/local/bin/strip
443configure:8443: result: strip
444configure:8515: checking for ranlib
445configure:8531: found /opt/local/bin/ranlib
446configure:8542: result: ranlib
447configure:8632: checking command to parse /opt/local/bin/nm output from /usr/bin/clang object
448configure:8750: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
449configure:8753: $? = 0
450configure: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
451configure:8760: $? = 0
452cannot find nm_test_var in conftest.nm
453configure:8750: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
454configure:8753: $? = 0
455configure: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
456configure:8760: $? = 0
457configure: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
458configure:8817: $? = 0
459configure:8855: result: ok
460configure:9148: checking for dsymutil
461configure:9164: found /usr/bin/dsymutil
462configure:9175: result: dsymutil
463configure:9240: checking for nmedit
464configure:9256: found /opt/local/bin/nmedit
465configure:9267: result: nmedit
466configure:9332: checking for lipo
467configure:9348: found /opt/local/bin/lipo
468configure:9359: result: lipo
469configure:9424: checking for otool
470configure:9440: found /opt/local/bin/otool
471configure:9451: result: otool
472configure:9516: checking for otool64
473configure:9546: result: no
474configure: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
476configure:9618: result: yes
477configure:9620: checking for -exported_symbols_list linker flag
478configure: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
479configure:9657: $? = 0
480configure:9679: result: yes
481configure:9720: checking for dlfcn.h
482configure:9741: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
483configure:9748: $? = 0
484configure:9765: result: yes
485configure:9892: checking for C++ compiler version
486configure:9900: /usr/bin/clang++ --version >&5
487Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
488Target: x86_64-apple-darwin14.0.0
489Thread model: posix
490configure:9904: $? = 0
491configure:9911: /usr/bin/clang++ -v >&5
492Apple LLVM version 6.0 (clang-600.0.54) (based on LLVM 3.5svn)
493Target: x86_64-apple-darwin14.0.0
494Thread model: posix
495configure:9915: $? = 0
496configure:9922: /usr/bin/clang++ -V >&5
497clang: error: argument to '-V' is missing (expected 1 value)
498clang: error: no input files
499configure:9926: $? = 1
500configure:9929: checking whether we are using the GNU C++ compiler
501configure:9982: result: yes
502configure:9991: checking whether /usr/bin/clang++ accepts -g
503configure:10129: result: yes
504configure:10154: checking dependency style of /usr/bin/clang++
505configure:10264: result: gcc3
506configure:10287: checking how to run the C++ preprocessor
507configure:10401: result: /usr/bin/clang++ -E
508configure:10430: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
509configure:10437: $? = 0
510configure:10468: /usr/bin/clang++ -E -I/opt/local/include conftest.cpp
511conftest.cpp:29:10: fatal error: 'ac_nonexistent.h' file not found
512#include <ac_nonexistent.h>
513         ^
5141 error generated.
515configure:10475: $? = 1
516configure: 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>
546configure:10659: checking for objdir
547configure:10674: result: .libs
548configure:10966: checking if /usr/bin/clang supports -fno-rtti -fno-exceptions
549configure:10984: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -fno-rtti -fno-exceptions conftest.c >&5
550configure:10988: $? = 0
551configure:11001: result: yes
552configure:11021: checking for /usr/bin/clang option to produce PIC
553configure:11293: result: -fno-common -DPIC
554configure:11305: checking if /usr/bin/clang PIC flag -fno-common -DPIC works
555configure:11323: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -fno-common -DPIC -DPIC conftest.c >&5
556configure:11327: $? = 0
557configure:11340: result: yes
558configure:11364: checking if /usr/bin/clang static flag -static works
559configure:11392: result: no
560configure:11407: checking if /usr/bin/clang supports -c -o file.o
561configure:11428: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include -o out/conftest2.o conftest.c >&5
562configure:11432: $? = 0
563configure:11454: result: yes
564configure:11462: checking if /usr/bin/clang supports -c -o file.o
565configure:11509: result: yes
566configure:11542: checking whether the /usr/bin/clang linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
567configure:12616: result: yes
568configure:12855: checking dynamic linker characteristics
569configure:13541: result: darwin14.0.0 dyld
570configure:13643: checking how to hardcode library paths into programs
571configure:13668: result: immediate
572configure:14501: checking whether stripping libraries is possible
573configure:14515: result: yes
574configure:14541: checking if libtool supports shared libraries
575configure:14543: result: yes
576configure:14546: checking whether to build shared libraries
577configure:14567: result: no
578configure:14570: checking whether to build static libraries
579configure:14574: result: yes
580configure:14724: checking for ld used by /usr/bin/clang++
581configure:14791: result: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
582configure:14800: checking if the linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) is GNU ld
583configure:14815: result: no
584configure:14870: checking whether the /usr/bin/clang++ linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
585configure:15845: result: yes
586configure:15873: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include conftest.cpp >&5
587configure:15876: $? = 0
588configure:16058: checking for /usr/bin/clang++ option to produce PIC
589configure:16375: result: -fno-common -DPIC
590configure:16384: checking if /usr/bin/clang++ PIC flag -fno-common -DPIC works
591configure:16402: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -fno-common -DPIC -DPIC conftest.cpp >&5
592configure:16406: $? = 0
593configure:16419: result: yes
594configure:16440: checking if /usr/bin/clang++ static flag -static works
595configure:16468: result: no
596configure:16480: checking if /usr/bin/clang++ supports -c -o file.o
597configure:16501: /usr/bin/clang++ -c -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -o out/conftest2.o conftest.cpp >&5
598configure:16505: $? = 0
599configure:16527: result: yes
600configure:16532: checking if /usr/bin/clang++ supports -c -o file.o
601configure:16579: result: yes
602configure:16609: checking whether the /usr/bin/clang++ linker (/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld) supports shared libraries
603configure:16635: result: yes
604configure:16772: checking dynamic linker characteristics
605configure:17406: result: darwin14.0.0 dyld
606configure:17457: checking how to hardcode library paths into programs
607configure:17482: result: immediate
608configure:17544: checking for bison
609configure:17560: found /opt/local/bin/bison
610configure:17571: result: bison -y
611configure:17587: checking for flex
612configure:17603: found /opt/local/bin/flex
613configure:17614: result: flex
614configure:17651: flex conftest.l
615configure:17655: $? = 0
616configure:17657: checking lex output file root
617configure:17673: result: lex.yy
618configure:17678: checking lex library
619configure: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
620Undefined symbols for architecture x86_64:
621  "_yywrap", referenced from:
622      _yylex in conftest-d0ecfb.o
623      _main in conftest-d0ecfb.o
624ld: symbol(s) not found for architecture x86_64
625clang: error: linker command failed with exit code 1 (use -v to see invocation)
626configure:17704: $? = 1
627configure: 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| }
2396configure: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
2397configure:17704: $? = 0
2398configure:17728: result: -lfl
2399configure:17734: checking whether yytext is a pointer
2400configure: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
2401configure:17762: $? = 0
2402configure:17784: result: yes
2403configure:17803: checking for bison
2404configure:17819: found /opt/local/bin/bison
2405configure:17830: result: yes
2406configure:17869: checking for perl
2407configure:17887: found /opt/local/bin/perl
2408configure:17900: result: /opt/local/bin/perl
2409configure:17912: checking for lynx
2410configure:17942: result: no
2411configure:17912: checking for links
2412configure:17942: result: no
2413configure:17954: checking for latex
2414configure:17987: result: no
2415configure:18003: checking for pdflatex
2416configure:18036: result: no
2417configure:18043: checking for epstopdf
2418configure:18076: result: no
2419configure:18083: checking for pdftops
2420configure:18101: found /opt/local/bin/pdftops
2421configure:18113: result: /opt/local/bin/pdftops
2422configure:18179: checking for strip
2423configure:18206: result: strip
2424configure:18232: checking for /usr/bin/clang option to accept ISO C99
2425configure:18391: /usr/bin/clang  -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
2426configure:18398: $? = 0
2427configure:18421: result: none needed
2428configure:18559: checking for /usr/bin/clang option to accept ISO Standard C
2429configure:18568: result: none needed
2430configure:18575: checking for an ANSI C99-conforming __func__
2431configure:18601: /usr/bin/clang -c -fno-strict-aliasing -pipe -Os -arch x86_64 -I/opt/local/include conftest.c >&5
2432conftest.c:35:7: warning: initializing 'char *' with an expression of type 'const char [5]' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers]
2433char *foo = __func__;
2434      ^     ~~~~~~~~
24351 warning generated.
2436configure:18608: $? = 0
2437configure:18664: result: yes
2438configure:18686: checking size of void *
2439configure: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
2440configure:18995: $? = 0
2441configure:19001: ./conftest
2442configure:19005: $? = 0
2443configure:19031: result: 8
2444configure:19045: checking size of int
2445configure: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
2446configure:19354: $? = 0
2447configure:19360: ./conftest
2448configure:19364: $? = 0
2449configure:19390: result: 4
2450configure:19404: checking size of long
2451configure: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
2452configure:19713: $? = 0
2453configure:19719: ./conftest
2454configure:19723: $? = 0
2455configure:19749: result: 8
2456configure:19763: checking size of long long
2457configure: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
2458configure:20072: $? = 0
2459configure:20078: ./conftest
2460configure:20082: $? = 0
2461configure:20108: result: 8
2462configure:20123: checking for exp in -lm
2463configure: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
2464conftest.c:42:6: warning: incompatible redeclaration of library function 'exp' [-Wincompatible-library-redeclaration]
2465char exp ();
2466     ^
2467conftest.c:42:6: note: 'exp' is a builtin with type 'double (double)'
24681 warning generated.
2469configure:20165: $? = 0
2470configure:20186: result: yes
2471configure:20204: checking for main in -lncurses
2472configure: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
2473configure:20240: $? = 0
2474configure:20261: result: yes
2475configure:20410: checking for readline in -lreadline
2476configure: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
2477configure:20453: $? = 0
2478configure:20474: result: yes
2479configure:20504: checking for XML_ParserCreate in -lexpat
2480configure: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
2481configure:20546: $? = 0
2482configure:20567: result: yes
2483configure:20620: checking for util_cpu_time in -lcudd_util
2484configure: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
2485configure:20663: $? = 0
2486configure:20684: result: yes
2487configure:20695: checking for Mtr_AllocNode in -lmtr
2488configure: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
2489configure:20738: $? = 0
2490configure:20759: result: yes
2491configure:20770: checking for st_init_table in -lst
2492configure: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
2493configure:20813: $? = 0
2494configure:20834: result: yes
2495configure:20845: checking for Cudd_Ref in -lcudd
2496configure: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
2497configure:20888: $? = 0
2498configure:20909: result: yes
2499configure: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".
2500See configure option --with-minisat-incdir to specify where the header file is located.
2501
2502## ---------------- ##
2503## Cache variables. ##
2504## ---------------- ##
2505
2506ac_cv_build=x86_64-apple-darwin14.0.0
2507ac_cv_c_compiler_gnu=yes
2508ac_cv_cpp_func=yes
2509ac_cv_cxx_compiler_gnu=yes
2510ac_cv_env_CCC_set=
2511ac_cv_env_CCC_value=
2512ac_cv_env_CC_set=set
2513ac_cv_env_CC_value=/usr/bin/clang
2514ac_cv_env_CFLAGS_set=set
2515ac_cv_env_CFLAGS_value='-pipe -Os -arch x86_64'
2516ac_cv_env_CPPFLAGS_set=set
2517ac_cv_env_CPPFLAGS_value=-I/opt/local/include
2518ac_cv_env_CPP_set=
2519ac_cv_env_CPP_value=
2520ac_cv_env_CXXCPP_set=
2521ac_cv_env_CXXCPP_value=
2522ac_cv_env_CXXFLAGS_set=set
2523ac_cv_env_CXXFLAGS_value='-pipe -Os -arch x86_64 -stdlib=libc++'
2524ac_cv_env_CXX_set=set
2525ac_cv_env_CXX_value=/usr/bin/clang++
2526ac_cv_env_LDFLAGS_set=set
2527ac_cv_env_LDFLAGS_value='-L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64'
2528ac_cv_env_LIBS_set=
2529ac_cv_env_LIBS_value=
2530ac_cv_env_YACC_set=
2531ac_cv_env_YACC_value=
2532ac_cv_env_YFLAGS_set=
2533ac_cv_env_YFLAGS_value=
2534ac_cv_env_build_alias_set=
2535ac_cv_env_build_alias_value=
2536ac_cv_env_host_alias_set=
2537ac_cv_env_host_alias_value=
2538ac_cv_env_target_alias_set=
2539ac_cv_env_target_alias_value=
2540ac_cv_header_dlfcn_h=yes
2541ac_cv_header_inttypes_h=yes
2542ac_cv_header_memory_h=yes
2543ac_cv_header_stdc=yes
2544ac_cv_header_stdint_h=yes
2545ac_cv_header_stdlib_h=yes
2546ac_cv_header_string_h=yes
2547ac_cv_header_strings_h=yes
2548ac_cv_header_sys_stat_h=yes
2549ac_cv_header_sys_types_h=yes
2550ac_cv_header_unistd_h=yes
2551ac_cv_host=x86_64-apple-darwin14.0.0
2552ac_cv_lib_cudd_Cudd_Ref=yes
2553ac_cv_lib_cudd_util_util_cpu_time=yes
2554ac_cv_lib_expat_XML_ParserCreate=yes
2555ac_cv_lib_lex=-lfl
2556ac_cv_lib_m_exp=yes
2557ac_cv_lib_mtr_Mtr_AllocNode=yes
2558ac_cv_lib_ncurses_main=yes
2559ac_cv_lib_readline_readline=yes
2560ac_cv_lib_st_st_init_table=yes
2561ac_cv_objext=o
2562ac_cv_path_EGREP='/usr/bin/grep -E'
2563ac_cv_path_FGREP='/usr/bin/grep -F'
2564ac_cv_path_GREP=/usr/bin/grep
2565ac_cv_path_PDFTOPS=/opt/local/bin/pdftops
2566ac_cv_path_PERL=/opt/local/bin/perl
2567ac_cv_path_SED=/opt/local/bin/gsed
2568ac_cv_prog_AWK=gawk
2569ac_cv_prog_CPP='/usr/bin/clang -E'
2570ac_cv_prog_CXXCPP='/usr/bin/clang++ -E'
2571ac_cv_prog_LEX=flex
2572ac_cv_prog_YACC='bison -y'
2573ac_cv_prog__have_bison=yes
2574ac_cv_prog_ac_ct_AR=ar
2575ac_cv_prog_ac_ct_CC=/usr/bin/clang
2576ac_cv_prog_ac_ct_DSYMUTIL=dsymutil
2577ac_cv_prog_ac_ct_LIPO=lipo
2578ac_cv_prog_ac_ct_NMEDIT=nmedit
2579ac_cv_prog_ac_ct_OTOOL=otool
2580ac_cv_prog_ac_ct_RANLIB=ranlib
2581ac_cv_prog_ac_ct_STRIP=strip
2582ac_cv_prog_cc__usr_bin_clang_c_o=yes
2583ac_cv_prog_cc_c89=
2584ac_cv_prog_cc_c99=
2585ac_cv_prog_cc_g=yes
2586ac_cv_prog_cc_stdc=
2587ac_cv_prog_cxx_g=yes
2588ac_cv_prog_lex_root=lex.yy
2589ac_cv_prog_lex_yytext_pointer=yes
2590ac_cv_prog_make_make_set=yes
2591ac_cv_sizeof_int=4
2592ac_cv_sizeof_long=8
2593ac_cv_sizeof_long_long=8
2594ac_cv_sizeof_void_p=8
2595am_cv_CC_dependencies_compiler_type=gcc3
2596am_cv_CXX_dependencies_compiler_type=gcc3
2597am_cv_prog_tar_ustar=gnutar
2598lt_cv_apple_cc_single_mod=yes
2599lt_cv_deplibs_check_method=pass_all
2600lt_cv_file_magic_cmd='$MAGIC_CMD'
2601lt_cv_file_magic_test_file=
2602lt_cv_ld_exported_symbols_list=yes
2603lt_cv_ld_reload_flag=-r
2604lt_cv_nm_interface='BSD nm'
2605lt_cv_objdir=.libs
2606lt_cv_path_LD=/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
2607lt_cv_path_LDCXX=/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld
2608lt_cv_path_NM=/opt/local/bin/nm
2609lt_cv_prog_compiler_c_o=yes
2610lt_cv_prog_compiler_c_o_CXX=yes
2611lt_cv_prog_compiler_pic_works=yes
2612lt_cv_prog_compiler_pic_works_CXX=yes
2613lt_cv_prog_compiler_rtti_exceptions=yes
2614lt_cv_prog_compiler_static_works=no
2615lt_cv_prog_compiler_static_works_CXX=no
2616lt_cv_prog_gnu_ld=no
2617lt_cv_prog_gnu_ldcxx=no
2618lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[       ]\([BCDEGRST][BCDEGRST]*\)[     ][      ]*_\([_A-Za-z][_A-Za-z0-9]*\)$/\1 _\2 \2/p'\'''
2619lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \([^ ]*\) $/  {\"\1\", (void *) 0},/p'\'' -e '\''s/^[BCDEGRST]* \([^ ]*\) \([^ ]*\)$/  {"\2", (void *) \&\2},/p'\'''
2620lt_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'\'''
2621lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* \(.*\)$/extern int \1();/p'\'' -e '\''s/^[BCDEGRST]* .* \(.*\)$/extern char \1;/p'\'''
2622lt_cv_sys_max_cmd_len=196608
2623qef_cv_c_noreturn=yes
2624
2625## ----------------- ##
2626## Output variables. ##
2627## ----------------- ##
2628
2629ACLOCAL='${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'
2630ADDONS_PKGS=''
2631AMDEPBACKSLASH='\'
2632AMDEP_FALSE='#'
2633AMDEP_TRUE=''
2634AMTAR='${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'
2635AR='ar'
2636AUTOCONF='${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'
2637AUTOHEADER='${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'
2638AUTOMAKE='${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'
2639AWK='gawk'
2640CC='/usr/bin/clang'
2641CCDEPMODE='depmode=gcc3'
2642CFLAGS='-fno-strict-aliasing -pipe -Os -arch x86_64'
2643CPP='/usr/bin/clang -E'
2644CPPFLAGS='-I/opt/local/include'
2645CXX='/usr/bin/clang++'
2646CXXCPP='/usr/bin/clang++ -E'
2647CXXDEPMODE='depmode=gcc3'
2648CXXFLAGS='-pipe -Os -arch x86_64 -stdlib=libc++'
2649CYGPATH_W='echo'
2650DEFS=''
2651DEPDIR='.deps'
2652DSYMUTIL='dsymutil'
2653DUMPBIN=''
2654ECHO_C='\c'
2655ECHO_N=''
2656ECHO_T=''
2657EGREP='/usr/bin/grep -E'
2658EPSTOPDF=''
2659EXEEXT=''
2660EXTRA_PKGS=''
2661FGREP='/usr/bin/grep -F'
2662GREP='/usr/bin/grep'
2663HAVE_COMPASS_FALSE=''
2664HAVE_COMPASS_TRUE=''
2665HAVE_LATEX_FALSE=''
2666HAVE_LATEX_TRUE='#'
2667HAVE_LIBEXPAT=''
2668HAVE_LIBEXPAT_FALSE='#'
2669HAVE_LIBEXPAT_TRUE=''
2670HAVE_LTL2SMV_FALSE='#'
2671HAVE_LTL2SMV_TRUE=''
2672HAVE_MINISAT=''
2673HAVE_MINISAT_FALSE=''
2674HAVE_MINISAT_TRUE=''
2675HAVE_NOT_CUDD_FALSE=''
2676HAVE_NOT_CUDD_TRUE='#'
2677HAVE_PDFLATEXETAL_FALSE=''
2678HAVE_PDFLATEXETAL_TRUE='#'
2679HAVE_PSL_PARSER_FALSE=''
2680HAVE_PSL_PARSER_TRUE='#'
2681HAVE_ZCHAFF=''
2682HAVE_ZCHAFF_FALSE=''
2683HAVE_ZCHAFF_TRUE='#'
2684HTMLDUMP='lynx_or_links_is_missing'
2685IF_USE_PACKAGE_HYPERREF='\iffalse'
2686INSTALL_DATA='${INSTALL} -m 644'
2687INSTALL_PROGRAM='${INSTALL}'
2688INSTALL_SCRIPT='${INSTALL}'
2689INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
2690LATEX=''
2691LD='/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ld'
2692LDFLAGS='-L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64'
2693LEX='flex'
2694LEXLIB='-lfl'
2695LEX_OUTPUT_ROOT='lex.yy'
2696LIBOBJS=''
2697LIBS='-lm '
2698LIBTOOL='$(SHELL) $(top_builddir)/libtool'
2699LIPO='lipo'
2700LN_S='ln -s'
2701LTLIBOBJS=''
2702MAKEINFO='${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'
2703MKDIR_P='helpers/install-sh -c -d'
2704NM='/opt/local/bin/nm'
2705NMEDIT='nmedit'
2706NUSMV_MAJ_VER='2.5'
2707OBJDUMP='false'
2708OBJEXT='o'
2709OTOOL64=':'
2710OTOOL='otool'
2711PACKAGE='nusmv'
2712PACKAGE_BUGREPORT='nusmv-users@fbk.eu'
2713PACKAGE_NAME='NuSMV'
2714PACKAGE_STRING='NuSMV 2.5.4'
2715PACKAGE_TARNAME='nusmv'
2716PACKAGE_VERSION='2.5.4'
2717PATH_SEPARATOR=':'
2718PDFLATEX=''
2719PDFTOPS='/opt/local/bin/pdftops'
2720PERL='/opt/local/bin/perl'
2721POW_LIB=''
2722RANLIB='ranlib'
2723SED='/opt/local/bin/gsed'
2724SET_MAKE=''
2725SHELL='/bin/sh'
2726STRIP='strip'
2727USE_LEGACY_FLEX=''
2728USE_LEGACY_FLEX_FALSE=''
2729USE_LEGACY_FLEX_TRUE='#'
2730VERSION='2.5.4'
2731YACC='bison -y'
2732YFLAGS=''
2733_have_bison='yes'
2734ac_ct_CC='/usr/bin/clang'
2735ac_ct_CXX=''
2736ac_ct_DUMPBIN=''
2737am__EXEEXT_FALSE=''
2738am__EXEEXT_TRUE=''
2739am__fastdepCC_FALSE='#'
2740am__fastdepCC_TRUE=''
2741am__fastdepCXX_FALSE='#'
2742am__fastdepCXX_TRUE=''
2743am__include='include'
2744am__isrc=''
2745am__leading_dot='.'
2746am__quote=''
2747am__tar='tar --format=ustar -chf - "$$tardir"'
2748am__untar='tar -xf -'
2749bindir='${exec_prefix}/bin'
2750build='x86_64-apple-darwin14.0.0'
2751build_alias=''
2752build_cpu='x86_64'
2753build_os='darwin14.0.0'
2754build_vendor='apple'
2755cudd_mkf=''
2756cudddir='/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'
2757cuddname='cudd-2.4.1.1'
2758datadir='${datarootdir}'
2759datarootdir='${prefix}/share'
2760docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
2761dvidir='${docdir}'
2762exec_prefix='NONE'
2763expat_libs='-L/opt/local/lib -lexpat'
2764expatuserinc='-L /opt/local/include'
2765have_sat_solver=''
2766host='x86_64-apple-darwin14.0.0'
2767host_alias=''
2768host_cpu='x86_64'
2769host_os='darwin14.0.0'
2770host_vendor='apple'
2771htmldir='${docdir}'
2772includedir='${prefix}/include'
2773infodir='${datarootdir}/info'
2774install_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'
2775libdir='${exec_prefix}/lib'
2776libexecdir='${exec_prefix}/libexec'
2777localedir='${datarootdir}/locale'
2778localstatedir='${prefix}/var'
2779lt_ECHO='/bin/echo'
2780mandir='${datarootdir}/man'
2781minisat_ifcname='Solver_C.h'
2782minisat_libname='MiniSat'
2783minisat_libs=''
2784minisat_nusmv='./../MiniSat'
2785minisat_patch='MiniSat_v070721_nusmv.patch'
2786minisat_ver='070721'
2787minisatincdir='/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'
2788minisatlibdir='/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'
2789mkdir_p='$(top_builddir)/helpers/install-sh -c -d'
2790oldincludedir='/usr/include'
2791pdfdir='${docdir}'
2792prefix='/opt/local'
2793program_transform_name='s,x,x,'
2794psdir='${docdir}'
2795readline_libs='-lreadline -lncurses'
2796regex_libs=''
2797sbindir='${exec_prefix}/sbin'
2798sharedstatedir='${prefix}/com'
2799sysconfdir='${prefix}/etc'
2800target_alias=''
2801zchaff_ifcname='SAT_C.h'
2802zchaff_libname='sat'
2803zchaff_libs=''
2804zchaff_nusmv='./../zchaff'
2805zchaff_patch='zchaff.64bit.2007.3.12_nusmv.patch'
2806zchaff_ver='2007.3.12'
2807zchaffincdir='./../zchaff_v2007.3.12'
2808zchafflibdir='./../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
2852configure: exit 1