Ticket #45839: main.log

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