Ticket #66932: main.log

File main.log, 189.9 KB (added by phillipabennett, 21 months ago)
Line 
1version:1
2:debug:main Starting logging for nusmv @2.6.0_1
3:debug:sysinfo macOS 13.2.1 (darwin/22.3.0) arch i386
4:debug:sysinfo MacPorts 2.8.1
5:debug:sysinfo Xcode 14.2, CLT none
6:debug:sysinfo SDK 13
7:debug:sysinfo MACOSX_DEPLOYMENT_TARGET: 13.0
8:debug:main Fetching nusmv-2.6.0_1.darwin_22.x86_64.tbz2 archive size
9:debug:main epoch: in tree: 0 installed: 0
10:debug:main cmake 3.24.3_0 exists in the ports tree
11:debug:main cmake 3.24.3_0  is the latest installed
12:debug:main cmake 3.24.3_0  is active
13:debug:main Merging existing requested variants '' into variants
14:debug:main new fully merged portvariants:
15:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/cmake
16:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
17:debug:main Sourcing PortGroup xcodeversion 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/xcodeversion-1.0.tcl
18:debug:main Sourcing PortGroup gitlab 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/gitlab-1.0.tcl
19:debug:main Sourcing PortGroup legacysupport 1.1 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/legacysupport-1.1.tcl
20:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
21:debug:main Re-registering default for extract.rename
22:debug:main Re-registering default for livecheck.regex
23:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
24:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
25:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
26:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
27:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
28:debug:main universal_variant is false, so not adding the default universal variant
29:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
30:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
31:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
32:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
33:debug:main Running callback portstartupitem::add_notes
34:debug:main Finished running callback portstartupitem::add_notes
35:debug:main Running callback legacysupport::add_legacysupport
36:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
37:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
38:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
39:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
40:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
41:debug:main Finished running callback legacysupport::add_legacysupport
42:debug:main No need to upgrade! cmake 3.24.3_0 >= cmake 3.24.3_0
43:debug:main epoch: in tree: 1 installed: 1
44:debug:main libcxx 5.0.1_5 exists in the ports tree
45:debug:main libcxx 5.0.1_5  is the latest installed
46:debug:main libcxx 5.0.1_5  is active
47:debug:main Merging existing requested variants '' into variants
48:debug:main new fully merged portvariants:
49:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/lang/libcxx
50:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
51:debug:main Sourcing PortGroup active_variants 1.1 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/active_variants-1.1.tcl
52:debug:main universal_variant is false, so not adding the default universal variant
53:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
54:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
55:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
56:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
57:debug:main Running callback portstartupitem::add_notes
58:debug:main Finished running callback portstartupitem::add_notes
59:debug:main No need to upgrade! libcxx 5.0.1_5 >= libcxx 5.0.1_5
60:debug:main epoch: in tree: 0 installed: 0
61:debug:main curl 7.87.0_0 exists in the ports tree
62:debug:main curl 7.87.0_0 +http2+ssl is the latest installed
63:debug:main curl 7.87.0_0 +http2+ssl is active
64:debug:main Merging existing requested variants '' into variants
65:debug:main new fully merged portvariants:
66:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/net/curl
67:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
68:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
69:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
70:debug:main muniversal: adding universal variant
71:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
72:debug:main Executing variant http2 provides http2
73:debug:main Executing variant ssl provides ssl
74:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
75:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
76:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
77:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
78:debug:main Running callback portstartupitem::add_notes
79:debug:main Finished running callback portstartupitem::add_notes
80:debug:main No need to upgrade! curl 7.87.0_0 >= curl 7.87.0_0
81:debug:main epoch: in tree: 0 installed: 0
82:debug:main brotli 1.0.9_2 exists in the ports tree
83:debug:main brotli 1.0.9_2  is the latest installed
84:debug:main brotli 1.0.9_2  is active
85:debug:main Merging existing requested variants '' into variants
86:debug:main new fully merged portvariants:
87:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/brotli
88:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
89:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
90:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
91:debug:main Re-registering default for configure.dir
92:debug:main Re-registering default for configure.pre_args
93:debug:main Re-registering default for build.dir
94:debug:main Re-registering default for destroot.target
95:debug:main Sourcing PortGroup cmake 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/cmake-1.0.tcl
96:debug:main Re-registering default for extract.rename
97:debug:main Re-registering default for livecheck.url
98:debug:main Re-registering default for livecheck.regex
99:debug:main adding the default universal variant
100:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
101:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
102:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
103:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
104:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
105:debug:main Running callback portstartupitem::add_notes
106:debug:main Finished running callback portstartupitem::add_notes
107:debug:main No need to upgrade! brotli 1.0.9_2 >= brotli 1.0.9_2
108:debug:main epoch: in tree: 0 installed: 0
109:debug:main libidn2 2.3.4_1 exists in the ports tree
110:debug:main libidn2 2.3.4_1  is the latest installed
111:debug:main libidn2 2.3.4_1  is active
112:debug:main Merging existing requested variants '' into variants
113:debug:main new fully merged portvariants:
114:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/mail/libidn2
115:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
116:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
117:debug:main adding the default universal variant
118:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
119:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
120:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
121:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
122:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
123:debug:main Running callback portstartupitem::add_notes
124:debug:main Finished running callback portstartupitem::add_notes
125:debug:main No need to upgrade! libidn2 2.3.4_1 >= libidn2 2.3.4_1
126:debug:main epoch: in tree: 0 installed: 0
127:debug:main gettext-runtime 0.21_0 exists in the ports tree
128:debug:main gettext-runtime 0.21_0  is the latest installed
129:debug:main gettext-runtime 0.21_0  is active
130:debug:main Merging existing requested variants '' into variants
131:debug:main new fully merged portvariants:
132:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/gettext
133:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
134:debug:main Sourcing PortGroup compiler_blacklist_versions 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/compiler_blacklist_versions-1.0.tcl
135:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
136:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
137:debug:main compiler clang 1400.0.29.202 not blacklisted because it doesn't match {clang < 211.10.1}
138:debug:main muniversal: adding universal variant
139:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
140:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
141:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
142:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
143:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
144:debug:main Running callback portstartupitem::add_notes
145:debug:main Finished running callback portstartupitem::add_notes
146:debug:main No need to upgrade! gettext-runtime 0.21_0 >= gettext-runtime 0.21_0
147:debug:main epoch: in tree: 0 installed: 0
148:debug:main libiconv 1.17_0 exists in the ports tree
149:debug:main libiconv 1.17_0  is the latest installed
150:debug:main libiconv 1.17_0  is active
151:debug:main Merging existing requested variants '' into variants
152:debug:main new fully merged portvariants:
153:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/textproc/libiconv
154:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
155:debug:main Re-registering default for configure.universal_args
156:debug:main Re-registering default for configure.cc_archflags
157:debug:main Re-registering default for configure.objc_archflags
158:debug:main Re-registering default for configure.cxx_archflags
159:debug:main Re-registering default for configure.objcxx_archflags
160:debug:main Re-registering default for configure.fc_archflags
161:debug:main Re-registering default for configure.f90_archflags
162:debug:main Re-registering default for configure.f77_archflags
163:debug:main Re-registering default for configure.ld_archflags
164:debug:main Re-registering default for configure.universal_cflags
165:debug:main Re-registering default for configure.universal_objcflags
166:debug:main Re-registering default for configure.universal_cxxflags
167:debug:main Re-registering default for configure.universal_objcxxflags
168:debug:main Re-registering default for configure.universal_cppflags
169:debug:main Re-registering default for configure.universal_ldflags
170:debug:main Sourcing PortGroup muniversal 1.1 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.1.tcl
171:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
172:debug:main muniversal: adding universal variant
173:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
174:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
175:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
176:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
177:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
178:debug:main Running callback portstartupitem::add_notes
179:debug:main Finished running callback portstartupitem::add_notes
180:debug:main Running callback muniversal::add_compiler_flags
181:debug:main Finished running callback muniversal::add_compiler_flags
182:debug:main No need to upgrade! libiconv 1.17_0 >= libiconv 1.17_0
183:debug:main epoch: in tree: 0 installed: 0
184:debug:main libunistring 1.1_0 exists in the ports tree
185:debug:main libunistring 1.1_0  is the latest installed
186:debug:main libunistring 1.1_0  is active
187:debug:main Merging existing requested variants '' into variants
188:debug:main new fully merged portvariants:
189:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/textproc/libunistring
190:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
191:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
192:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
193:debug:main muniversal: adding universal variant
194:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
195:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
196:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
197:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
198:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
199:debug:main Running callback portstartupitem::add_notes
200:debug:main Finished running callback portstartupitem::add_notes
201:debug:main No need to upgrade! libunistring 1.1_0 >= libunistring 1.1_0
202:debug:main epoch: in tree: 0 installed: 0
203:debug:main libpsl 0.21.2-20230117_0 exists in the ports tree
204:debug:main libpsl 0.21.2-20230117_0  is the latest installed
205:debug:main libpsl 0.21.2-20230117_0  is active
206:debug:main Merging existing requested variants '' into variants
207:debug:main new fully merged portvariants:
208:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/net/libpsl
209:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
210:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
211:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
212:debug:main Re-registering default for extract.rename
213:debug:main Re-registering default for livecheck.url
214:debug:main Re-registering default for livecheck.regex
215:debug:main Re-registering default for extract.rename
216:debug:main adding the default universal variant
217:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
218:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
219:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
220:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
221:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
222:debug:main Running callback portstartupitem::add_notes
223:debug:main Finished running callback portstartupitem::add_notes
224:debug:main No need to upgrade! libpsl 0.21.2-20230117_0 >= libpsl 0.21.2-20230117_0
225:debug:main epoch: in tree: 0 installed: 0
226:debug:main zlib 1.2.13_0 exists in the ports tree
227:debug:main zlib 1.2.13_0  is the latest installed
228:debug:main zlib 1.2.13_0  is active
229:debug:main Merging existing requested variants '' into variants
230:debug:main new fully merged portvariants:
231:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/zlib
232:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
233:debug:main Sourcing PortGroup xcodeversion 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/xcodeversion-1.0.tcl
234:debug:main adding the default universal variant
235:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
236:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
237:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
238:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
239:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
240:debug:main Running callback portstartupitem::add_notes
241:debug:main Finished running callback portstartupitem::add_notes
242:debug:main No need to upgrade! zlib 1.2.13_0 >= zlib 1.2.13_0
243:debug:main epoch: in tree: 0 installed: 0
244:debug:main zstd 1.5.4_0 exists in the ports tree
245:debug:main zstd 1.5.4_0  is the latest installed
246:debug:main zstd 1.5.4_0  is active
247:debug:main Merging existing requested variants '' into variants
248:debug:main new fully merged portvariants:
249:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/zstd
250:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
251:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
252:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
253:debug:main Sourcing PortGroup compiler_wrapper 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/compiler_wrapper-1.0.tcl
254:debug:main Re-registering default for use_configure
255:debug:main Re-registering default for universal_variant
256:debug:main Sourcing PortGroup makefile 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/makefile-1.0.tcl
257:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
258:debug:main Re-registering default for extract.rename
259:debug:main Re-registering default for livecheck.url
260:debug:main Re-registering default for livecheck.regex
261:debug:main Re-registering default for extract.rename
262:debug:main muniversal: adding universal variant
263:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
264:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
265:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
266:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
267:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
268:debug:main Running callback portstartupitem::add_notes
269:debug:main Finished running callback portstartupitem::add_notes
270:debug:main Running callback compwrap::configure_envs
271:debug:main Finished running callback compwrap::configure_envs
272:debug:main Running callback makefile_pg::makefile_setup
273:debug:main Finished running callback makefile_pg::makefile_setup
274:debug:main No need to upgrade! zstd 1.5.4_0 >= zstd 1.5.4_0
275:debug:main epoch: in tree: 0 installed: 0
276:debug:main lz4 1.9.4_0 exists in the ports tree
277:debug:main lz4 1.9.4_0  is the latest installed
278:debug:main lz4 1.9.4_0  is active
279:debug:main Merging existing requested variants '' into variants
280:debug:main new fully merged portvariants:
281:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/lz4
282:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
283:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
284:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
285:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
286:debug:main Re-registering default for extract.rename
287:debug:main Re-registering default for livecheck.url
288:debug:main Re-registering default for livecheck.regex
289:debug:main Re-registering default for extract.rename
290:debug:main muniversal: adding universal variant
291:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
292:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
293:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
294:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
295:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
296:debug:main Running callback portstartupitem::add_notes
297:debug:main Finished running callback portstartupitem::add_notes
298:debug:main No need to upgrade! lz4 1.9.4_0 >= lz4 1.9.4_0
299:debug:main epoch: in tree: 0 installed: 0
300:debug:main xz 5.2.10_0 exists in the ports tree
301:debug:main xz 5.2.10_0  is the latest installed
302:debug:main xz 5.2.10_0  is active
303:debug:main Merging existing requested variants '' into variants
304:debug:main new fully merged portvariants:
305:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/xz
306:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
307:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
308:debug:main adding the default universal variant
309:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
310:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
311:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
312:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
313:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
314:debug:main Running callback portstartupitem::add_notes
315:debug:main Finished running callback portstartupitem::add_notes
316:debug:main No need to upgrade! xz 5.2.10_0 >= xz 5.2.10_0
317:debug:main epoch: in tree: 0 installed: 0
318:debug:main nghttp2 1.52.0_0 exists in the ports tree
319:debug:main nghttp2 1.52.0_0  is the latest installed
320:debug:main nghttp2 1.52.0_0  is active
321:debug:main Merging existing requested variants '' into variants
322:debug:main new fully merged portvariants:
323:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/www/nghttp2
324:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
325:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
326:debug:main Removing legacy build support
327:debug:main Sourcing PortGroup legacysupport 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/legacysupport-1.0.tcl
328:debug:main Re-registering default for extract.rename
329:debug:main Re-registering default for livecheck.url
330:debug:main Re-registering default for livecheck.regex
331:debug:main Re-registering default for extract.rename
332:debug:main adding the default universal variant
333:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
334:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
335:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
336:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
337:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
338:debug:main Running callback portstartupitem::add_notes
339:debug:main Finished running callback portstartupitem::add_notes
340:debug:main Running callback add_legacysupport
341:debug:main Removing legacy build support
342:debug:main Finished running callback add_legacysupport
343:debug:main No need to upgrade! nghttp2 1.52.0_0 >= nghttp2 1.52.0_0
344:debug:main epoch: in tree: 2 installed: 2
345:debug:main openssl 3_9 exists in the ports tree
346:debug:main openssl 3_9  is the latest installed
347:debug:main openssl 3_9  is active
348:debug:main Merging existing requested variants '' into variants
349:debug:main new fully merged portvariants:
350:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/openssl
351:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
352:debug:main Sourcing PortGroup compiler_wrapper 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/compiler_wrapper-1.0.tcl
353:debug:main Sourcing PortGroup openssl 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/openssl-1.0.tcl
354:debug:main openssl: Set OpenSSL Branch dependency 3
355:debug:main openssl: configure_proc set : Configure ''
356:debug:main adding the default universal variant
357:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
358:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
359:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
360:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
361:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
362:debug:main Running callback portstartupitem::add_notes
363:debug:main Finished running callback portstartupitem::add_notes
364:debug:main Running callback compwrap::configure_envs
365:debug:main Finished running callback compwrap::configure_envs
366:debug:main Running callback openssl::set_openssl_dependency
367:debug:main openssl: Set OpenSSL Branch dependency 3
368:debug:main Finished running callback openssl::set_openssl_dependency
369:debug:main Running callback openssl::check_for_cmake
370:debug:main Finished running callback openssl::check_for_cmake
371:debug:main Running callback openssl::configure_build
372:debug:main Finished running callback openssl::configure_build
373:debug:main No need to upgrade! openssl 3_9 >= openssl 3_9
374:debug:main epoch: in tree: 0 installed: 0
375:debug:main openssl3 3.0.8_1 exists in the ports tree
376:debug:main openssl3 3.0.8_1 +legacy is the latest installed
377:debug:main openssl3 3.0.8_1 +legacy is active
378:debug:main Merging existing requested variants '' into variants
379:debug:main new fully merged portvariants:
380:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/openssl3
381:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
382:debug:main Sourcing PortGroup compiler_blacklist_versions 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/compiler_blacklist_versions-1.0.tcl
383:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
384:debug:main Sourcing PortGroup legacysupport 1.1 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/legacysupport-1.1.tcl
385:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
386:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
387:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
388:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
389:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
390:debug:main muniversal: adding universal variant
391:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
392:debug:main Executing variant legacy provides legacy
393:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
394:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
395:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
396:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
397:debug:main Running callback portstartupitem::add_notes
398:debug:main Finished running callback portstartupitem::add_notes
399:debug:main Running callback legacysupport::add_legacysupport
400:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
401:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
402:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
403:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
404:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
405:debug:main Finished running callback legacysupport::add_legacysupport
406:debug:main No need to upgrade! openssl3 3.0.8_1 >= openssl3 3.0.8_1
407:debug:main epoch: in tree: 0 installed: 0
408:debug:main curl-ca-bundle 7.87.0_0 exists in the ports tree
409:debug:main curl-ca-bundle 7.87.0_0  is the latest installed
410:debug:main curl-ca-bundle 7.87.0_0  is active
411:debug:main Merging existing requested variants '' into variants
412:debug:main new fully merged portvariants:
413:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/net/curl
414:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
415:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
416:debug:main universal_variant is false, so not adding the default universal variant
417:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
418:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
419:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
420:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
421:debug:main Running callback portstartupitem::add_notes
422:debug:main Finished running callback portstartupitem::add_notes
423:debug:main No need to upgrade! curl-ca-bundle 7.87.0_0 >= curl-ca-bundle 7.87.0_0
424:debug:main epoch: in tree: 0 installed: 0
425:debug:main expat 2.5.0_0 exists in the ports tree
426:debug:main expat 2.5.0_0  is the latest installed
427:debug:main expat 2.5.0_0  is active
428:debug:main Merging existing requested variants '' into variants
429:debug:main new fully merged portvariants:
430:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/textproc/expat
431:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
432:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
433:debug:main muniversal: adding universal variant
434:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
435:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
436:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
437:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
438:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
439:debug:main Running callback portstartupitem::add_notes
440:debug:main Finished running callback portstartupitem::add_notes
441:debug:main No need to upgrade! expat 2.5.0_0 >= expat 2.5.0_0
442:debug:main epoch: in tree: 0 installed: 0
443:debug:main bzip2 1.0.8_0 exists in the ports tree
444:debug:main bzip2 1.0.8_0  is the latest installed
445:debug:main bzip2 1.0.8_0  is active
446:debug:main Merging existing requested variants '' into variants
447:debug:main new fully merged portvariants:
448:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/bzip2
449:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
450:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
451:debug:main universal variant already exists, so not adding the default one
452:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
453:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
454:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
455:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
456:debug:main Running callback portstartupitem::add_notes
457:debug:main Finished running callback portstartupitem::add_notes
458:debug:main No need to upgrade! bzip2 1.0.8_0 >= bzip2 1.0.8_0
459:debug:main epoch: in tree: 0 installed: 0
460:debug:main libarchive 3.6.2_1 exists in the ports tree
461:debug:main libarchive 3.6.2_1  is the latest installed
462:debug:main libarchive 3.6.2_1  is active
463:debug:main Merging existing requested variants '' into variants
464:debug:main new fully merged portvariants:
465:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/libarchive
466:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
467:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
468:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
469:debug:main muniversal: adding universal variant
470:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
471:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
472:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
473:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
474:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
475:debug:main Running callback portstartupitem::add_notes
476:debug:main Finished running callback portstartupitem::add_notes
477:debug:main No need to upgrade! libarchive 3.6.2_1 >= libarchive 3.6.2_1
478:debug:main epoch: in tree: 0 installed: 0
479:debug:main libxml2 2.10.3_1 exists in the ports tree
480:debug:main libxml2 2.10.3_1  is the latest installed
481:debug:main libxml2 2.10.3_1  is active
482:debug:main Merging existing requested variants '' into variants
483:debug:main new fully merged portvariants:
484:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/textproc/libxml2
485:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
486:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
487:debug:main adding the default universal variant
488:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
489:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
490:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
491:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
492:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
493:debug:main Running callback portstartupitem::add_notes
494:debug:main Finished running callback portstartupitem::add_notes
495:debug:main No need to upgrade! libxml2 2.10.3_1 >= libxml2 2.10.3_1
496:debug:main epoch: in tree: 1 installed: 1
497:debug:main icu 72.1_0 exists in the ports tree
498:debug:main icu 72.1_0  is the latest installed
499:debug:main icu 72.1_0  is active
500:debug:main Merging existing requested variants '' into variants
501:debug:main new fully merged portvariants:
502:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/icu
503:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
504:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
505:debug:main adding the default universal variant
506:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
507:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
508:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
509:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
510:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
511:debug:main Running callback portstartupitem::add_notes
512:debug:main Finished running callback portstartupitem::add_notes
513:debug:main No need to upgrade! icu 72.1_0 >= icu 72.1_0
514:debug:main epoch: in tree: 0 installed: 0
515:debug:main lzo2 2.10_0 exists in the ports tree
516:debug:main lzo2 2.10_0  is the latest installed
517:debug:main lzo2 2.10_0  is active
518:debug:main Merging existing requested variants '' into variants
519:debug:main new fully merged portvariants:
520:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/archivers/lzo2
521:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
522:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
523:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
524:debug:main muniversal: adding universal variant
525:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
526:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
527:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
528:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
529:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
530:debug:main Running callback portstartupitem::add_notes
531:debug:main Finished running callback portstartupitem::add_notes
532:debug:main No need to upgrade! lzo2 2.10_0 >= lzo2 2.10_0
533:debug:main epoch: in tree: 0 installed: 0
534:debug:main libb2 0.98.1_1 exists in the ports tree
535:debug:main libb2 0.98.1_1  is the latest installed
536:debug:main libb2 0.98.1_1  is active
537:debug:main Merging existing requested variants '' into variants
538:debug:main new fully merged portvariants:
539:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/libb2
540:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
541:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
542:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
543:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
544:debug:main Re-registering default for extract.rename
545:debug:main Re-registering default for livecheck.url
546:debug:main Re-registering default for livecheck.regex
547:debug:main muniversal: adding universal variant
548:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
549:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
550:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
551:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
552:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
553:debug:main Running callback portstartupitem::add_notes
554:debug:main Finished running callback portstartupitem::add_notes
555:debug:main No need to upgrade! libb2 0.98.1_1 >= libb2 0.98.1_1
556:debug:main epoch: in tree: 0 installed: 0
557:debug:main ncurses 6.4_0 exists in the ports tree
558:debug:main ncurses 6.4_0  is the latest installed
559:debug:main ncurses 6.4_0  is active
560:debug:main Merging existing requested variants '' into variants
561:debug:main new fully merged portvariants:
562:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/ncurses
563:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
564:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
565:debug:main adding the default universal variant
566:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
567:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
568:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
569:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
570:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
571:debug:main Running callback portstartupitem::add_notes
572:debug:main Finished running callback portstartupitem::add_notes
573:debug:main No need to upgrade! ncurses 6.4_0 >= ncurses 6.4_0
574:debug:main epoch: in tree: 0 installed: 0
575:debug:main libuv 1.44.2_0 exists in the ports tree
576:debug:main libuv 1.44.2_0  is the latest installed
577:debug:main libuv 1.44.2_0  is active
578:debug:main Merging existing requested variants '' into variants
579:debug:main new fully merged portvariants:
580:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/libuv
581:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
582:debug:main Sourcing PortGroup github 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/github-1.0.tcl
583:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
584:debug:main Sourcing PortGroup legacysupport 1.1 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/legacysupport-1.1.tcl
585:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
586:debug:main Re-registering default for extract.rename
587:debug:main Re-registering default for livecheck.url
588:debug:main Re-registering default for livecheck.regex
589:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
590:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
591:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
592:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
593:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
594:debug:main muniversal: adding universal variant
595:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
596:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
597:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
598:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
599:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
600:debug:main Running callback portstartupitem::add_notes
601:debug:main Finished running callback portstartupitem::add_notes
602:debug:main Running callback legacysupport::add_legacysupport
603:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to extract.env
604:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to configure.env
605:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to build.env
606:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to destroot.env
607:debug:main legacysupport: Will append MACPORTS_LEGACY_SUPPORT_DISABLED=1 to test.env
608:debug:main Finished running callback legacysupport::add_legacysupport
609:debug:main No need to upgrade! libuv 1.44.2_0 >= libuv 1.44.2_0
610:debug:main epoch: in tree: 0 installed: 0
611:debug:main pkgconfig 0.29.2_0 exists in the ports tree
612:debug:main pkgconfig 0.29.2_0  is the latest installed
613:debug:main pkgconfig 0.29.2_0  is active
614:debug:main Merging existing requested variants '' into variants
615:debug:main new fully merged portvariants:
616:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/pkgconfig
617:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
618:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
619:debug:main Sourcing PortGroup conflicts_build 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/conflicts_build-1.0.tcl
620:debug:main adding the default universal variant
621:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
622:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
623:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
624:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
625:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
626:debug:main Running callback portstartupitem::add_notes
627:debug:main Finished running callback portstartupitem::add_notes
628:debug:main No need to upgrade! pkgconfig 0.29.2_0 >= pkgconfig 0.29.2_0
629:debug:main epoch: in tree: 0 installed: 0
630:debug:main readline 8.1.2.000_0 exists in the ports tree
631:debug:main readline 8.1.2.000_0  is the latest installed
632:debug:main readline 8.1.2.000_0  is active
633:debug:main Merging existing requested variants '' into variants
634:debug:main new fully merged portvariants:
635:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/devel/readline
636:debug:main OS darwin/22.3.0 (macOS 13.2.1) arch i386
637:debug:main Sourcing PortGroup muniversal 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
638:debug:main Sourcing PortGroup clang_dependency 1.0 from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/group/clang_dependency-1.0.tcl
639:debug:main muniversal: adding universal variant
640:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
641:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
642:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
643:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
644:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
645:debug:main Running callback portstartupitem::add_notes
646:debug:main Finished running callback portstartupitem::add_notes
647:debug:main No need to upgrade! readline 8.1.2.000_0 >= readline 8.1.2.000_0
648:msg:main --->  Computing dependencies for nusmv:info:main .:debug:main Checking for conflicts against nusmv
649:debug:main Searching for dependency: libcudd
650:debug:main Didn't find receipt, going to depspec regex for: libcudd
651:debug:main Searching for dependency: cmake
652:debug:main Found Dependency: receipt exists for cmake
653:debug:main Searching for dependency: pkgconfig
654:debug:main Found Dependency: receipt exists for pkgconfig
655:debug:main Searching for dependency: libxml2
656:debug:main Found Dependency: receipt exists for libxml2
657:debug:main Searching for dependency: readline
658:debug:main Found Dependency: receipt exists for readline
659:debug:main Executing org.macports.main (nusmv)
660:debug:main dropping privileges: euid changed to 503, egid changed to 501.
661:debug:archivefetch archivefetch phase started at Wed Feb 15 12:53:44 EST 2023
662:msg:archivefetch --->  Fetching archive for nusmv
663:debug:archivefetch Executing org.macports.archivefetch (nusmv)
664:debug:archivefetch euid/egid changed to: 0/0
665:debug:archivefetch chowned /opt/local/var/macports/incoming to macports
666:debug:archivefetch euid/egid changed to: 503/501
667:info:archivefetch --->  nusmv-2.6.0_1.darwin_22.x86_64.tbz2 doesn't seem to exist in /opt/local/var/macports/incoming/verified
668:msg:archivefetch --->  Attempting to fetch nusmv-2.6.0_1.darwin_22.x86_64.tbz2 from https://packages.macports.org/nusmv
669:debug:archivefetch Fetching archive failed: The requested URL returned error: 404
670:msg:archivefetch --->  Attempting to fetch nusmv-2.6.0_1.darwin_22.x86_64.tbz2 from https://ywg.ca.packages.macports.org/mirror/macports/packages/nusmv
671:debug:archivefetch Fetching archive failed: The requested URL returned error: 404
672:msg:archivefetch --->  Attempting to fetch nusmv-2.6.0_1.darwin_22.x86_64.tbz2 from http://mirror.fcix.net/macports/packages/nusmv
673:debug:archivefetch Fetching archive failed: The requested URL returned error: 404
674:debug:archivefetch Privilege de-escalation not attempted as not running as root.
675:debug:fetch fetch phase started at Wed Feb 15 12:53:45 EST 2023
676:notice:fetch --->  Fetching distfiles for nusmv
677:debug:fetch Executing org.macports.fetch (nusmv)
678:debug:fetch Privilege de-escalation not attempted as not running as root.
679:debug:checksum checksum phase started at Wed Feb 15 12:53:45 EST 2023
680:notice:checksum --->  Verifying checksums for nusmv
681:debug:checksum Executing org.macports.checksum (nusmv)
682:info:checksum --->  Checksumming NuSMV-2.6.0.tar.gz
683:debug:checksum Calculated (rmd160) is 3967791a7f5db2ed87749812ad809221e965c23b
684:debug:checksum Correct (rmd160) checksum for NuSMV-2.6.0.tar.gz
685:debug:checksum Calculated (sha256) is dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb
686:debug:checksum Correct (sha256) checksum for NuSMV-2.6.0.tar.gz
687:debug:checksum Calculated (size) is 4223312
688:debug:checksum Correct (size) checksum for NuSMV-2.6.0.tar.gz
689:info:checksum --->  Checksumming 37dc6c67e2af26379d88ce349eb9c4c6160e8543.zip
690:debug:checksum Calculated (rmd160) is b2ad86d14debb70824aebff7f4e61d9e11b80a3e
691:debug:checksum Correct (rmd160) checksum for 37dc6c67e2af26379d88ce349eb9c4c6160e8543.zip
692:debug:checksum Calculated (sha256) is 75f30bfd79669a6c788cbaecce867b49fa4c66c8158e98948077a09ef498a704
693:debug:checksum Correct (sha256) checksum for 37dc6c67e2af26379d88ce349eb9c4c6160e8543.zip
694:debug:checksum Calculated (size) is 77725
695:debug:checksum Correct (size) checksum for 37dc6c67e2af26379d88ce349eb9c4c6160e8543.zip
696:debug:checksum Privilege de-escalation not attempted as not running as root.
697:debug:extract extract phase started at Wed Feb 15 12:53:45 EST 2023
698:notice:extract --->  Extracting nusmv
699:debug:extract Executing org.macports.extract (nusmv)
700:info:extract --->  Extracting NuSMV-2.6.0.tar.gz
701:debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.6.0.tar.gz'
702:debug:extract Environment:
703:debug:extract CC_PRINT_OPTIONS='YES'
704:debug:extract CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS'
705:debug:extract CPATH='/opt/local/include'
706:debug:extract DEVELOPER_DIR='/Applications/Xcode.app/Contents/Developer'
707:debug:extract LIBRARY_PATH='/opt/local/lib'
708:debug:extract MACOSX_DEPLOYMENT_TARGET='13.0'
709:debug:extract SDKROOT='/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
710:info:extract Executing:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.6.0.tar.gz' | /usr/bin/tar -xf -
711:debug:extract system:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.6.0.tar.gz' | /usr/bin/tar -xf -
712:debug:extract euid/egid changed to: 0/0
713:debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work to macports
714:debug:extract euid/egid changed to: 503/501
715:debug:extract Executing proc-post-org.macports.extract-extract-0
716:debug:extract Privilege de-escalation not attempted as not running as root.
717:debug:patch patch phase started at Wed Feb 15 12:53:46 EST 2023
718:debug:patch Executing org.macports.patch (nusmv)
719:debug:patch Privilege de-escalation not attempted as not running as root.
720:debug:configure configure phase started at Wed Feb 15 12:53:46 EST 2023
721:notice:configure --->  Configuring nusmv
722:debug:configure Preferred compilers: clang macports-clang-14 macports-clang-13 macports-clang-12 macports-clang-11 macports-clang-10 macports-clang-9.0
723:debug:configure Using compiler 'Xcode Clang'
724:debug:configure Executing proc-pre-org.macports.configure-configure-0
725:debug:configure CPPFLAGS="-I/opt/local/include" inserted into CFLAGS="-Os -DNDEBUG -I/opt/local/include" CXXFLAGS="-Os -DNDEBUG -I/opt/local/include -stdlib=libc++"
726:debug:configure Executing proc-pre-org.macports.configure-configure-1
727:debug:configure Executing org.macports.configure (nusmv)
728:debug:configure Environment:
729:debug:configure CC='/usr/bin/clang'
730:debug:configure CC_PRINT_OPTIONS='YES'
731:debug:configure CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS'
732:debug:configure CFLAGS='-pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
733:debug:configure CPATH='/opt/local/include'
734:debug:configure CPPFLAGS='-isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
735:debug:configure CXX='/usr/bin/clang++'
736:debug:configure CXXFLAGS='-pipe -Os -DNDEBUG -I/opt/local/include -stdlib=libc++ -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
737:debug:configure DEVELOPER_DIR='/Applications/Xcode.app/Contents/Developer'
738:debug:configure F90FLAGS='-pipe -Os -m64'
739:debug:configure FCFLAGS='-pipe -Os -m64'
740:debug:configure FFLAGS='-pipe -Os -m64'
741:debug:configure INSTALL='/usr/bin/install -c'
742:debug:configure LDFLAGS='-L/opt/local/lib -Wl,-headerpad_max_install_names -Wl,-syslibroot,/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
743:debug:configure LIBRARY_PATH='/opt/local/lib'
744:debug:configure MACOSX_DEPLOYMENT_TARGET='13.0'
745:debug:configure OBJC='/usr/bin/clang'
746:debug:configure OBJCFLAGS='-pipe -Os -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
747:debug:configure OBJCXX='/usr/bin/clang++'
748:debug:configure OBJCXXFLAGS='-pipe -Os -DNDEBUG -I/opt/local/include -I/opt/local/include -stdlib=libc++ -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
749:debug:configure SDKROOT='/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
750:info:configure Executing:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /opt/local/bin/cmake -G "CodeBlocks - Unix Makefiles" -DCMAKE_BUILD_TYPE=MacPorts -DCMAKE_INSTALL_PREFIX="/opt/local" -DCMAKE_INSTALL_NAME_DIR="/opt/local/lib" -DCMAKE_SYSTEM_PREFIX_PATH="/opt/local;/usr" -DCMAKE_C_COMPILER="$CC" -DCMAKE_CXX_COMPILER="$CXX" -DCMAKE_OBJC_COMPILER="$CC" -DCMAKE_OBJCXX_COMPILER="$CXX" -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_POLICY_DEFAULT_CMP0060=NEW -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_COLOR_MAKEFILE=ON -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_MAKE_PROGRAM=/usr/bin/make -DCMAKE_MODULE_PATH="/opt/local/share/cmake/Modules" -DCMAKE_PREFIX_PATH="/opt/local/share/cmake/Modules" -DCMAKE_BUILD_WITH_INSTALL_RPATH:BOOL=ON -DCMAKE_INSTALL_RPATH="/opt/local/lib" -Wno-dev -DDOXYGEN_EXECUTABLE= -DPDFLATEX_COMPILER= -DCMAKE_OSX_ARCHITECTURES="x86_64" -DCMAKE_OSX_DEPLOYMENT_TARGET="13.0" -DCMAKE_OSX_SYSROOT="/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV
751:debug:configure system:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /opt/local/bin/cmake -G "CodeBlocks - Unix Makefiles" -DCMAKE_BUILD_TYPE=MacPorts -DCMAKE_INSTALL_PREFIX="/opt/local" -DCMAKE_INSTALL_NAME_DIR="/opt/local/lib" -DCMAKE_SYSTEM_PREFIX_PATH="/opt/local;/usr" -DCMAKE_C_COMPILER="$CC" -DCMAKE_CXX_COMPILER="$CXX" -DCMAKE_OBJC_COMPILER="$CC" -DCMAKE_OBJCXX_COMPILER="$CXX" -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_POLICY_DEFAULT_CMP0060=NEW -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_COLOR_MAKEFILE=ON -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_MAKE_PROGRAM=/usr/bin/make -DCMAKE_MODULE_PATH="/opt/local/share/cmake/Modules" -DCMAKE_PREFIX_PATH="/opt/local/share/cmake/Modules" -DCMAKE_BUILD_WITH_INSTALL_RPATH:BOOL=ON -DCMAKE_INSTALL_RPATH="/opt/local/lib" -Wno-dev -DDOXYGEN_EXECUTABLE= -DPDFLATEX_COMPILER= -DCMAKE_OSX_ARCHITECTURES="x86_64" -DCMAKE_OSX_DEPLOYMENT_TARGET="13.0" -DCMAKE_OSX_SYSROOT="/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV
752:info:configure -- The C compiler identification is AppleClang 14.0.0.14000029
753:info:configure -- The CXX compiler identification is AppleClang 14.0.0.14000029
754:info:configure -- Detecting C compiler ABI info
755:info:configure -- Detecting C compiler ABI info - done
756:info:configure -- Check for working C compiler: /usr/bin/clang - skipped
757:info:configure -- Detecting C compile features
758:info:configure -- Detecting C compile features - done
759:info:configure -- Detecting CXX compiler ABI info
760:info:configure -- Detecting CXX compiler ABI info - done
761:info:configure -- Check for working CXX compiler: /usr/bin/clang++ - skipped
762:info:configure -- Detecting CXX compile features
763:info:configure -- Detecting CXX compile features - done
764:info:configure -- Found PythonInterp: /opt/local/bin/python (found version "3.10.10")
765:info:configure -- Found FLEX: /usr/bin/flex (found version "2.6.4")
766:info:configure -- Found BISON: /usr/bin/bison (found version "2.3")
767:info:configure -- Looking for sys/types.h
768:info:configure -- Looking for sys/types.h - found
769:info:configure -- Looking for stdint.h
770:info:configure -- Looking for stdint.h - found
771:info:configure -- Looking for stddef.h
772:info:configure -- Looking for stddef.h - found
773:info:configure -- Check size of int
774:info:configure -- Check size of int - done
775:info:configure -- Check size of long int
776:info:configure -- Check size of long int - done
777:info:configure -- Check size of void *
778:info:configure -- Check size of void * - done
779:info:configure writing CuDD config file
780:info:configure Using MiniSat from archive 37dc6c67e2af26379d88ce349eb9c4c6160e8543.zip
781:info:configure writing MiniSat config file
782:info:configure linking with realine libraries: /opt/local/lib/libreadline.dylib;/opt/local/lib/libncurses.dylib
783:info:configure -- Found LibXml2: /opt/local/lib/libxml2.dylib (found version "2.10.3")
784:info:configure -- Found PkgConfig: /opt/local/bin/pkg-config (found version "0.29.2")
785:info:configure -- found xml2 library xml2: /opt/local/lib/libxml2.dylib
786:info:configure -- Performing Test _have_funcattr_noreturn
787:info:configure -- Performing Test _have_funcattr_noreturn - Success
788:info:configure -- Performing Test _have_funcattr_warn_unused_result
789:info:configure -- Performing Test _have_funcattr_warn_unused_result - Success
790:info:configure -- Performing Test HAVE_MALLOC
791:info:configure -- Performing Test HAVE_MALLOC - Success
792:info:configure -- Looking for malloc.h
793:info:configure -- Looking for malloc.h - not found
794:info:configure -- Looking for dirent.h
795:info:configure -- Looking for dirent.h - found
796:info:configure -- Looking for dlfcn.h
797:info:configure -- Looking for dlfcn.h - found
798:info:configure -- Looking for errno.h
799:info:configure -- Looking for errno.h - found
800:info:configure -- Looking for float.h
801:info:configure -- Looking for float.h - found
802:info:configure -- Looking for fnmatch.h
803:info:configure -- Looking for fnmatch.h - found
804:info:configure -- Looking for inttypes.h
805:info:configure -- Looking for inttypes.h - found
806:info:configure -- Looking for limits.h
807:info:configure -- Looking for limits.h - found
808:info:configure -- Looking for memory.h
809:info:configure -- Looking for memory.h - found
810:info:configure -- Looking for ndir.h
811:info:configure -- Looking for ndir.h - not found
812:info:configure -- Looking for regex.h
813:info:configure -- Looking for regex.h - found
814:info:configure -- Looking for signal.h
815:info:configure -- Looking for signal.h - found
816:info:configure -- Looking for stdbool.h
817:info:configure -- Looking for stdbool.h - found
818:info:configure -- Looking for stdlib.h
819:info:configure -- Looking for stdlib.h - found
820:info:configure -- Looking for string.h
821:info:configure -- Looking for string.h - found
822:info:configure -- Looking for strings.h
823:info:configure -- Looking for strings.h - found
824:info:configure -- Looking for sys/dir.h
825:info:configure -- Looking for sys/dir.h - found
826:info:configure -- Looking for sys/ndir.h
827:info:configure -- Looking for sys/ndir.h - not found
828:info:configure -- Looking for sys/ioctl.h
829:info:configure -- Looking for sys/ioctl.h - found
830:info:configure -- Looking for sys/param.h
831:info:configure -- Looking for sys/param.h - found
832:info:configure -- Looking for sys/resource.h
833:info:configure -- Looking for sys/resource.h - found
834:info:configure -- Looking for sys/signal.h
835:info:configure -- Looking for sys/signal.h - found
836:info:configure -- Looking for sys/stat.h
837:info:configure -- Looking for sys/stat.h - found
838:info:configure -- Looking for sys/time.h
839:info:configure -- Looking for sys/time.h - found
840:info:configure -- Looking for unistd.h
841:info:configure -- Looking for unistd.h - found
842:info:configure -- Looking for floor
843:info:configure -- Looking for floor - found
844:info:configure -- Looking for getenv
845:info:configure -- Looking for getenv - found
846:info:configure -- Looking for getpid
847:info:configure -- Looking for getpid - found
848:info:configure -- Looking for isatty
849:info:configure -- Looking for isatty - found
850:info:configure -- Looking for memmove
851:info:configure -- Looking for memmove - found
852:info:configure -- Looking for memset
853:info:configure -- Looking for memset - found
854:info:configure -- Looking for mkstemp
855:info:configure -- Looking for mkstemp - found
856:info:configure -- Looking for mktemp
857:info:configure -- Looking for mktemp - found
858:info:configure -- Looking for popen
859:info:configure -- Looking for popen - found
860:info:configure -- Looking for pow
861:info:configure -- Looking for pow - found
862:info:configure -- Looking for random
863:info:configure -- Looking for random - found
864:info:configure -- Looking for realloc
865:info:configure -- Looking for realloc - found
866:info:configure -- Looking for setvbuf
867:info:configure -- Looking for setvbuf - found
868:info:configure -- Looking for srandom
869:info:configure -- Looking for srandom - found
870:info:configure -- Looking for strcasecmp
871:info:configure -- Looking for strcasecmp - found
872:info:configure -- Looking for strchr
873:info:configure -- Looking for strchr - found
874:info:configure -- Looking for strrchr
875:info:configure -- Looking for strrchr - found
876:info:configure -- Looking for strstr
877:info:configure -- Looking for strstr - found
878:info:configure -- Looking for strtod
879:info:configure -- Looking for strtod - found
880:info:configure -- Looking for strtol
881:info:configure -- Looking for strtol - found
882:info:configure -- Looking for strtoull
883:info:configure -- Looking for strtoull - found
884:info:configure -- Looking for system
885:info:configure -- Looking for system - found
886:info:configure -- Looking for tmpnam
887:info:configure -- Looking for tmpnam - found
888:info:configure -- Looking for vprintf
889:info:configure -- Looking for vprintf - found
890:info:configure -- Performing Test HAVE__BOOL
891:info:configure -- Performing Test HAVE__BOOL - Success
892:info:configure -- Check size of int
893:info:configure -- Check size of int - done
894:info:configure -- Check size of long
895:info:configure -- Check size of long - done
896:info:configure -- Check size of long long
897:info:configure -- Check size of long long - done
898:info:configure -- Check size of void *
899:info:configure -- Check size of void * - done
900:info:configure   File "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/../scripts/create_help.py", line 98
901:info:configure     print ''
902:info:configure     ^^^^^^^^
903:info:configure SyntaxError: Missing parentheses in call to 'print'. Did you mean print(...)?
904:info:configure   File "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/../scripts/create_help.py", line 98
905:info:configure     print ''
906:info:configure     ^^^^^^^^
907:info:configure SyntaxError: Missing parentheses in call to 'print'. Did you mean print(...)?
908:info:configure writing NuSMV config file
909:info:configure -- Could NOT find LATEX (missing: LATEX_COMPILER)
910:info:configure -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE)
911:info:configure CMake Warning at doc/user-man/CMakeLists.txt:7 (message):
912:info:configure   PDFLATEX_COMPILER not found, documentation can't be built
913:info:configure CMake Warning at doc/tutorial/CMakeLists.txt:7 (message):
914:info:configure   PDFLATEX_COMPILER not found, documentation can't be built
915:info:configure -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE)
916:info:configure -- Configuring done
917:info:configure -- Generating done
918:info:configure CMake Warning:
919:info:configure   Manually-specified variables were not used by the project:
920:info:configure     CMAKE_OBJCXX_COMPILER
921:info:configure     CMAKE_OBJC_COMPILER
922:info:configure -- Build files have been written to: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build
923:debug:configure Executing proc-post-org.macports.configure-configure-0
924:debug:configure configure.ccache restored to no
925:debug:configure Executing proc-post-org.macports.configure-configure-1
926:debug:configure Executing portconfigure::configure_finish
927:debug:configure Privilege de-escalation not attempted as not running as root.
928:debug:build build phase started at Wed Feb 15 12:54:05 EST 2023
929:notice:build --->  Building nusmv
930:debug:build Executing org.macports.build (nusmv)
931:debug:build Environment:
932:debug:build CC_PRINT_OPTIONS='YES'
933:debug:build CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS'
934:debug:build CPATH='/opt/local/include'
935:debug:build DEVELOPER_DIR='/Applications/Xcode.app/Contents/Developer'
936:debug:build LIBRARY_PATH='/opt/local/lib'
937:debug:build MACOSX_DEPLOYMENT_TARGET='13.0'
938:debug:build SDKROOT='/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk'
939:info:build Executing:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /usr/bin/make -j4 -w all VERBOSE=ON
940:debug:build system:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /usr/bin/make -j4 -w all VERBOSE=ON
941:info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
942:info:build /opt/local/bin/cmake -S/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV -B/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build --check-build-system CMakeFiles/Makefile.cmake 0
943:info:build /opt/local/bin/cmake -E cmake_progress_start /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/CMakeFiles /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build//CMakeFiles/progress.marks
944:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f CMakeFiles/Makefile2 all
945:info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
946:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/build.make code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/depend
947:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/build.make build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/depend
948:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/build.make build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/depend
949:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/build.make build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/depend
950:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
951:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/st /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/st /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/DependInfo.cmake --color=
952:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
953:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/DependInfo.cmake --color=
954:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
955:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/epd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/epd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/DependInfo.cmake --color=
956:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
957:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/DependInfo.cmake --color=
958:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
959:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
960:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
961:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
962:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/build.make build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/build
963:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/build.make build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/build
964:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/build.make build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/build
965:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/build.make code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/build
966:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
967:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
968:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
969:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
970:info:build [  0%] Building C object build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/st.c.o
971:info:build [  0%] Building C object build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/epd.c.o
972:info:build [  0%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAPI.c.o
973:info:build [  1%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmd.c.o
974:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/st && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/st/CMakeFiles/CUDD_ST_LIB.dir/st.c.o -MF CMakeFiles/CUDD_ST_LIB.dir/st.c.o.d -o CMakeFiles/CUDD_ST_LIB.dir/st.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/st/st.c
975:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/epd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/epd/CMakeFiles/CUDD_EPD_LIB.dir/epd.c.o -MF CMakeFiles/CUDD_EPD_LIB.dir/epd.c.o.d -o CMakeFiles/CUDD_EPD_LIB.dir/epd.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/epd/epd.c
976:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAPI.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAPI.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAPI.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAPI.c
977:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmd.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmd.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmd.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmd.c
978:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmd.c:568:12: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
979:info:build     if ((c == '$') ) {
980:info:build          ~~^~~~~~
981:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmd.c:568:12: note: remove extraneous parentheses around the comparison to silence this warning
982:info:build     if ((c == '$') ) {
983:info:build         ~  ^     ~
984:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmd.c:568:12: note: use '=' to turn this equality comparison into an assignment
985:info:build     if ((c == '$') ) {
986:info:build            ^~
987:info:build            =
988:info:build 1 warning generated.
989:info:build [  1%] Linking C static library ../lib/libst.a
990:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/st && /opt/local/bin/cmake -P CMakeFiles/CUDD_ST_LIB.dir/cmake_clean_target.cmake
991:info:build [  1%] Linking C static library ../lib/libepd.a
992:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/epd && /opt/local/bin/cmake -P CMakeFiles/CUDD_EPD_LIB.dir/cmake_clean_target.cmake
993:info:build [  1%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdCmd.c.o
994:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdCmd.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmdCmd.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmdCmd.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmdCmd.c
995:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/st && /opt/local/bin/cmake -E cmake_link_script CMakeFiles/CUDD_ST_LIB.dir/link.txt --verbose=ON
996:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/epd && /opt/local/bin/cmake -E cmake_link_script CMakeFiles/CUDD_EPD_LIB.dir/link.txt --verbose=ON
997:info:build "/opt/local/bin/cmake" -E remove -f ../lib/libst.a
998:info:build "/opt/local/bin/cmake" -E remove -f ../lib/libepd.a
999:info:build /usr/bin/ar cq ../lib/libst.a CMakeFiles/CUDD_ST_LIB.dir/st.c.o
1000:info:build [  1%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddOp.c.o
1001:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddOp.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddOp.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddOp.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAddOp.c
1002:info:build /usr/bin/ar cq ../lib/libepd.a CMakeFiles/CUDD_EPD_LIB.dir/epd.c.o
1003:info:build /usr/bin/ranlib ../lib/libst.a
1004:info:build /usr/bin/ranlib ../lib/libepd.a
1005:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1006:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1007:info:build [  1%] Built target CUDD_EPD_LIB
1008:info:build [  1%] Built target CUDD_ST_LIB
1009:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/build.make build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/depend
1010:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/build.make build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/depend
1011:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1012:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/mtr /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/DependInfo.cmake --color=
1013:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1014:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/DependInfo.cmake --color=
1015:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1016:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/build.make build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/build
1017:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1018:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/build.make build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/build
1019:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1020:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1021:info:build [  2%] Building C object build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o
1022:info:build [  2%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/cpu_time.c.o
1023:info:build [  2%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdFile.c.o
1024:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o -MF CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o.d -o CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/mtr/mtrBasic.c
1025:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/cpu_time.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/cpu_time.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/cpu_time.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/cpu_time.c
1026:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdFile.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmdFile.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmdFile.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmdFile.c
1027:info:build [  2%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddFind.c.o
1028:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddFind.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddFind.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddFind.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAddFind.c
1029:info:build [  2%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/cpu_stats.c.o
1030:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/cpu_stats.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/cpu_stats.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/cpu_stats.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/cpu_stats.c
1031:info:build [  3%] Building C object build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o
1032:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/mtr/CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o -MF CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o.d -o CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/mtr/mtrGroup.c
1033:info:build [  3%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddIte.c.o
1034:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddIte.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddIte.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddIte.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAddIte.c
1035:info:build [  3%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/getopt.c.o
1036:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/getopt.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/getopt.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/getopt.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/getopt.c
1037:info:build [  3%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdMisc.c.o
1038:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdMisc.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmdMisc.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmdMisc.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/cmd/cmdMisc.c
1039:info:build [  3%] Linking C static library ../lib/libmtr.a
1040:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr && /opt/local/bin/cmake -P CMakeFiles/CUDD_MTR_LIB.dir/cmake_clean_target.cmake
1041:info:build [  4%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAndAbs.c.o
1042:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAndAbs.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAndAbs.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAndAbs.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAndAbs.c
1043:info:build [  4%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o
1044:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/safe_mem.c
1045:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/mtr && /opt/local/bin/cmake -E cmake_link_script CMakeFiles/CUDD_MTR_LIB.dir/link.txt --verbose=ON
1046:info:build "/opt/local/bin/cmake" -E remove -f ../lib/libmtr.a
1047:info:build /usr/bin/ar cq ../lib/libmtr.a CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o
1048:info:build /usr/bin/ranlib ../lib/libmtr.a
1049:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1050:info:build [  5%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o
1051:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd/cmdHelp.c
1052:info:build [  5%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddOp.c.o
1053:info:build [  6%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/strsav.c.o
1054:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddOp.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddOp.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddOp.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddBddOp.c
1055:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/strsav.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/strsav.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/strsav.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/strsav.c
1056:info:build [  6%] Built target CUDD_MTR_LIB
1057:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/build.make code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/depend
1058:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1059:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build && /opt/local/bin/cmake -E cmake_depends "Unix Makefiles" /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/parser /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/parser /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/DependInfo.cmake --color=
1060:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1061:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/build.make code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/build
1062:info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1063:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd/cmdHelp.c:58:20: error: expected expression
1064:info:build int command_number=;
1065:info:build                    ^
1066:info:build 1 error generated.
1067:info:build make[2]: *** [code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o] Error 1
1068:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1069:info:build make[1]: *** [code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/all] Error 2
1070:info:build make[1]: *** Waiting for unfinished jobs....
1071:info:build [  6%] Building C object code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/parserCmd.c.o
1072:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/parser && /usr/bin/clang -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk  -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT code/nusmv/shell/parser/CMakeFiles/code_nusmv_shell_parser.dir/parserCmd.c.o -MF CMakeFiles/code_nusmv_shell_parser.dir/parserCmd.c.o.d -o CMakeFiles/code_nusmv_shell_parser.dir/parserCmd.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code/nusmv/shell/parser/parserCmd.c
1073:info:build [  6%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAnneal.c.o
1074:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddAnneal.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddAnneal.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAnneal.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddAnneal.c
1075:info:build [  6%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/texpand.c.o
1076:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/texpand.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/texpand.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/texpand.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/texpand.c
1077:info:build [  6%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddApprox.c.o
1078:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddApprox.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddApprox.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddApprox.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddApprox.c
1079:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1080:info:build [  6%] Built target code_nusmv_shell_parser
1081:info:build [  6%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/ptime.c.o
1082:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/ptime.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/ptime.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/ptime.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/ptime.c
1083:info:build [  7%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddAbs.c.o
1084:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddAbs.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddAbs.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddAbs.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddBddAbs.c
1085:info:build [  7%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/prtime.c.o
1086:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/prtime.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/prtime.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/prtime.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/prtime.c
1087:info:build [  7%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/pipefork.c.o
1088:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/pipefork.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/pipefork.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/pipefork.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/pipefork.c
1089:info:build [  7%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddCorr.c.o
1090:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddCorr.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddCorr.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddCorr.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddBddCorr.c
1091:info:build [  8%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/pathsearch.c.o
1092:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/pathsearch.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/pathsearch.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/pathsearch.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/pathsearch.c
1093:info:build [  8%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddIte.c.o
1094:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddIte.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddIte.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddIte.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddBddIte.c
1095:info:build [  8%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/stub.c.o
1096:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/stub.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/stub.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/stub.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/stub.c
1097:info:build [  8%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/tmpfile.c.o
1098:info:build [  8%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBridge.c.o
1099:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/tmpfile.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/tmpfile.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/tmpfile.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/tmpfile.c
1100:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddBridge.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddBridge.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBridge.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddBridge.c
1101:info:build [  8%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/datalimit.c.o
1102:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/datalimit.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/datalimit.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/datalimit.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/datalimit.c
1103:info:build [  9%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCache.c.o
1104:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCache.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddCache.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCache.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddCache.c
1105:info:build [  9%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCheck.c.o
1106:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCheck.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddCheck.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCheck.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddCheck.c
1107:info:build [  9%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddClip.c.o
1108:info:build [ 10%] Linking C static library ../lib/libutil.a
1109:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /opt/local/bin/cmake -P CMakeFiles/CUDD_UTIL_LIB.dir/cmake_clean_target.cmake
1110:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddClip.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddClip.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddClip.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddClip.c
1111:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /opt/local/bin/cmake -E cmake_link_script CMakeFiles/CUDD_UTIL_LIB.dir/link.txt --verbose=ON
1112:info:build "/opt/local/bin/cmake" -E remove -f ../lib/libutil.a
1113:info:build /usr/bin/ar cq ../lib/libutil.a CMakeFiles/CUDD_UTIL_LIB.dir/cpu_time.c.o CMakeFiles/CUDD_UTIL_LIB.dir/cpu_stats.c.o CMakeFiles/CUDD_UTIL_LIB.dir/getopt.c.o CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o CMakeFiles/CUDD_UTIL_LIB.dir/strsav.c.o CMakeFiles/CUDD_UTIL_LIB.dir/texpand.c.o CMakeFiles/CUDD_UTIL_LIB.dir/ptime.c.o CMakeFiles/CUDD_UTIL_LIB.dir/prtime.c.o CMakeFiles/CUDD_UTIL_LIB.dir/pipefork.c.o CMakeFiles/CUDD_UTIL_LIB.dir/pathsearch.c.o CMakeFiles/CUDD_UTIL_LIB.dir/stub.c.o CMakeFiles/CUDD_UTIL_LIB.dir/tmpfile.c.o CMakeFiles/CUDD_UTIL_LIB.dir/datalimit.c.o
1114:info:build [ 10%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCof.c.o
1115:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCof.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddCof.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCof.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddCof.c
1116:info:build /usr/bin/ranlib ../lib/libutil.a
1117:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1118:info:build [ 11%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCompose.c.o
1119:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddCompose.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddCompose.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCompose.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddCompose.c
1120:info:build [ 11%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddDecomp.c.o
1121:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddDecomp.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddDecomp.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddDecomp.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddDecomp.c
1122:info:build [ 11%] Built target CUDD_UTIL_LIB
1123:info:build [ 11%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddEssent.c.o
1124:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddEssent.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddEssent.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddEssent.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddEssent.c
1125:info:build [ 11%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddExact.c.o
1126:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddExact.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddExact.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddExact.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddExact.c
1127:info:build [ 12%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddExport.c.o
1128:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddExport.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddExport.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddExport.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddExport.c
1129:info:build [ 12%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenCof.c.o
1130:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenCof.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenCof.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenCof.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddGenCof.c
1131:info:build [ 12%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenetic.c.o
1132:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenetic.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenetic.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenetic.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddGenetic.c
1133:info:build [ 12%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGroup.c.o
1134:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddGroup.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddGroup.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGroup.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddGroup.c
1135:info:build [ 13%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddInit.c.o
1136:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddInit.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddInit.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddInit.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddInit.c
1137:info:build [ 13%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddInteract.c.o
1138:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddInteract.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddInteract.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddInteract.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddInteract.c
1139:info:build [ 13%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLCache.c.o
1140:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLCache.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddLCache.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLCache.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddLCache.c
1141:info:build [ 13%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLevelQ.c.o
1142:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLevelQ.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddLevelQ.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLevelQ.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddLevelQ.c
1143:info:build [ 14%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLinear.c.o
1144:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLinear.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddLinear.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLinear.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddLinear.c
1145:info:build [ 14%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLiteral.c.o
1146:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddLiteral.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddLiteral.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLiteral.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddLiteral.c
1147:info:build [ 14%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddRef.c.o
1148:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddRef.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddRef.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddRef.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddRef.c
1149:info:build [ 14%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddReorder.c.o
1150:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddReorder.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddReorder.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddReorder.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddReorder.c
1151:info:build [ 15%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSat.c.o
1152:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSat.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSat.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSat.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSat.c
1153:info:build [ 15%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSign.c.o
1154:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSign.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSign.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSign.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSign.c
1155:info:build [ 15%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSolve.c.o
1156:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSolve.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSolve.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSolve.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSolve.c
1157:info:build [ 15%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSplit.c.o
1158:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSplit.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSplit.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSplit.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSplit.c
1159:info:build [ 15%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetHB.c.o
1160:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetHB.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetHB.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetHB.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSubsetHB.c
1161:info:build [ 16%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetSP.c.o
1162:info:build [ 16%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSymmetry.c.o
1163:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSymmetry.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSymmetry.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSymmetry.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSymmetry.c
1164:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetSP.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetSP.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetSP.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddSubsetSP.c
1165:info:build [ 16%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddTable.c.o
1166:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddTable.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddTable.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddTable.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddTable.c
1167:info:build [ 16%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddUtil.c.o
1168:info:build [ 17%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddWindow.c.o
1169:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddUtil.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddUtil.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddUtil.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddUtil.c
1170:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddWindow.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddWindow.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddWindow.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddWindow.c
1171:info:build [ 17%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddCount.c.o
1172:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddCount.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddCount.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddCount.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddCount.c
1173:info:build [ 17%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddFuncs.c.o
1174:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddFuncs.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddFuncs.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddFuncs.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddFuncs.c
1175:info:build [ 17%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddGroup.c.o
1176:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddGroup.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddGroup.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddGroup.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddGroup.c
1177:info:build [ 18%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddIsop.c.o
1178:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddIsop.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddIsop.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddIsop.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddIsop.c
1179:info:build [ 18%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddLin.c.o
1180:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddLin.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddLin.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddLin.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddLin.c
1181:info:build [ 18%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddMisc.c.o
1182:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddMisc.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddMisc.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddMisc.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddMisc.c
1183:info:build [ 18%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddPort.c.o
1184:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddPort.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddPort.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddPort.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddPort.c
1185:info:build [ 19%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddReord.c.o
1186:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddReord.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddReord.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddReord.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddReord.c
1187:info:build [ 19%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSetop.c.o
1188:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSetop.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSetop.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSetop.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddSetop.c
1189:info:build [ 19%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSymm.c.o
1190:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSymm.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSymm.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSymm.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddSymm.c
1191:info:build [ 19%] Building C object build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddUtil.c.o
1192:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /usr/bin/clang -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_VOID_P=8 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -isysroot/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -arch x86_64 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.sdk -mmacosx-version-min=13.0 -MD -MT build-cudd/cudd/CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddUtil.c.o -MF CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddUtil.c.o.d -o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddUtil.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/cudd/cuddZddUtil.c
1193:info:build [ 20%] Linking C static library ../lib/libcudd.a
1194:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /opt/local/bin/cmake -P CMakeFiles/CUDD_CUDD_LIB.dir/cmake_clean_target.cmake
1195:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/cudd && /opt/local/bin/cmake -E cmake_link_script CMakeFiles/CUDD_CUDD_LIB.dir/link.txt --verbose=ON
1196:info:build "/opt/local/bin/cmake" -E remove -f ../lib/libcudd.a
1197:info:build /usr/bin/ar cq ../lib/libcudd.a CMakeFiles/CUDD_CUDD_LIB.dir/cuddAPI.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddOp.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddFind.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAddIte.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAndAbs.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddOp.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddAnneal.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddApprox.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddAbs.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddCorr.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBddIte.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddBridge.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCache.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCheck.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddClip.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCof.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddCompose.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddDecomp.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddEssent.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddExact.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddExport.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenCof.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGenetic.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddGroup.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddInit.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddInteract.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLCache.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLevelQ.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLinear.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddLiteral.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddRef.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddReorder.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSat.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSign.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSolve.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSplit.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetHB.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSubsetSP.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddSymmetry.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddTable.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddUtil.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddWindow.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddCount.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddFuncs.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddGroup.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddIsop.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddLin.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddMisc.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddPort.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddReord.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSetop.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddSymm.c.o CMakeFiles/CUDD_CUDD_LIB.dir/cuddZddUtil.c.o
1198:info:build /usr/bin/ranlib ../lib/libcudd.a
1199:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1200:info:build [ 20%] Built target CUDD_CUDD_LIB
1201:info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1202:info:build make: *** [all] Error 2
1203:info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
1204:info:build Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /usr/bin/make -j4 -w all VERBOSE=ON
1205:info:build Exit code: 2
1206:error:build Failed to build nusmv: command execution failed
1207:debug:build Error code: CHILDSTATUS 80069 2
1208:debug:build Backtrace: command execution failed
1209:debug:build     while executing
1210:debug:build "system {*}$notty {*}$callback {*}$nice $fullcmdstring"
1211:debug:build     invoked from within
1212:debug:build "command_exec -callback portprogress::target_progress_callback build"
1213:debug:build     (procedure "portbuild::build_main" line 8)
1214:debug:build     invoked from within
1215:debug:build "$procedure $targetname"
1216:error:build See /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/main.log for details.