Ticket #32600: NEW_main.log

File NEW_main.log, 44.1 KB (added by merteminkalender@…, 13 years ago)

NEW_main.log

Line 
1version:1
2:debug:main epoch: in tree: 0 installed: 0
3:debug:main readline 6.2.000_0 exists in the ports tree
4:debug:main readline 6.2.000_0  is the latest installed
5:debug:main readline 6.2.000_0  is active
6:debug:main Merging existing variants '' into variants
7:debug:main new fully merged portvariants:
8:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/readline
9:debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386
10:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
11:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
12:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
13:debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
14:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
15:debug:main universal variant already exists, so not adding the default one
16:debug:main No need to upgrade! readline 6.2.000_0 >= readline 6.2.000_0
17:debug:main epoch: in tree: 0 installed: 0
18:debug:main ncurses 5.9_1 exists in the ports tree
19:debug:main ncurses 5.9_1  is the latest installed
20:debug:main ncurses 5.9_1  is active
21:debug:main Merging existing variants '' into variants
22:debug:main new fully merged portvariants:
23:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/ncurses
24:debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386
25:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
26:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
27:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
28:debug:main adding the default universal variant
29:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
30:debug:main No need to upgrade! ncurses 5.9_1 >= ncurses 5.9_1
31:debug:main epoch: in tree: 0 installed: 0
32:debug:main expat 2.0.1_1 exists in the ports tree
33:debug:main expat 2.0.1_1  is the latest installed
34:debug:main expat 2.0.1_1  is active
35:debug:main Merging existing variants '' into variants
36:debug:main new fully merged portvariants:
37:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/expat
38:debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386
39:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
40:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
41:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
42:debug:main adding the default universal variant
43:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
44:debug:main No need to upgrade! expat 2.0.1_1 >= expat 2.0.1_1
45:msg:main --->  Computing dependencies for nusmv:info:main .:debug:main Searching for dependency: readline
46:debug:main Found Dependency: receipt exists for readline
47:debug:main Searching for dependency: expat
48:debug:main Found Dependency: receipt exists for expat
49:msg:main
50:debug:main Executing org.macports.main (nusmv)
51:debug:main changing euid/egid - current euid: 0 - current egid: 0
52:debug:main egid changed to: 501
53:debug:main euid changed to: 502
54:debug:archivefetch archivefetch phase started at Tue Dec 20 13:15:27 EET 2011
55:msg:archivefetch --->  Fetching archive for nusmv
56:debug:archivefetch Executing org.macports.archivefetch (nusmv)
57:debug:archivefetch euid/egid changed to: 0/0
58:debug:archivefetch chowned /opt/local/var/macports/software/nusmv to macports
59:debug:archivefetch euid/egid changed to: 502/501
60:debug:archivefetch euid/egid changed to: 0/0
61:debug:archivefetch chowned /opt/local/var/macports/incoming to macports
62:debug:archivefetch euid/egid changed to: 502/501
63:info:archivefetch --->  nusmv-2.5.4_0.darwin_11.x86_64.tbz2 doesn't seem to exist in /opt/local/var/macports/software/nusmv
64:msg:archivefetch --->  Attempting to fetch nusmv-2.5.4_0.darwin_11.x86_64.tbz2 from http://packages.macports.org/nusmv
65:debug:archivefetch Fetching archive failed:: The requested URL returned error: 404
66:debug:archivefetch Privilege de-escalation not attempted as not running as root.
67:debug:fetch fetch phase started at Tue Dec 20 13:15:28 EET 2011
68:notice:fetch --->  Fetching nusmv
69:debug:fetch euid/egid changed to: 0/0
70:debug:fetch chowned /opt/local/var/macports/distfiles/nusmv to macports
71:debug:fetch euid/egid changed to: 502/501
72:debug:fetch Executing org.macports.fetch (nusmv)
73:debug:fetch Privilege de-escalation not attempted as not running as root.
74:debug:checksum checksum phase started at Tue Dec 20 13:15:28 EET 2011
75:notice:checksum --->  Verifying checksum(s) for nusmv
76:debug:checksum Executing org.macports.checksum (nusmv)
77:info:checksum --->  Checksumming NuSMV-2.5.4.tar.gz
78:debug:checksum Correct (rmd160) checksum for NuSMV-2.5.4.tar.gz
79:debug:checksum Correct (sha256) checksum for NuSMV-2.5.4.tar.gz
80:info:checksum --->  Checksumming minisat2-070721.zip
81:debug:checksum Correct (rmd160) checksum for minisat2-070721.zip
82:debug:checksum Correct (sha256) checksum for minisat2-070721.zip
83:debug:checksum Privilege de-escalation not attempted as not running as root.
84:debug:extract extract phase started at Tue Dec 20 13:15:28 EET 2011
85:notice:extract --->  Extracting nusmv
86:debug:extract Executing org.macports.extract (nusmv)
87:info:extract --->  Extracting NuSMV-2.5.4.tar.gz
88:debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz'
89:debug:extract Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7'
90:debug:extract Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf -'
91:debug:extract Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf -
92:debug:extract euid/egid changed to: 0/0
93:debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work to macports
94:debug:extract euid/egid changed to: 502/501
95:debug:extract Executing proc-post-org.macports.extract-extract-0
96:info:extract Archive:  /opt/local/var/macports/distfiles/nusmv/minisat2-070721.zip
97:info:extract    creating: minisat/
98:info:extract    creating: minisat/mtl/
99:info:extract   inflating: minisat/mtl/Alg.h       
100:info:extract   inflating: minisat/mtl/BasicHeap.h 
101:info:extract   inflating: minisat/mtl/BoxedVec.h 
102:info:extract   inflating: minisat/mtl/Heap.h     
103:info:extract   inflating: minisat/mtl/Map.h       
104:info:extract   inflating: minisat/mtl/Queue.h     
105:info:extract   inflating: minisat/mtl/Sort.h     
106:info:extract   inflating: minisat/mtl/Vec.h       
107:info:extract   inflating: minisat/mtl/template.mk 
108:info:extract    creating: minisat/core/
109:info:extract   inflating: minisat/core/Main.C     
110:info:extract   inflating: minisat/core/Solver.C   
111:info:extract   inflating: minisat/core/Solver.h   
112:info:extract   inflating: minisat/core/SolverTypes.h 
113:info:extract   inflating: minisat/core/Makefile   
114:info:extract    creating: minisat/simp/
115:info:extract   inflating: minisat/simp/Main.C     
116:info:extract   inflating: minisat/simp/SimpSolver.C 
117:info:extract   inflating: minisat/simp/SimpSolver.h 
118:info:extract   inflating: minisat/simp/Makefile   
119:info:extract   inflating: minisat/LICENSE         
120:info:extract   inflating: minisat/README         
121:debug:extract Privilege de-escalation not attempted as not running as root.
122:debug:patch patch phase started at Tue Dec 20 13:15:30 EET 2011
123:debug:patch Executing org.macports.patch (nusmv)
124:debug:patch Privilege de-escalation not attempted as not running as root.
125:debug:configure configure phase started at Tue Dec 20 13:15:30 EET 2011
126:notice:configure --->  Configuring nusmv
127:debug:configure Using compiler 'Mac OS X clang'
128:debug:configure Executing proc-pre-org.macports.configure-configure-0
129:info:configure sh ./setup.sh
130:info:configure Setting up cudd...  Done
131:info:configure Making cudd ...
132:info:configure /Developer/usr/bin/clang -c  cuddAPI.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
133:info:configure /Developer/usr/bin/clang -c  cuddAddOp.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
134:info:configure /Developer/usr/bin/clang -c  cuddAddFind.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
135:info:configure /Developer/usr/bin/clang -c  cuddAddIte.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
136:info:configure /Developer/usr/bin/clang -c  cuddAndAbs.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
137:info:configure /Developer/usr/bin/clang -c  cuddBddOp.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
138:info:configure /Developer/usr/bin/clang -c  cuddAnneal.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
139:info:configure /Developer/usr/bin/clang -c  cuddApprox.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
140:info:configure /Developer/usr/bin/clang -c  cuddBddAbs.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
141:info:configure /Developer/usr/bin/clang -c  cuddBddCorr.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
142:info:configure /Developer/usr/bin/clang -c  cuddBddIte.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
143:info:configure /Developer/usr/bin/clang -c  cuddBridge.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
144:info:configure /Developer/usr/bin/clang -c  cuddCache.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
145:info:configure /Developer/usr/bin/clang -c  cuddCheck.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
146:info:configure /Developer/usr/bin/clang -c  cuddClip.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
147:info:configure /Developer/usr/bin/clang -c  cuddCof.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
148:info:configure /Developer/usr/bin/clang -c  cuddCompose.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
149:info:configure /Developer/usr/bin/clang -c  cuddDecomp.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
150:info:configure /Developer/usr/bin/clang -c  cuddEssent.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
151:info:configure /Developer/usr/bin/clang -c  cuddExact.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
152:info:configure /Developer/usr/bin/clang -c  cuddExport.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
153:info:configure /Developer/usr/bin/clang -c  cuddGenCof.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
154:info:configure /Developer/usr/bin/clang -c  cuddGenetic.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
155:info:configure /Developer/usr/bin/clang -c  cuddGroup.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
156:info:configure /Developer/usr/bin/clang -c  cuddInit.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
157:info:configure /Developer/usr/bin/clang -c  cuddInteract.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
158:info:configure /Developer/usr/bin/clang -c  cuddLCache.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
159:info:configure cuddLCache.c:911:5: warning: array index of '1' indexes past the end of an array (that contains 1 elements) [-Warray-bounds]
160:info:configure     item->key[1] = g;
161:info:configure     ^         ~
162:info:configure ./cuddInt.h:287:5: note: array 'key' declared here
163:info:configure     DdNode *key[1];
164:info:configure     ^
165:info:configure cuddLCache.c:1022:5: warning: array index of '1' indexes past the end of an array (that contains 1 elements) [-Warray-bounds]
166:info:configure     item->key[1] = g;
167:info:configure     ^         ~
168:info:configure ./cuddInt.h:287:5: note: array 'key' declared here
169:info:configure     DdNode *key[1];
170:info:configure     ^
171:info:configure cuddLCache.c:1023:5: warning: array index of '2' indexes past the end of an array (that contains 1 elements) [-Warray-bounds]
172:info:configure     item->key[2] = h;
173:info:configure     ^         ~
174:info:configure ./cuddInt.h:287:5: note: array 'key' declared here
175:info:configure     DdNode *key[1];
176:info:configure     ^
177:info:configure 3 warnings generated.
178:info:configure /Developer/usr/bin/clang -c  cuddLevelQ.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
179:info:configure /Developer/usr/bin/clang -c  cuddLinear.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
180:info:configure /Developer/usr/bin/clang -c  cuddLiteral.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
181:info:configure /Developer/usr/bin/clang -c  cuddRef.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
182:info:configure /Developer/usr/bin/clang -c  cuddReorder.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
183:info:configure /Developer/usr/bin/clang -c  cuddSat.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
184:info:configure /Developer/usr/bin/clang -c  cuddSign.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
185:info:configure /Developer/usr/bin/clang -c  cuddSolve.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
186:info:configure /Developer/usr/bin/clang -c  cuddSplit.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
187:info:configure /Developer/usr/bin/clang -c  cuddSubsetHB.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
188:info:configure /Developer/usr/bin/clang -c  cuddSubsetSP.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
189:info:configure /Developer/usr/bin/clang -c  cuddSymmetry.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
190:info:configure /Developer/usr/bin/clang -c  cuddTable.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
191:info:configure /Developer/usr/bin/clang -c  cuddUtil.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
192:info:configure cuddUtil.c:3281:53: warning: conversion specifies type 'unsigned int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
193:info:configure     (void) fprintf(stderr, "\nunable to allocate %" PRIuPTR " bytes\n", size);
194:info:configure                                                  ~~~^                   ~~~~
195:info:configure ../include/util.h:282:22: note: instantiated from:
196:info:configure #    define PRIuPTR "u"
197:info:configure                      ^
198:info:configure 1 warning generated.
199:info:configure /Developer/usr/bin/clang -c  cuddWindow.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
200:info:configure /Developer/usr/bin/clang -c  cuddZddCount.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
201:info:configure /Developer/usr/bin/clang -c  cuddZddFuncs.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
202:info:configure /Developer/usr/bin/clang -c  cuddZddGroup.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
203:info:configure /Developer/usr/bin/clang -c  cuddZddIsop.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
204:info:configure /Developer/usr/bin/clang -c  cuddZddLin.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
205:info:configure /Developer/usr/bin/clang -c  cuddZddMisc.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
206:info:configure /Developer/usr/bin/clang -c  cuddZddPort.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
207:info:configure /Developer/usr/bin/clang -c  cuddZddReord.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
208:info:configure /Developer/usr/bin/clang -c  cuddZddSetop.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
209:info:configure /Developer/usr/bin/clang -c  cuddZddSymm.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
210:info:configure /Developer/usr/bin/clang -c  cuddZddUtil.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
211:info:configure ar rv libcudd.a cuddAPI.o cuddAddOp.o cuddAddFind.o cuddAddIte.o cuddAndAbs.o cuddBddOp.o cuddAnneal.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o
212:info:configure ar: creating archive libcudd.a
213:info:configure a - cuddAPI.o
214:info:configure a - cuddAddOp.o
215:info:configure a - cuddAddFind.o
216:info:configure a - cuddAddIte.o
217:info:configure a - cuddAndAbs.o
218:info:configure a - cuddBddOp.o
219:info:configure a - cuddAnneal.o
220:info:configure a - cuddApprox.o
221:info:configure a - cuddBddAbs.o
222:info:configure a - cuddBddCorr.o
223:info:configure a - cuddBddIte.o
224:info:configure a - cuddBridge.o
225:info:configure a - cuddCache.o
226:info:configure a - cuddCheck.o
227:info:configure a - cuddClip.o
228:info:configure a - cuddCof.o
229:info:configure a - cuddCompose.o
230:info:configure a - cuddDecomp.o
231:info:configure a - cuddEssent.o
232:info:configure a - cuddExact.o
233:info:configure a - cuddExport.o
234:info:configure a - cuddGenCof.o
235:info:configure a - cuddGenetic.o
236:info:configure a - cuddGroup.o
237:info:configure a - cuddInit.o
238:info:configure a - cuddInteract.o
239:info:configure a - cuddLCache.o
240:info:configure a - cuddLevelQ.o
241:info:configure a - cuddLinear.o
242:info:configure a - cuddLiteral.o
243:info:configure a - cuddRef.o
244:info:configure a - cuddReorder.o
245:info:configure a - cuddSat.o
246:info:configure a - cuddSign.o
247:info:configure a - cuddSolve.o
248:info:configure a - cuddSplit.o
249:info:configure a - cuddSubsetHB.o
250:info:configure a - cuddSubsetSP.o
251:info:configure a - cuddSymmetry.o
252:info:configure a - cuddTable.o
253:info:configure a - cuddUtil.o
254:info:configure a - cuddWindow.o
255:info:configure a - cuddZddCount.o
256:info:configure a - cuddZddFuncs.o
257:info:configure a - cuddZddGroup.o
258:info:configure a - cuddZddIsop.o
259:info:configure a - cuddZddLin.o
260:info:configure a - cuddZddMisc.o
261:info:configure a - cuddZddPort.o
262:info:configure a - cuddZddReord.o
263:info:configure a - cuddZddSetop.o
264:info:configure a - cuddZddSymm.o
265:info:configure a - cuddZddUtil.o
266:info:configure ranlib libcudd.a
267:info:configure Making mtr ...
268:info:configure /Developer/usr/bin/clang -c  mtrBasic.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
269:info:configure /Developer/usr/bin/clang -c  mtrGroup.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 
270:info:configure ar rv libmtr.a mtrBasic.o mtrGroup.o
271:info:configure ar: creating archive libmtr.a
272:info:configure a - mtrBasic.o
273:info:configure a - mtrGroup.o
274:info:configure ranlib libmtr.a
275:info:configure Making st ...
276:info:configure /Developer/usr/bin/clang -c st.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
277:info:configure ar rv libst.a st.o
278:info:configure ar: creating archive libst.a
279:info:configure a - st.o
280:info:configure ranlib libst.a
281:info:configure Making util ...
282:info:configure /Developer/usr/bin/clang -c cpu_time.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
283:info:configure /Developer/usr/bin/clang -c cpu_stats.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
284:info:configure /Developer/usr/bin/clang -c getopt.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
285:info:configure /Developer/usr/bin/clang -c safe_mem.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
286:info:configure safe_mem.c:45:59: warning: conversion specifies type 'unsigned int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
287:info:configure     (void) fprintf(stderr, "\nout of memory allocating %" PRIuPTR " bytes\n",
288:info:configure                                                        ~~~^
289:info:configure ./util.h:282:22: note: instantiated from:
290:info:configure #    define PRIuPTR "u"
291:info:configure                      ^
292:info:configure 1 warning generated.
293:info:configure /Developer/usr/bin/clang -c strsav.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
294:info:configure /Developer/usr/bin/clang -c texpand.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
295:info:configure /Developer/usr/bin/clang -c ptime.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
296:info:configure /Developer/usr/bin/clang -c prtime.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
297:info:configure /Developer/usr/bin/clang -c pipefork.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
298:info:configure pipefork.c:53:12: warning: implicit declaration of function 'pipe' is invalid in C99 [-Wimplicit-function-declaration]
299:info:configure     (void) pipe(topipe);
300:info:configure            ^
301:info:configure pipefork.c:59:20: warning: implicit declaration of function 'vfork' is invalid in C99 [-Wimplicit-function-declaration]
302:info:configure     if ((forkpid = vfork()) == 0) {
303:info:configure                    ^
304:info:configure pipefork.c:62:9: warning: implicit declaration of function 'dup2' is invalid in C99 [-Wimplicit-function-declaration]
305:info:configure         (void) dup2(topipe[0], fileno(stdin));
306:info:configure                ^
307:info:configure pipefork.c:65:9: warning: implicit declaration of function 'close' is invalid in C99 [-Wimplicit-function-declaration]
308:info:configure         (void) close(topipe[0]);
309:info:configure                ^
310:info:configure pipefork.c:70:9: warning: implicit declaration of function 'execvp' is invalid in C99 [-Wimplicit-function-declaration]
311:info:configure         (void) execvp(argv[0], argv);
312:info:configure                ^
313:info:configure pipefork.c:73:9: warning: implicitly declaring C library function '_exit' with type 'void (int) __attribute__((noreturn))'
314:info:configure         (void) _exit(1);
315:info:configure                ^
316:info:configure pipefork.c:73:9: note: please include the header <unistd.h> or explicitly provide a declaration for '_exit'
317:info:configure pipefork.c:83:21: warning: incompatible pointer types passing 'union wait *' to parameter of type 'int *' [-Wincompatible-pointer-types]
318:info:configure     waitPid = wait3(&status, WNOHANG, NULL);
319:info:configure                     ^~~~~~~
320:info:configure /usr/include/sys/wait.h:261:18: note: passing argument to parameter here
321:info:configure pid_t   wait3(int *, int, struct rusage *);
322:info:configure                    ^
323:info:configure 7 warnings generated.
324:info:configure /Developer/usr/bin/clang -c pathsearch.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
325:info:configure pathsearch.c:78:10: warning: implicit declaration of function 'access' is invalid in C99 [-Wimplicit-function-declaration]
326:info:configure   return access(filename, access_mode) == 0;
327:info:configure          ^
328:info:configure 1 warning generated.
329:info:configure /Developer/usr/bin/clang -c stub.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
330:info:configure /Developer/usr/bin/clang -c tmpfile.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
331:info:configure tmpfile.c:31:12: warning: implicit declaration of function 'unlink' is invalid in C99 [-Wimplicit-function-declaration]
332:info:configure     (void) unlink(filename);
333:info:configure            ^
334:info:configure 1 warning generated.
335:info:configure /Developer/usr/bin/clang -c datalimit.c -I../include -DUNIX -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
336:info:configure ar rv libutil.a cpu_time.o cpu_stats.o getopt.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o tmpfile.o datalimit.o
337:info:configure ar: creating archive libutil.a
338:info:configure a - cpu_time.o
339:info:configure a - cpu_stats.o
340:info:configure a - getopt.o
341:info:configure a - safe_mem.o
342:info:configure a - strsav.o
343:info:configure a - texpand.o
344:info:configure a - ptime.o
345:info:configure a - prtime.o
346:info:configure a - pipefork.o
347:info:configure a - pathsearch.o
348:info:configure a - stub.o
349:info:configure a - tmpfile.o
350:info:configure a - datalimit.o
351:info:configure ranlib libutil.a
352:info:configure Making epd ...
353:info:configure /Developer/usr/bin/clang -c epd.c -I../include -arch x86_64  -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
354:info:configure ar rv libepd.a epd.o
355:info:configure ar: creating archive libepd.a
356:info:configure a - epd.o
357:info:configure ranlib libepd.a
358:info:configure sh ./setup.sh
359:info:configure Setting up cudd...  Done
360:info:configure patching file minisat/core/depend.mk
361:info:configure patching file minisat/core/Solver.C
362:info:configure patching file minisat/core/Solver_C.C
363:info:configure patching file minisat/core/Solver_C.h
364:info:configure patching file minisat/core/Solver.h
365:info:configure patching file minisat/Makefile
366:info:configure patching file minisat/mtl/template.mk
367:info:configure patching file minisat/simp/Makefile
368:info:configure patching file minisat/simp/SimpSolver.C
369:info:configure patching file minisat/simp/Solver_C.C
370:info:configure patching file minisat/simp/Solver_C.h
371:info:configure
372:info:configure Building minisat using <make  lib> ...
373:info:configure cd simp && make lib && ranlib libminisat.a
374:info:configure Making dependencies ...
375:info:configure clang: warning: argument unused during compilation: '-ffloat-store'
376:info:configure Compiling: SimpSolver.or ( SimpSolver.C )
377:info:configure clang: warning: argument unused during compilation: '-ffloat-store'
378:info:configure SimpSolver.C:40:24: error: use of undeclared identifier 'Clause_new'
379:info:configure     bwdsub_tmpunit   = Clause_new(dummy);
380:info:configure                        ^
381:info:configure 1 error generated.
382:info:configure make[1]: *** [SimpSolver.or] Error 1
383:info:configure make: *** [simp/libminisat.a] Error 2
384:info:configure
385:debug:configure Executing org.macports.configure (nusmv)
386:debug:configure Environment: CPATH='/opt/local/include' CFLAGS='-pipe -O2 -arch x86_64' CPPFLAGS='-I/opt/local/include' CXXFLAGS='-pipe -O2 -arch x86_64' LIBRARY_PATH='/opt/local/lib' MACOSX_DEPLOYMENT_TARGET='10.7' CXX='/Developer/usr/bin/clang++' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS' F90FLAGS='-pipe -O2 -m64' LDFLAGS='-L/opt/local/lib -arch x86_64' OBJC='/Developer/usr/bin/clang' FCFLAGS='-pipe -O2 -m64' INSTALL='/usr/bin/install -c' OBJCFLAGS='-pipe -O2 -arch x86_64' FFLAGS='-pipe -O2 -m64' CC_PRINT_OPTIONS='YES' CC='/Developer/usr/bin/clang'
387:debug:configure Assembled command: 'cd "/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" && ./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'
388:debug:configure Executing command line:  cd "/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" && ./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
389:info:configure checking for a BSD-compatible install... /usr/bin/install -c
390:info:configure checking whether build environment is sane... yes
391:info:configure checking for a thread-safe mkdir -p... helpers/install-sh -c -d
392:info:configure checking for gawk... no
393:info:configure checking for mawk... no
394:info:configure checking for nawk... no
395:info:configure checking for awk... awk
396:info:configure checking whether make sets $(MAKE)... yes
397:info:configure checking how to create a ustar tar archive... gnutar
398:info:configure checking build system type... x86_64-apple-darwin11.2.0
399:info:configure checking host system type... x86_64-apple-darwin11.2.0
400:info:configure checking for style of include used by make... GNU
401:info:configure checking for gcc... /Developer/usr/bin/clang
402:info:configure checking for C compiler default output file name... a.out
403:info:configure checking whether the C compiler works... yes
404:info:configure checking whether we are cross compiling... no
405:info:configure checking for suffix of executables...
406:info:configure checking for suffix of object files... o
407:info:configure checking whether we are using the GNU C compiler... yes
408:info:configure checking whether /Developer/usr/bin/clang accepts -g... yes
409:info:configure checking for /Developer/usr/bin/clang option to accept ISO C89... none needed
410:info:configure checking dependency style of /Developer/usr/bin/clang... gcc3
411:info:configure checking how to run the C preprocessor... /Developer/usr/bin/clang -E
412:info:configure checking for grep that handles long lines and -e... /usr/bin/grep
413:info:configure checking for egrep... /usr/bin/grep -E
414:info:configure checking for ANSI C header files... yes
415:info:configure checking for sys/types.h... yes
416:info:configure checking for sys/stat.h... yes
417:info:configure checking for stdlib.h... yes
418:info:configure checking for string.h... yes
419:info:configure checking for memory.h... yes
420:info:configure checking for strings.h... yes
421:info:configure checking for inttypes.h... yes
422:info:configure checking for stdint.h... yes
423:info:configure checking for unistd.h... yes
424:info:configure checking for gcc... (cached) /Developer/usr/bin/clang
425:info:configure checking whether we are using the GNU C compiler... (cached) yes
426:info:configure checking whether /Developer/usr/bin/clang accepts -g... (cached) yes
427:info:configure checking for /Developer/usr/bin/clang option to accept ISO C89... (cached) none needed
428:info:configure checking dependency style of /Developer/usr/bin/clang... (cached) gcc3
429:info:configure checking whether /Developer/usr/bin/clang and cc understand -c and -o together... yes
430:info:configure checking whether the C compiler (/Developer/usr/bin/clang) accepts noreturn attribute... yes
431:info:configure checking how to run the C preprocessor... /Developer/usr/bin/clang -E
432:info:configure checking whether we are using the GNU C++ compiler... yes
433:info:configure checking whether /Developer/usr/bin/clang++ accepts -g... yes
434:info:configure checking dependency style of /Developer/usr/bin/clang++... gcc3
435:info:configure checking how to run the C++ preprocessor... /Developer/usr/bin/clang++ -E
436:info:configure checking for a BSD-compatible install... /usr/bin/install -c
437:info:configure checking whether ln -s works... yes
438:info:configure checking whether make sets $(MAKE)... (cached) yes
439:info:configure checking for a sed that does not truncate output... /usr/bin/sed
440:info:configure checking for fgrep... /usr/bin/grep -F
441:info:configure checking for ld used by /Developer/usr/bin/clang... /Developer/usr/bin/ld
442:info:configure checking if the linker (/Developer/usr/bin/ld) is GNU ld... no
443:info:configure checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm
444:info:configure checking the name lister (/usr/bin/nm) interface... BSD nm
445:info:configure checking the maximum length of command line arguments... 196608
446:info:configure checking whether the shell understands some XSI constructs... yes
447:info:configure checking whether the shell understands "+="... yes
448:info:configure checking for /Developer/usr/bin/ld option to reload object files... -r
449:info:configure checking for objdump... no
450:info:configure checking how to recognize dependent libraries... pass_all
451:info:configure checking for ar... ar
452:info:configure checking for strip... strip
453:info:configure checking for ranlib... ranlib
454:info:configure checking command to parse /usr/bin/nm output from /Developer/usr/bin/clang object... ok
455:info:configure checking for dsymutil... dsymutil
456:info:configure checking for nmedit... nmedit
457:info:configure checking for lipo... lipo
458:info:configure checking for otool... otool
459:info:configure checking for otool64... no
460:info:configure checking for -single_module linker flag... yes
461:info:configure checking for -exported_symbols_list linker flag... yes
462:info:configure checking for dlfcn.h... yes
463:info:configure checking whether we are using the GNU C++ compiler... (cached) yes
464:info:configure checking whether /Developer/usr/bin/clang++ accepts -g... (cached) yes
465:info:configure checking dependency style of /Developer/usr/bin/clang++... (cached) gcc3
466:info:configure checking how to run the C++ preprocessor... /Developer/usr/bin/clang++ -E
467:info:configure checking for objdir... .libs
468:info:configure checking if /Developer/usr/bin/clang supports -fno-rtti -fno-exceptions... yes
469:info:configure checking for /Developer/usr/bin/clang option to produce PIC... -fno-common -DPIC
470:info:configure checking if /Developer/usr/bin/clang PIC flag -fno-common -DPIC works... yes
471:info:configure checking if /Developer/usr/bin/clang static flag -static works... no
472:info:configure checking if /Developer/usr/bin/clang supports -c -o file.o... yes
473:info:configure checking if /Developer/usr/bin/clang supports -c -o file.o... (cached) yes
474:info:configure checking whether the /Developer/usr/bin/clang linker (/Developer/usr/bin/ld) supports shared libraries... yes
475:info:configure checking dynamic linker characteristics... darwin11.2.0 dyld
476:info:configure checking how to hardcode library paths into programs... immediate
477:info:configure checking whether stripping libraries is possible... yes
478:info:configure checking if libtool supports shared libraries... yes
479:info:configure checking whether to build shared libraries... no
480:info:configure checking whether to build static libraries... yes
481:info:configure checking for ld used by /Developer/usr/bin/clang++... /Developer/usr/bin/ld
482:info:configure checking if the linker (/Developer/usr/bin/ld) is GNU ld... no
483:info:configure checking whether the /Developer/usr/bin/clang++ linker (/Developer/usr/bin/ld) supports shared libraries... yes
484:info:configure checking for /Developer/usr/bin/clang++ option to produce PIC... -fno-common -DPIC
485:info:configure checking if /Developer/usr/bin/clang++ PIC flag -fno-common -DPIC works... yes
486:info:configure checking if /Developer/usr/bin/clang++ static flag -static works... no
487:info:configure checking if /Developer/usr/bin/clang++ supports -c -o file.o... yes
488:info:configure checking if /Developer/usr/bin/clang++ supports -c -o file.o... (cached) yes
489:info:configure checking whether the /Developer/usr/bin/clang++ linker (/Developer/usr/bin/ld) supports shared libraries... yes
490:info:configure checking dynamic linker characteristics... darwin11.2.0 dyld
491:info:configure checking how to hardcode library paths into programs... immediate
492:info:configure checking for bison... bison -y
493:info:configure checking for flex... flex
494:info:configure checking lex output file root... lex.yy
495:info:configure checking lex library... -lfl
496:info:configure checking whether yytext is a pointer... yes
497:info:configure checking for bison... yes
498:info:configure checking for perl... /usr/bin/perl
499:info:configure checking for lynx... no
500:info:configure checking for links... no
501:info:configure checking for latex... no
502:info:configure checking for pdflatex... no
503:info:configure checking for epstopdf... no
504:info:configure checking for pdftops... no
505:info:configure checking for strip... (cached) strip
506:info:configure checking for /Developer/usr/bin/clang option to accept ISO C99... none needed
507:info:configure checking for /Developer/usr/bin/clang option to accept ISO Standard C... (cached) none needed
508:info:configure checking for an ANSI C99-conforming __func__... yes
509:info:configure checking size of void *... 8
510:info:configure checking size of int... 4
511:info:configure checking size of long... 8
512:info:configure checking size of long long... 8
513:info:configure checking for exp in -lm... yes
514:info:configure checking for main in -lncurses... yes
515:info:configure checking for readline in -lreadline... yes
516:info:configure checking for XML_ParserCreate in -lexpat... yes
517:info:configure checking for util_cpu_time in -lcudd_util... yes
518:info:configure checking for Mtr_AllocNode in -lmtr... yes
519:info:configure checking for st_init_table in -lst... yes
520:info:configure checking for Cudd_Ref in -lcudd... yes
521:info:configure configure: 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".
522:info:configure See configure option --with-minisat-incdir to specify where the header file is located.
523:info:configure shell command " cd "/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" && ./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 " returned error 1
524:error:configure Target org.macports.configure returned: configure failure: shell command failed (see log for details)
525:debug:configure Backtrace: configure failure: shell command failed (see log for details)
526    while executing
527"$procedure $targetname"
528:info:configure Warning: the following items did not execute (for nusmv): org.macports.activate org.macports.configure org.macports.build org.macports.destroot org.macports.install
529:notice:configure Log for nusmv is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log