Ticket #38716: main.log

File main.log, 23.3 KB (added by dstwo@…, 11 years ago)

log from failed stp install

Line 
1version:1
2:debug:main epoch: in tree: 0 installed: 0
3:debug:main perl5 5.12.4_0 exists in the ports tree
4:debug:main perl5 5.12.4_0 +perl5_12 is the latest installed
5:debug:main perl5 5.12.4_0 +perl5_12 is active
6:debug:main Merging existing variants '+perl5_12' into variants
7:debug:main new fully merged portvariants: perl5_12 + bash_completion +
8:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/perl5
9:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
10:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
11:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
12:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
13:debug:main universal_variant is false, so not adding the default universal variant
14:debug:main Requested variant +bash_completion is not provided by port perl5.
15:debug:main Executing variant perl5_12 provides perl5_12
16:debug:main No need to upgrade! perl5 5.12.4_0 >= perl5 5.12.4_0
17:debug:main epoch: in tree: 0 installed: 0
18:debug:main perl5.12 5.12.4_1 exists in the ports tree
19:debug:main perl5.12 5.12.4_1  is the latest installed
20:debug:main perl5.12 5.12.4_1  is active
21:debug:main Merging existing variants '' into variants
22:debug:main new fully merged portvariants: bash_completion +
23:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/perl5.12
24:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
25:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
26:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
27:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
28:debug:main adding the default universal variant
29:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
30:debug:main Requested variant +bash_completion is not provided by port perl5.12.
31:debug:main No need to upgrade! perl5.12 5.12.4_1 >= perl5.12 5.12.4_1
32:debug:main epoch: in tree: 0 installed: 0
33:debug:main gdbm 1.10_2 exists in the ports tree
34:debug:main gdbm 1.10_2  is the latest installed
35:debug:main gdbm 1.10_2  is active
36:debug:main Merging existing variants '' into variants
37:debug:main new fully merged portvariants: bash_completion +
38:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/databases/gdbm
39:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
40:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
41:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
42:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
43:debug:main adding the default universal variant
44:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
45:debug:main Requested variant +bash_completion is not provided by port gdbm.
46:debug:main No need to upgrade! gdbm 1.10_2 >= gdbm 1.10_2
47:debug:main epoch: in tree: 0 installed: 0
48:debug:main gettext 0.18.2.1_0 exists in the ports tree
49:debug:main gettext 0.18.2.1_0  is the latest installed
50:debug:main gettext 0.18.2.1_0  is active
51:debug:main Merging existing variants '' into variants
52:debug:main new fully merged portvariants: bash_completion +
53:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/gettext
54:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
55:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
56:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
57:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
58:debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/compiler_blacklist_versions-1.0.tcl
59:debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
60:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
61:debug:main compiler clang 425.0.27 not blacklisted because does not match {clang < 211.10.1}
62:debug:main universal variant already exists, so not adding the default one
63:debug:main Requested variant +bash_completion is not provided by port gettext.
64:debug:main No need to upgrade! gettext 0.18.2.1_0 >= gettext 0.18.2.1_0
65:debug:main epoch: in tree: 0 installed: 0
66:debug:main expat 2.1.0_0 exists in the ports tree
67:debug:main expat 2.1.0_0  is the latest installed
68:debug:main expat 2.1.0_0  is active
69:debug:main Merging existing variants '' into variants
70:debug:main new fully merged portvariants: bash_completion +
71:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/expat
72:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
73:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
74:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
75:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
76:debug:main adding the default universal variant
77:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
78:debug:main Requested variant +bash_completion is not provided by port expat.
79:debug:main No need to upgrade! expat 2.1.0_0 >= expat 2.1.0_0
80:debug:main epoch: in tree: 0 installed: 0
81:debug:main libiconv 1.14_0 exists in the ports tree
82:debug:main libiconv 1.14_0  is the latest installed
83:debug:main libiconv 1.14_0  is active
84:debug:main Merging existing variants '' into variants
85:debug:main new fully merged portvariants: bash_completion +
86:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/libiconv
87:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
88:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
89:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
90:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
91:debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl
92:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
93:debug:main universal variant already exists, so not adding the default one
94:debug:main Requested variant +bash_completion is not provided by port libiconv.
95:debug:main No need to upgrade! libiconv 1.14_0 >= libiconv 1.14_0
96:debug:main epoch: in tree: 0 installed: 0
97:debug:main ncurses 5.9_2 exists in the ports tree
98:debug:main ncurses 5.9_2  is the latest installed
99:debug:main ncurses 5.9_2  is active
100:debug:main Merging existing variants '' into variants
101:debug:main new fully merged portvariants: bash_completion +
102:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/ncurses
103:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
104:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
105:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
106:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
107:debug:main adding the default universal variant
108:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
109:debug:main Requested variant +bash_completion is not provided by port ncurses.
110:debug:main No need to upgrade! ncurses 5.9_2 >= ncurses 5.9_2
111:msg:main --->  Computing dependencies for stp:info:main .:debug:main stp has no conflicts
112:debug:main Searching for dependency: bison
113:debug:main Didn't find receipt, going to depspec regex for: bison
114:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/bison
115:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
116:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
117:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
118:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
119:debug:main adding the default universal variant
120:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
121:debug:main Requested variant +bash_completion is not provided by port bison.
122:debug:main Searching for dependency: perl5
123:debug:main Found Dependency: receipt exists for perl5
124:debug:main Searching for dependency: flex
125:debug:main Didn't find receipt, going to depspec regex for: flex
126:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/flex
127:debug:main OS darwin/12.3.0 (Mac OS X 10.8) arch i386
128:debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
129:debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided
130:debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
131:debug:main adding the default universal variant
132:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
133:debug:main Requested variant +bash_completion is not provided by port flex.
134:info:main .:debug:main bison has no conflicts
135:debug:main Searching for dependency: gettext
136:debug:main Found Dependency: receipt exists for gettext
137:debug:main Searching for dependency: m4
138:debug:main Found Dependency: receipt exists for m4
139:debug:main Searching for dependency: libiconv
140:debug:main Found Dependency: receipt exists for libiconv
141:info:main .:debug:main flex has no conflicts
142:msg:main
143:msg:main --->  Dependencies to be installed: bison flex
144:debug:main Starting logging for bison
145:debug:clean Starting logging for flex
146:debug:main Executing org.macports.main (stp)
147:debug:main changing euid/egid - current euid: 0 - current egid: 0
148:debug:main egid changed to: 501
149:debug:main euid changed to: 505
150:debug:archivefetch archivefetch phase started at Mon Apr  8 13:15:30 EDT 2013
151:msg:archivefetch --->  Fetching archive for stp
152:debug:archivefetch Executing org.macports.archivefetch (stp)
153:debug:archivefetch euid/egid changed to: 0/0
154:debug:archivefetch chowned /opt/local/var/macports/incoming to macports
155:debug:archivefetch euid/egid changed to: 505/501
156:info:archivefetch --->  stp-0.1_0.darwin_12.x86_64.tbz2 doesn't seem to exist in /opt/local/var/macports/incoming/verified
157:msg:archivefetch --->  Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://packages.macports.org/stp
158:debug:archivefetch Fetching archive failed:: The requested URL returned error: 404
159:msg:archivefetch --->  Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://lil.fr.packages.macports.org/stp
160:debug:archivefetch Fetching archive failed:: The requested URL returned error: 404
161:msg:archivefetch --->  Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/stp
162:debug:archivefetch Fetching archive failed:: The requested URL returned error: 404
163:debug:archivefetch Privilege de-escalation not attempted as not running as root.
164:debug:fetch fetch phase started at Mon Apr  8 13:15:31 EDT 2013
165:notice:fetch --->  Fetching distfiles for stp
166:debug:fetch Can't run fetch on this port without elevated privileges. Escalating privileges back to root.
167:debug:fetch euid changed to: 0. egid changed to: 0.
168:debug:fetch changing euid/egid - current euid: 0 - current egid: 0
169:debug:fetch egid changed to: 501
170:debug:fetch euid changed to: 505
171:debug:fetch Executing org.macports.fetch (stp)
172:info:fetch --->  stp-ver-0.1-11-18-2008.tgz doesn't seem to exist in /opt/local/var/macports/distfiles/stp
173:notice:fetch --->  Attempting to fetch stp-ver-0.1-11-18-2008.tgz from http://aarnet.dl.sourceforge.net/stp-fast-prover
174:debug:fetch Privilege de-escalation not attempted as not running as root.
175:debug:checksum checksum phase started at Mon Apr  8 13:16:04 EDT 2013
176:notice:checksum --->  Verifying checksum(s) for stp
177:debug:checksum Executing org.macports.checksum (stp)
178:info:checksum --->  Checksumming stp-ver-0.1-11-18-2008.tgz
179:debug:checksum Correct (rmd160) checksum for stp-ver-0.1-11-18-2008.tgz
180:debug:checksum Privilege de-escalation not attempted as not running as root.
181:debug:extract extract phase started at Mon Apr  8 13:16:04 EDT 2013
182:notice:extract --->  Extracting stp
183:debug:extract Executing org.macports.extract (stp)
184:info:extract --->  Extracting stp-ver-0.1-11-18-2008.tgz
185:debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/stp/stp-ver-0.1-11-18-2008.tgz'
186:debug:extract Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.8'
187:debug:extract Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/stp/stp-ver-0.1-11-18-2008.tgz' | /usr/bin/gnutar --no-same-owner -xf -'
188:debug:extract Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/stp/stp-ver-0.1-11-18-2008.tgz' | /usr/bin/gnutar --no-same-owner -xf -
189:debug:extract euid/egid changed to: 0/0
190:debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work to macports
191:debug:extract euid/egid changed to: 505/501
192:debug:extract Privilege de-escalation not attempted as not running as root.
193:debug:patch patch phase started at Mon Apr  8 13:16:04 EDT 2013
194:debug:patch Executing org.macports.patch (stp)
195:notice:patch --->  Applying patches to stp
196:info:patch --->  Applying patch-Makefile.in.diff
197:debug:patch Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.8'
198:debug:patch Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && /usr/bin/patch -p0'
199:debug:patch Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/math/stp/files/patch-Makefile.in.diff'
200:info:patch patching file Makefile.in
201:debug:patch Privilege de-escalation not attempted as not running as root.
202:debug:configure configure phase started at Mon Apr  8 13:16:04 EDT 2013
203:notice:configure --->  Configuring stp
204:debug:configure Using compiler 'Mac OS X clang'
205:debug:configure Executing org.macports.configure (stp)
206:debug:configure Environment: CPATH='/opt/local/include' CFLAGS='-pipe -O2 -arch x86_64' CPPFLAGS='-I/opt/local/include' CXXFLAGS='-pipe -O2 -arch x86_64' LIBRARY_PATH='/opt/local/lib' MACOSX_DEPLOYMENT_TARGET='10.8' CXX='/usr/bin/clang++' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/.CC_PRINT_OPTIONS' F90FLAGS='-pipe -O2 -m64' LDFLAGS='-L/opt/local/lib -arch x86_64' OBJC='/usr/bin/clang' FCFLAGS='-pipe -O2 -m64' INSTALL='/usr/bin/install -c' OBJCFLAGS='-pipe -O2 -arch x86_64' FFLAGS='-pipe -O2 -m64' CC_PRINT_OPTIONS='YES' CC='/usr/bin/clang'
207:debug:configure Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && ./configure --with-prefix=/opt/local'
208:debug:configure Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && ./configure --with-prefix=/opt/local
209:info:configure Setting prefix to... /opt/local
210:info:configure Setting CXX to... /usr/bin/clang++
211:info:configure mkdir: /opt/local/include/stp: Permission denied
212:info:configure STP is configured successfully.
213:info:configure
214:info:configure Type 'make' to compile STP.
215:info:configure Type 'make install' to compile & install STP.
216:debug:configure Privilege de-escalation not attempted as not running as root.
217:debug:build build phase started at Mon Apr  8 13:16:04 EDT 2013
218:notice:build --->  Building stp
219:debug:build Executing org.macports.build (stp)
220:debug:build port disallows a parallel build
221:debug:build Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.8'
222:debug:build Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && /usr/bin/make -w all'
223:debug:build Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && /usr/bin/make -w all
224:info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008'
225:info:build /usr/bin/make -C AST
226:info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008/AST'
227:info:build ./genkinds.pl
228:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o AST.o AST.cpp
229:info:build AST.cpp:802:25: warning: shift count >= width of type [-Wshift-count-overflow]
230:info:build       bvconst = bvconst >> (sizeof(unsigned long) << 3);
231:info:build                         ^  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232:info:build 1 warning generated.
233:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o ASTKind.o ASTKind.cpp
234:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o ASTUtil.o ASTUtil.cpp
235:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o BitBlast.o BitBlast.cpp
236:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o SimpBool.o SimpBool.cpp
237:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o ToCNF.o ToCNF.cpp
238:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o ToSAT.o ToSAT.cpp
239:info:build c++ -O3        -I../sat/mtl -I../sat/core -Wall -DEXT_HASH_MAP   -c -o Transform.o Transform.cpp
240:info:build rm -rf libast.a
241:info:build ar rc libast.a AST.o ASTKind.o ASTUtil.o BitBlast.o SimpBool.o ToCNF.o ToSAT.o Transform.o
242:info:build ranlib libast.a
243:info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008/AST'
244:info:build /usr/bin/make -C sat/core lib
245:info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008/sat/core'
246:info:build Compiling: Solver.or ( Solver.C )
247:info:build c++ -I../mtl -Wall -DEXT_HASH_MAP -ffloat-store -O3 -D NDEBUG -c -o Solver.or Solver.C
248:info:build clang: warning: argument unused during compilation: '-ffloat-store'
249:info:build Solver.C:117:21: error: use of undeclared identifier 'Clause_new'
250:info:build         Clause* c = Clause_new(ps, false);
251:info:build                     ^
252:info:build Solver.C:574:29: error: use of undeclared identifier 'Clause_new'
253:info:build                 Clause* c = Clause_new(learnt_clause, true);
254:info:build                             ^
255:info:build 2 errors generated.
256:info:build make[1]: *** [Solver.or] Error 1
257:info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008/sat/core'
258:info:build make: *** [all] Error 2
259:info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008'
260:info:build Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work/stp-ver-0.1-11-18-2008" && /usr/bin/make -w all
261:info:build Exit code: 2
262:error:build org.macports.build for port stp returned: command execution failed
263:debug:build Error code: CHILDSTATUS 553 2
264:debug:build Backtrace: command execution failed
265    while executing
266"system -nice 0 $fullcmdstring"
267    ("eval" body line 1)
268    invoked from within
269"eval system $notty $nice \$fullcmdstring"
270    invoked from within
271"command_exec build"
272    (procedure "portbuild::build_main" line 8)
273    invoked from within
274"$procedure $targetname"
275:info:build Warning: targets not executed for stp: org.macports.activate org.macports.build org.macports.destroot org.macports.install
276:notice:build Please see the log file for port stp for details:
277    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/main.log