Ticket #52284: main.log

File main.log, 19.6 KB (added by nathanielvirgo, 8 years ago)

/opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/main.log

Line 
1version:1
2:debug:main epoch: in tree: 0 installed: 0
3:debug:main zlib 1.2.8_0 exists in the ports tree
4:debug:main zlib 1.2.8_0  is the latest installed
5:debug:main zlib 1.2.8_0  is active
6:debug:main Merging existing variants '' into variants
7:debug:main new fully merged portvariants:
8:debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/archivers/zlib
9:debug:main OS darwin/15.5.0 (Mac OS X 10.11) arch i386
10:debug:main Sourcing PortGroup xcodeversion 1.0 from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/xcodeversion-1.0.tcl
11:debug:main adding the default universal variant
12:debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf
13:debug:main Running callback portconfigure::add_automatic_compiler_dependencies
14:debug:main Finished running callback portconfigure::add_automatic_compiler_dependencies
15:debug:main Running callback portbuild::add_automatic_buildsystem_dependencies
16:debug:main Finished running callback portbuild::add_automatic_buildsystem_dependencies
17:debug:main No need to upgrade! zlib 1.2.8_0 >= zlib 1.2.8_0
18:msg:main --->  Computing dependencies for minisat:info:main .:debug:main minisat has no conflicts
19:debug:main Searching for dependency: zlib
20:debug:main Found Dependency: receipt exists for zlib
21:msg:main
22:debug:main Executing org.macports.main (minisat)
23:debug:main changing euid/egid - current euid: 0 - current egid: 0
24:debug:main egid changed to: 501
25:debug:main euid changed to: 502
26:debug:main Skipping completed org.macports.archivefetch (minisat)
27:debug:main Privilege de-escalation not attempted as not running as root.
28:debug:main Skipping completed org.macports.fetch (minisat)
29:debug:main Privilege de-escalation not attempted as not running as root.
30:debug:main Skipping completed org.macports.checksum (minisat)
31:debug:main Privilege de-escalation not attempted as not running as root.
32:debug:main Skipping completed org.macports.extract (minisat)
33:debug:main Privilege de-escalation not attempted as not running as root.
34:debug:main Skipping completed org.macports.patch (minisat)
35:debug:main Privilege de-escalation not attempted as not running as root.
36:debug:main Skipping completed org.macports.configure (minisat)
37:debug:main Privilege de-escalation not attempted as not running as root.
38:debug:build build phase started at Tue Sep 20 17:43:01 JST 2016
39:notice:build --->  Building minisat
40:debug:build Executing org.macports.build (minisat)
41:debug:build Environment:
42CC_PRINT_OPTIONS='YES'
43CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/.CC_PRINT_OPTIONS'
44CPATH='/opt/local/include'
45LIBRARY_PATH='/opt/local/lib'
46MACOSX_DEPLOYMENT_TARGET='10.11'
47:debug:build Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp" && /usr/bin/make -j8 -w rs MROOT="/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat"'
48:debug:build Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp" && /usr/bin/make -j8 -w rs MROOT="/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat"
49:info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp'
50:info:build echo Compiling: simp/Main.or
51:info:build echo Compiling: simp/SimpSolver.or
52:info:build Compiling: simp/Main.or
53:info:build /usr/bin/clang++ -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 -Wall -Wno-parentheses -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.or /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.cc
54:info:build Compiling: simp/SimpSolver.or
55:info:build /usr/bin/clang++ -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 -Wall -Wno-parentheses -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.or /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc
56:info:build echo Compiling: core/Solver.or
57:info:build Compiling: core/Solver.or
58:info:build /usr/bin/clang++ -pipe -Os -arch x86_64 -stdlib=libc++ -I/opt/local/include -L/opt/local/lib -Wl,-headerpad_max_install_names -arch x86_64 -Wall -Wno-parentheses -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.or /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc
59:info:build clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unusedclang: clang:
60:info:build warningwarning: : -Wl,-headerpad_max_install_names: 'linker' input unused
61:info:build -Wl,-headerpad_max_install_names: 'linker' input unused
62:info:build clang: warning: argument unused during compilation: '-L/opt/local/lib'
63:info:build clang: warning: argument unused during compilation: '-L/opt/local/lib'
64:info:build clang: warning: argument unused during compilation: '-L/opt/local/lib'
65:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.cc:30:
66:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Dimacs.h:27:
67:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: error: friend declaration specifying a default argument must be a definition
68:info:build     friend Lit mkLit(Var var, bool sign = false);
69:info:build                ^
70:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:58:14: error: friend declaration specifying a default argument must be the only declaration
71:info:build inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
72:info:build              ^
73:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: note: previous declaration is here
74:info:build     friend Lit mkLit(Var var, bool sign = false);
75:info:build                ^
76:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc:24:
77:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.h:28:
78:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: error: friend declaration specifying a default argument must be a definition
79:info:build     friend Lit mkLit(Var var, bool sign = false);
80:info:build                ^
81:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:58:14: error: friend declaration specifying a default argument must be the only declaration
82:info:build inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
83:info:build              ^
84:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: note: previous declaration is here
85:info:build     friend Lit mkLit(Var var, bool sign = false);
86:info:build                ^
87:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:22:
88:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.h:25:
89:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.h:28:
90:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: error: friend declaration specifying a default argument must be a definition
91:info:build     friend Lit mkLit(Var var, bool sign = false);
92:info:build                ^
93:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:58:14: error: friend declaration specifying a default argument must be the only declaration
94:info:build inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
95:info:build              ^
96:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/SolverTypes.h:50:16: note: previous declaration is here
97:info:build     friend Lit mkLit(Var var, bool sign = false);
98:info:build                ^
99:info:build In file included from In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.cc/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc::3022/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc:117:20::
100:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Dimacs.h:43:39: error: :
101:info:build use of undeclared identifier 'mkLit'
102:info:build  /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.herror:: 109:76: error: use of undeclared identifier 'mkLit'use of undeclared identifier 'mkLit'
103:info:build
104:info:build         lits.push( (parsed_lit > 0) ? mkLit(var) : ~mkLit(var) );
105:info:build                                       ^
106:info:build     watches  .init(mkLit(v, false));
107:info:build                    ^
108:info:build         uint64_t cost  (Var x)        const { return (uint64_t)n_occ[toInt(mkLit(x))] * (uint64_t)n_occ[toInt(~mkLit(x))]; }
109:info:build                                                                            ^
110:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc:118:20: error: use of undeclared identifier 'mkLit'
111:info:build     watches  .init(mkLit(v, true ));
112:info:build                    ^
113:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Dimacs.h:43:53: error: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.h:109use of undeclared identifier 'mkLit':112: error:
114:info:build use of undeclared identifier 'mkLit'
115:info:build         lits.push( (parsed_lit > 0) ? mkLit(var) : ~mkLit(var) );
116:info:build                                                     ^
117:info:build         uint64_t cost  (Var x)        const { return (uint64_t)n_occ[toInt(mkLit(x))] * (uint64_t)n_occ[toInt(~mkLit(x))]; }
118:info:build                                                                                                                ^
119:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc:243:44: error: use of undeclared identifier 'mkLit'
120:info:build     return next == var_Undef ? lit_Undef : mkLit(next, rnd_pol ? drand(random_seed) < 0.5 : polarity[next]);
121:info:build                                            ^
122:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:481:27: error: use of undeclared identifier 'mkLit'
123:info:build         (find(ca[cls[i]], mkLit(v)) ? pos : neg).push(cls[i]);
124:info:build                           ^
125:info:build In file included from /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.cc:31:
126:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.h:109:76: error: use of undeclared identifier 'mkLit'
127:info:build         uint64_t cost  (Var x)        const { return (uint64_t)n_occ[toInt(mkLit(x))] * (uint64_t)n_occ[toInt(~mkLit(x))]; }
128:info:build                                                                            ^
129:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.h:109:112: error: use of undeclared identifier 'mkLit'
130:info:build         uint64_t cost  (Var x)        const { return (uint64_t)n_occ[toInt(mkLit(x))] * (uint64_t)n_occ[toInt(~mkLit(x))]; }
131:info:build                                                                                                                ^
132:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:503:35: error: use of undeclared identifier 'mkLit'
133:info:build         mkElimClause(elimclauses, mkLit(v));
134:info:build                                   ^
135:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:507:36: error: use of undeclared identifier 'mkLit'
136:info:build         mkElimClause(elimclauses, ~mkLit(v));
137:info:build                                    ^
138:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:524:18: error: use of undeclared identifier 'mkLit'
139:info:build     if (watches[ mkLit(v)].size() == 0) watches[ mkLit(v)].clear(true);
140:info:build                  ^
141:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:524:50: error: use of undeclared identifier 'mkLit'
142:info:build     if (watches[ mkLit(v)].size() == 0) watches[ mkLit(v)].clear(true);
143:info:build                                                  ^
144:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:525:18: error: use of undeclared identifier 'mkLit'
145:info:build     if (watches[~mkLit(v)].size() == 0) watches[~mkLit(v)].clear(true);
146:info:build                  ^
147:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.cc:525:50: error: use of undeclared identifier 'mkLit'
148:info:build     if (watches[~mkLit(v)].size() == 0) watches[~mkLit(v)].clear(true);
149:info:build                                                  ^
150:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.cc:884:21: error: use of undeclared identifier 'mkLit'
151:info:build             Lit p = mkLit(v, s);
152:info:build                     ^
153:info:build 66 errors generated.
154:info:build 11 errors generated.
155:info:build  errors generated.
156:info:build make: *** [/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/core/Solver.or] Error 1
157:info:build make: *** Waiting for unfinished jobs....
158:info:build make: *** [/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/SimpSolver.or] Error 1
159:info:build make: *** [/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp/Main.or] Error 1
160:info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp'
161:info:build Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat/simp" && /usr/bin/make -j8 -w rs MROOT="/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/work/minisat"
162:info:build Exit code: 2
163:error:build org.macports.build for port minisat returned: command execution failed
164:debug:build Error code: CHILDSTATUS 7554 2
165:debug:build Backtrace: command execution failed
166    while executing
167"system -nice 0 $fullcmdstring"
168    ("eval" body line 1)
169    invoked from within
170"eval system $notty $nice \$fullcmdstring"
171    invoked from within
172"command_exec build"
173    (procedure "portbuild::build_main" line 8)
174    invoked from within
175"portbuild::build_main org.macports.build"
176    ("eval" body line 1)
177    invoked from within
178"eval $procedure $targetname"
179:info:build Warning: targets not executed for minisat: org.macports.activate org.macports.build org.macports.destroot org.macports.install
180:notice:build Please see the log file for port minisat for details:
181    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_minisat/minisat/main.log