1 | version:1 |
---|
2 | :debug:main epoch: in tree: 0 installed: 0 |
---|
3 | :debug:main bison 2.5_0 exists in the ports tree |
---|
4 | :debug:main bison 2.5_0 is the latest installed |
---|
5 | :debug:main bison 2.5_0 is active |
---|
6 | :debug:main Merging existing variants '' into variants |
---|
7 | :debug:main new fully merged portvariants: |
---|
8 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/bison |
---|
9 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
10 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
11 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
12 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
13 | :debug:main adding the default universal variant |
---|
14 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
15 | :debug:main No need to upgrade! bison 2.5_0 >= bison 2.5_0 |
---|
16 | :debug:main epoch: in tree: 0 installed: 0 |
---|
17 | :debug:main gettext 0.18.1.1_2 exists in the ports tree |
---|
18 | :debug:main gettext 0.18.1.1_2 is the latest installed |
---|
19 | :debug:main gettext 0.18.1.1_2 is active |
---|
20 | :debug:main Merging existing variants '' into variants |
---|
21 | :debug:main new fully merged portvariants: |
---|
22 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/gettext |
---|
23 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
24 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
25 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
26 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
27 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
---|
28 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
29 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/archcheck-1.0.tcl |
---|
30 | :debug:main universal variant already exists, so not adding the default one |
---|
31 | :debug:main No need to upgrade! gettext 0.18.1.1_2 >= gettext 0.18.1.1_2 |
---|
32 | :debug:main epoch: in tree: 0 installed: 0 |
---|
33 | :debug:main libiconv 1.14_0 exists in the ports tree |
---|
34 | :debug:main libiconv 1.14_0 is the latest installed |
---|
35 | :debug:main libiconv 1.14_0 is active |
---|
36 | :debug:main Merging existing variants '' into variants |
---|
37 | :debug:main new fully merged portvariants: |
---|
38 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/libiconv |
---|
39 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) 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 Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
---|
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 universal variant already exists, so not adding the default one |
---|
46 | :debug:main No need to upgrade! libiconv 1.14_0 >= libiconv 1.14_0 |
---|
47 | :debug:main epoch: in tree: 0 installed: 0 |
---|
48 | :debug:main ncurses 5.9_1 exists in the ports tree |
---|
49 | :debug:main ncurses 5.9_1 is the latest installed |
---|
50 | :debug:main ncurses 5.9_1 is active |
---|
51 | :debug:main Merging existing variants '' into variants |
---|
52 | :debug:main new fully merged portvariants: |
---|
53 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/ncurses |
---|
54 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) 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 adding the default universal variant |
---|
59 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
60 | :debug:main No need to upgrade! ncurses 5.9_1 >= ncurses 5.9_1 |
---|
61 | :debug:main epoch: in tree: 0 installed: 0 |
---|
62 | :debug:main expat 2.0.1_1 exists in the ports tree |
---|
63 | :debug:main expat 2.0.1_1 is the latest installed |
---|
64 | :debug:main expat 2.0.1_1 is active |
---|
65 | :debug:main Merging existing variants '' into variants |
---|
66 | :debug:main new fully merged portvariants: |
---|
67 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/expat |
---|
68 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
69 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
70 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
71 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
72 | :debug:main adding the default universal variant |
---|
73 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
74 | :debug:main No need to upgrade! expat 2.0.1_1 >= expat 2.0.1_1 |
---|
75 | :debug:main epoch: in tree: 0 installed: 0 |
---|
76 | :debug:main m4 1.4.16_0 exists in the ports tree |
---|
77 | :debug:main m4 1.4.16_0 is the latest installed |
---|
78 | :debug:main m4 1.4.16_0 is active |
---|
79 | :debug:main Merging existing variants '' into variants |
---|
80 | :debug:main new fully merged portvariants: |
---|
81 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/m4 |
---|
82 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
83 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
84 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
85 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
86 | :debug:main adding the default universal variant |
---|
87 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
88 | :debug:main No need to upgrade! m4 1.4.16_0 >= m4 1.4.16_0 |
---|
89 | :debug:main epoch: in tree: 0 installed: 0 |
---|
90 | :debug:main flex 2.5.35_1 exists in the ports tree |
---|
91 | :debug:main flex 2.5.35_1 is the latest installed |
---|
92 | :debug:main flex 2.5.35_1 is active |
---|
93 | :debug:main Merging existing variants '' into variants |
---|
94 | :debug:main new fully merged portvariants: |
---|
95 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/flex |
---|
96 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
97 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
98 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
99 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
100 | :debug:main adding the default universal variant |
---|
101 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
102 | :debug:main No need to upgrade! flex 2.5.35_1 >= flex 2.5.35_1 |
---|
103 | :debug:main epoch: in tree: 0 installed: 0 |
---|
104 | :debug:main gmp 5.0.2_1 exists in the ports tree |
---|
105 | :debug:main gmp 5.0.2_1 is the latest installed |
---|
106 | :debug:main gmp 5.0.2_1 is active |
---|
107 | :debug:main Merging existing variants '' into variants |
---|
108 | :debug:main new fully merged portvariants: |
---|
109 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/gmp |
---|
110 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
111 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
112 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
113 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
114 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
---|
115 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
116 | :debug:main universal variant already exists, so not adding the default one |
---|
117 | :debug:main No need to upgrade! gmp 5.0.2_1 >= gmp 5.0.2_1 |
---|
118 | :debug:main epoch: in tree: 0 installed: 0 |
---|
119 | :debug:main libsigsegv 2.9_0 exists in the ports tree |
---|
120 | :debug:main libsigsegv 2.9_0 is the latest installed |
---|
121 | :debug:main libsigsegv 2.9_0 is active |
---|
122 | :debug:main Merging existing variants '' into variants |
---|
123 | :debug:main new fully merged portvariants: |
---|
124 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/libsigsegv |
---|
125 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
126 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
127 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
128 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
129 | :debug:main adding the default universal variant |
---|
130 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
131 | :debug:main No need to upgrade! libsigsegv 2.9_0 >= libsigsegv 2.9_0 |
---|
132 | :debug:main epoch: in tree: 0 installed: 0 |
---|
133 | :debug:main buddy 2.4_1 exists in the ports tree |
---|
134 | :debug:main buddy 2.4_1 is the latest installed |
---|
135 | :debug:main buddy 2.4_1 is active |
---|
136 | :debug:main Merging existing variants '' into variants |
---|
137 | :debug:main new fully merged portvariants: |
---|
138 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/math/buddy |
---|
139 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
---|
140 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
---|
141 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
---|
142 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
---|
143 | :debug:main adding the default universal variant |
---|
144 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
---|
145 | :debug:main No need to upgrade! buddy 2.4_1 >= buddy 2.4_1 |
---|
146 | :msg:main ---> Computing dependencies for maude:info:main .:debug:main Searching for dependency: bison |
---|
147 | :debug:main Found Dependency: receipt exists for bison |
---|
148 | :debug:main Searching for dependency: flex |
---|
149 | :debug:main Found Dependency: receipt exists for flex |
---|
150 | :debug:main Searching for dependency: gmp |
---|
151 | :debug:main Found Dependency: receipt exists for gmp |
---|
152 | :debug:main Searching for dependency: libsigsegv |
---|
153 | :debug:main Found Dependency: receipt exists for libsigsegv |
---|
154 | :debug:main Searching for dependency: buddy |
---|
155 | :debug:main Found Dependency: receipt exists for buddy |
---|
156 | :msg:main |
---|
157 | :debug:main Executing org.macports.main (maude) |
---|
158 | :debug:main changing euid/egid - current euid: 0 - current egid: 0 |
---|
159 | :debug:main egid changed to: 501 |
---|
160 | :debug:main euid changed to: 502 |
---|
161 | :debug:archivefetch archivefetch phase started at Sun Nov 20 15:56:19 EST 2011 |
---|
162 | :msg:archivefetch ---> Fetching archive for maude |
---|
163 | :debug:archivefetch Executing org.macports.archivefetch (maude) |
---|
164 | :debug:archivefetch euid/egid changed to: 0/0 |
---|
165 | :debug:archivefetch chowned /opt/local/var/macports/software/maude to macports |
---|
166 | :debug:archivefetch euid/egid changed to: 502/501 |
---|
167 | :debug:archivefetch euid/egid changed to: 0/0 |
---|
168 | :debug:archivefetch chowned /opt/local/var/macports/incoming to macports |
---|
169 | :debug:archivefetch euid/egid changed to: 502/501 |
---|
170 | :info:archivefetch ---> maude-2.6_0.darwin_11.x86_64.tbz2 doesn't seem to exist in /opt/local/var/macports/software/maude |
---|
171 | :msg:archivefetch ---> Attempting to fetch maude-2.6_0.darwin_11.x86_64.tbz2 from http://packages.macports.org/maude |
---|
172 | :debug:archivefetch Fetching archive failed:: The requested URL returned error: 404 |
---|
173 | :debug:archivefetch Privilege de-escalation not attempted as not running as root. |
---|
174 | :debug:fetch fetch phase started at Sun Nov 20 15:56:19 EST 2011 |
---|
175 | :notice:fetch ---> Fetching maude |
---|
176 | :debug:fetch euid/egid changed to: 0/0 |
---|
177 | :debug:fetch chowned /opt/local/var/macports/distfiles/Maude to macports |
---|
178 | :debug:fetch euid/egid changed to: 502/501 |
---|
179 | :debug:fetch Executing org.macports.fetch (maude) |
---|
180 | :debug:fetch Privilege de-escalation not attempted as not running as root. |
---|
181 | :debug:checksum checksum phase started at Sun Nov 20 15:56:19 EST 2011 |
---|
182 | :notice:checksum ---> Verifying checksum(s) for maude |
---|
183 | :debug:checksum Executing org.macports.checksum (maude) |
---|
184 | :info:checksum ---> Checksumming Maude-2.6.tar.gz |
---|
185 | :debug:checksum Correct (sha1) checksum for Maude-2.6.tar.gz |
---|
186 | :debug:checksum Correct (rmd160) checksum for Maude-2.6.tar.gz |
---|
187 | :debug:checksum Privilege de-escalation not attempted as not running as root. |
---|
188 | :debug:extract extract phase started at Sun Nov 20 15:56:19 EST 2011 |
---|
189 | :notice:extract ---> Extracting maude |
---|
190 | :debug:extract Executing org.macports.extract (maude) |
---|
191 | :info:extract ---> Extracting Maude-2.6.tar.gz |
---|
192 | :debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/Maude/Maude-2.6.tar.gz' |
---|
193 | :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_lang_Maude/maude/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
---|
194 | :debug:extract Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/Maude/Maude-2.6.tar.gz' | /usr/bin/gnutar --no-same-owner -xf -' |
---|
195 | :debug:extract Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/Maude/Maude-2.6.tar.gz' | /usr/bin/gnutar --no-same-owner -xf - |
---|
196 | :debug:extract euid/egid changed to: 0/0 |
---|
197 | :debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work to macports |
---|
198 | :debug:extract euid/egid changed to: 502/501 |
---|
199 | :debug:extract Privilege de-escalation not attempted as not running as root. |
---|
200 | :debug:patch patch phase started at Sun Nov 20 15:56:21 EST 2011 |
---|
201 | :debug:patch Executing org.macports.patch (maude) |
---|
202 | :notice:patch ---> Applying patches to maude |
---|
203 | :info:patch ---> Applying /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff |
---|
204 | :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_lang_Maude/maude/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
---|
205 | :debug:patch Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && /usr/bin/patch -p0' |
---|
206 | :debug:patch Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff' |
---|
207 | :info:patch patching file src/Mixfix/Makefile.in |
---|
208 | :debug:patch Privilege de-escalation not attempted as not running as root. |
---|
209 | :debug:configure configure phase started at Sun Nov 20 15:56:21 EST 2011 |
---|
210 | :notice:configure ---> Configuring maude |
---|
211 | :debug:configure Using compiler 'MacPorts Apple gcc 4.2' |
---|
212 | :debug:configure Executing org.macports.configure (maude) |
---|
213 | :debug:configure Environment: CPATH='/opt/local/include' CFLAGS='-pipe -O2 -arch x86_64' CPPFLAGS='-I/opt/local/include' CXXFLAGS='-pipe -O2 -arch x86_64' LIBRARY_PATH='/opt/local/lib' MACOSX_DEPLOYMENT_TARGET='10.7' CXX='g++-apple-4.2' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/.CC_PRINT_OPTIONS' F90FLAGS='-pipe -O2 -m64' LDFLAGS='-L/opt/local/lib -arch x86_64' OBJC='/opt/local/bin/gcc-apple-4.2' FCFLAGS='-pipe -O2 -m64' INSTALL='/usr/bin/install -c' OBJCFLAGS='-pipe -O2 -arch x86_64' FFLAGS='-pipe -O2 -m64' CC_PRINT_OPTIONS='YES' CC='/opt/local/bin/gcc-apple-4.2' |
---|
214 | :debug:configure Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && ./configure --prefix=/opt/local --without-tecla' |
---|
215 | :debug:configure Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && ./configure --prefix=/opt/local --without-tecla |
---|
216 | :info:configure checking build system type... i386-apple-darwin11.2.0 |
---|
217 | :info:configure checking host system type... i386-apple-darwin11.2.0 |
---|
218 | :info:configure checking for a BSD-compatible install... /usr/bin/install -c |
---|
219 | :info:configure checking whether build environment is sane... yes |
---|
220 | :info:configure checking for gawk... no |
---|
221 | :info:configure checking for mawk... no |
---|
222 | :info:configure checking for nawk... no |
---|
223 | :info:configure checking for awk... awk |
---|
224 | :info:configure checking whether make sets $(MAKE)... yes |
---|
225 | :info:configure checking for gcc... /opt/local/bin/gcc-apple-4.2 |
---|
226 | :info:configure checking for C compiler default output file name... a.out |
---|
227 | :info:configure checking whether the C compiler works... yes |
---|
228 | :info:configure checking whether we are cross compiling... no |
---|
229 | :info:configure checking for suffix of executables... |
---|
230 | :info:configure checking for suffix of object files... o |
---|
231 | :info:configure checking whether we are using the GNU C compiler... yes |
---|
232 | :info:configure checking whether /opt/local/bin/gcc-apple-4.2 accepts -g... yes |
---|
233 | :info:configure checking for /opt/local/bin/gcc-apple-4.2 option to accept ISO C89... none needed |
---|
234 | :info:configure checking for style of include used by make... GNU |
---|
235 | :info:configure checking dependency style of /opt/local/bin/gcc-apple-4.2... gcc3 |
---|
236 | :info:configure checking whether we are using the GNU C++ compiler... yes |
---|
237 | :info:configure checking whether g++-apple-4.2 accepts -g... yes |
---|
238 | :info:configure checking dependency style of g++-apple-4.2... gcc3 |
---|
239 | :info:configure checking g++ compiler version... 4.2.1 |
---|
240 | :info:configure checking for ranlib... ranlib |
---|
241 | :info:configure checking for inet_addr in -lnsl... no |
---|
242 | :info:configure checking for socket in -lsocket... no |
---|
243 | :info:configure checking whether time.h and sys/time.h may both be included... yes |
---|
244 | :info:configure checking how to run the C++ preprocessor... g++-apple-4.2 -E |
---|
245 | :info:configure checking for grep that handles long lines and -e... /usr/bin/grep |
---|
246 | :info:configure checking for egrep... /usr/bin/grep -E |
---|
247 | :info:configure checking for ANSI C header files... yes |
---|
248 | :info:configure checking for sys/types.h... yes |
---|
249 | :info:configure checking for sys/stat.h... yes |
---|
250 | :info:configure checking for stdlib.h... yes |
---|
251 | :info:configure checking for string.h... yes |
---|
252 | :info:configure checking for memory.h... yes |
---|
253 | :info:configure checking for strings.h... yes |
---|
254 | :info:configure checking for inttypes.h... yes |
---|
255 | :info:configure checking for stdint.h... yes |
---|
256 | :info:configure checking for unistd.h... yes |
---|
257 | :info:configure checking sys/time.h usability... yes |
---|
258 | :info:configure checking sys/time.h presence... yes |
---|
259 | :info:configure checking for sys/time.h... yes |
---|
260 | :info:configure checking math.h usability... yes |
---|
261 | :info:configure checking math.h presence... yes |
---|
262 | :info:configure checking for math.h... yes |
---|
263 | :info:configure checking ieeefp.h usability... no |
---|
264 | :info:configure checking ieeefp.h presence... no |
---|
265 | :info:configure checking for ieeefp.h... no |
---|
266 | :info:configure checking sys/termios.h usability... yes |
---|
267 | :info:configure checking sys/termios.h presence... yes |
---|
268 | :info:configure checking for sys/termios.h... yes |
---|
269 | :info:configure checking stddef.h usability... yes |
---|
270 | :info:configure checking stddef.h presence... yes |
---|
271 | :info:configure checking for stddef.h... yes |
---|
272 | :info:configure checking limits.h usability... yes |
---|
273 | :info:configure checking limits.h presence... yes |
---|
274 | :info:configure checking for limits.h... yes |
---|
275 | :info:configure checking for stdlib.h... (cached) yes |
---|
276 | :info:configure checking stdio.h usability... yes |
---|
277 | :info:configure checking stdio.h presence... yes |
---|
278 | :info:configure checking for stdio.h... yes |
---|
279 | :info:configure checking ctype.h usability... yes |
---|
280 | :info:configure checking ctype.h presence... yes |
---|
281 | :info:configure checking for ctype.h... yes |
---|
282 | :info:configure checking for unistd.h... (cached) yes |
---|
283 | :info:configure checking ostream usability... yes |
---|
284 | :info:configure checking ostream presence... yes |
---|
285 | :info:configure checking for ostream... yes |
---|
286 | :info:configure checking ostream.h usability... yes |
---|
287 | :info:configure checking ostream.h presence... yes |
---|
288 | :info:configure checking for ostream.h... yes |
---|
289 | :info:configure checking size of short... 2 |
---|
290 | :info:configure checking size of int... 4 |
---|
291 | :info:configure checking size of long... 8 |
---|
292 | :info:configure checking size of unsigned long... 8 |
---|
293 | :info:configure checking size of void *... 8 |
---|
294 | :info:configure configure: creating ./config.status |
---|
295 | :info:configure config.status: creating Makefile |
---|
296 | :info:configure config.status: creating src/Makefile |
---|
297 | :info:configure config.status: creating src/3rdParty/Makefile |
---|
298 | :info:configure config.status: creating src/Utility/Makefile |
---|
299 | :info:configure config.status: creating src/Temporal/Makefile |
---|
300 | :info:configure config.status: creating src/Interface/Makefile |
---|
301 | :info:configure config.status: creating src/Core/Makefile |
---|
302 | :info:configure config.status: creating src/Variable/Makefile |
---|
303 | :info:configure config.status: creating src/NA_Theory/Makefile |
---|
304 | :info:configure config.status: creating src/ACU_Persistent/Makefile |
---|
305 | :info:configure config.status: creating src/ACU_Theory/Makefile |
---|
306 | :info:configure config.status: creating src/AU_Persistent/Makefile |
---|
307 | :info:configure config.status: creating src/AU_Theory/Makefile |
---|
308 | :info:configure config.status: creating src/CUI_Theory/Makefile |
---|
309 | :info:configure config.status: creating src/S_Theory/Makefile |
---|
310 | :info:configure config.status: creating src/FreeTheory/Makefile |
---|
311 | :info:configure config.status: creating src/Higher/Makefile |
---|
312 | :info:configure config.status: creating src/BuiltIn/Makefile |
---|
313 | :info:configure config.status: creating src/IO_Stuff/Makefile |
---|
314 | :info:configure config.status: creating src/ObjectSystem/Makefile |
---|
315 | :info:configure config.status: creating src/Meta/Makefile |
---|
316 | :info:configure config.status: creating src/FullCompiler/Makefile |
---|
317 | :info:configure config.status: creating src/MSCP10/Makefile |
---|
318 | :info:configure config.status: creating src/StrategyLanguage/Makefile |
---|
319 | :info:configure config.status: creating src/Mixfix/Makefile |
---|
320 | :info:configure config.status: creating src/Main/Makefile |
---|
321 | :info:configure config.status: creating tests/Makefile |
---|
322 | :info:configure config.status: creating tests/BuiltIn/Makefile |
---|
323 | :info:configure config.status: creating tests/Meta/Makefile |
---|
324 | :info:configure config.status: creating tests/Misc/Makefile |
---|
325 | :info:configure config.status: creating tests/ResolvedBugs/Makefile |
---|
326 | :info:configure config.status: creating config.h |
---|
327 | :info:configure config.status: executing depfiles commands |
---|
328 | :debug:configure Privilege de-escalation not attempted as not running as root. |
---|
329 | :debug:build build phase started at Sun Nov 20 15:56:31 EST 2011 |
---|
330 | :notice:build ---> Building maude |
---|
331 | :debug:build Executing org.macports.build (maude) |
---|
332 | :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_lang_Maude/maude/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
---|
333 | :debug:build Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && /usr/bin/make -j4 -w all' |
---|
334 | :debug:build Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && /usr/bin/make -j4 -w all |
---|
335 | :info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6' |
---|
336 | :info:build /usr/bin/make all-recursive |
---|
337 | :info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6' |
---|
338 | :info:build Making all in src |
---|
339 | :info:build make[2]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src' |
---|
340 | :info:build Making all in 3rdParty |
---|
341 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/3rdParty' |
---|
342 | :info:build make[3]: Nothing to be done for `all'. |
---|
343 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/3rdParty' |
---|
344 | :info:build Making all in Utility |
---|
345 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Utility' |
---|
346 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT macros.o -MD -MP -MF ".deps/macros.Tpo" -c -o macros.o macros.cc; \ |
---|
347 | :info:build then mv -f ".deps/macros.Tpo" ".deps/macros.Po"; else rm -f ".deps/macros.Tpo"; exit 1; fi |
---|
348 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT preVector.o -MD -MP -MF ".deps/preVector.Tpo" -c -o preVector.o preVector.cc; \ |
---|
349 | :info:build then mv -f ".deps/preVector.Tpo" ".deps/preVector.Po"; else rm -f ".deps/preVector.Tpo"; exit 1; fi |
---|
350 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT intSet.o -MD -MP -MF ".deps/intSet.Tpo" -c -o intSet.o intSet.cc; \ |
---|
351 | :info:build then mv -f ".deps/intSet.Tpo" ".deps/intSet.Po"; else rm -f ".deps/intSet.Tpo"; exit 1; fi |
---|
352 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT pointerSet.o -MD -MP -MF ".deps/pointerSet.Tpo" -c -o pointerSet.o pointerSet.cc; \ |
---|
353 | :info:build then mv -f ".deps/pointerSet.Tpo" ".deps/pointerSet.Po"; else rm -f ".deps/pointerSet.Tpo"; exit 1; fi |
---|
354 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT stringTable.o -MD -MP -MF ".deps/stringTable.Tpo" -c -o stringTable.o stringTable.cc; \ |
---|
355 | :info:build then mv -f ".deps/stringTable.Tpo" ".deps/stringTable.Po"; else rm -f ".deps/stringTable.Tpo"; exit 1; fi |
---|
356 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT graph.o -MD -MP -MF ".deps/graph.Tpo" -c -o graph.o graph.cc; \ |
---|
357 | :info:build then mv -f ".deps/graph.Tpo" ".deps/graph.Po"; else rm -f ".deps/graph.Tpo"; exit 1; fi |
---|
358 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT digraph.o -MD -MP -MF ".deps/digraph.Tpo" -c -o digraph.o digraph.cc; \ |
---|
359 | :info:build then mv -f ".deps/digraph.Tpo" ".deps/digraph.Po"; else rm -f ".deps/digraph.Tpo"; exit 1; fi |
---|
360 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT unionFind.o -MD -MP -MF ".deps/unionFind.Tpo" -c -o unionFind.o unionFind.cc; \ |
---|
361 | :info:build then mv -f ".deps/unionFind.Tpo" ".deps/unionFind.Po"; else rm -f ".deps/unionFind.Tpo"; exit 1; fi |
---|
362 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT diophantineSystem.o -MD -MP -MF ".deps/diophantineSystem.Tpo" -c -o diophantineSystem.o diophantineSystem.cc; \ |
---|
363 | :info:build then mv -f ".deps/diophantineSystem.Tpo" ".deps/diophantineSystem.Po"; else rm -f ".deps/diophantineSystem.Tpo"; exit 1; fi |
---|
364 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT natSet.o -MD -MP -MF ".deps/natSet.Tpo" -c -o natSet.o natSet.cc; \ |
---|
365 | :info:build then mv -f ".deps/natSet.Tpo" ".deps/natSet.Po"; else rm -f ".deps/natSet.Tpo"; exit 1; fi |
---|
366 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT pointerMap.o -MD -MP -MF ".deps/pointerMap.Tpo" -c -o pointerMap.o pointerMap.cc; \ |
---|
367 | :info:build then mv -f ".deps/pointerMap.Tpo" ".deps/pointerMap.Po"; else rm -f ".deps/pointerMap.Tpo"; exit 1; fi |
---|
368 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT sequencePartition.o -MD -MP -MF ".deps/sequencePartition.Tpo" -c -o sequencePartition.o sequencePartition.cc; \ |
---|
369 | :info:build then mv -f ".deps/sequencePartition.Tpo" ".deps/sequencePartition.Po"; else rm -f ".deps/sequencePartition.Tpo"; exit 1; fi |
---|
370 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT indent.o -MD -MP -MF ".deps/indent.Tpo" -c -o indent.o indent.cc; \ |
---|
371 | :info:build then mv -f ".deps/indent.Tpo" ".deps/indent.Po"; else rm -f ".deps/indent.Tpo"; exit 1; fi |
---|
372 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT binBuf.o -MD -MP -MF ".deps/binBuf.Tpo" -c -o binBuf.o binBuf.cc; \ |
---|
373 | :info:build then mv -f ".deps/binBuf.Tpo" ".deps/binBuf.Po"; else rm -f ".deps/binBuf.Tpo"; exit 1; fi |
---|
374 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT decBuf.o -MD -MP -MF ".deps/decBuf.Tpo" -c -o decBuf.o decBuf.cc; \ |
---|
375 | :info:build then mv -f ".deps/decBuf.Tpo" ".deps/decBuf.Po"; else rm -f ".deps/decBuf.Tpo"; exit 1; fi |
---|
376 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT bddUser.o -MD -MP -MF ".deps/bddUser.Tpo" -c -o bddUser.o bddUser.cc; \ |
---|
377 | :info:build then mv -f ".deps/bddUser.Tpo" ".deps/bddUser.Po"; else rm -f ".deps/bddUser.Tpo"; exit 1; fi |
---|
378 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT tty.o -MD -MP -MF ".deps/tty.Tpo" -c -o tty.o tty.cc; \ |
---|
379 | :info:build then mv -f ".deps/tty.Tpo" ".deps/tty.Po"; else rm -f ".deps/tty.Tpo"; exit 1; fi |
---|
380 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT bdd.o -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.o bdd.cc; \ |
---|
381 | :info:build then mv -f ".deps/bdd.Tpo" ".deps/bdd.Po"; else rm -f ".deps/bdd.Tpo"; exit 1; fi |
---|
382 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT timer.o -MD -MP -MF ".deps/timer.Tpo" -c -o timer.o timer.cc; \ |
---|
383 | :info:build then mv -f ".deps/timer.Tpo" ".deps/timer.Po"; else rm -f ".deps/timer.Tpo"; exit 1; fi |
---|
384 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT mpzSystem.o -MD -MP -MF ".deps/mpzSystem.Tpo" -c -o mpzSystem.o mpzSystem.cc; \ |
---|
385 | :info:build then mv -f ".deps/mpzSystem.Tpo" ".deps/mpzSystem.Po"; else rm -f ".deps/mpzSystem.Tpo"; exit 1; fi |
---|
386 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT intSystem.o -MD -MP -MF ".deps/intSystem.Tpo" -c -o intSystem.o intSystem.cc; \ |
---|
387 | :info:build then mv -f ".deps/intSystem.Tpo" ".deps/intSystem.Po"; else rm -f ".deps/intSystem.Tpo"; exit 1; fi |
---|
388 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I/opt/local/include -pipe -O2 -arch x86_64 -MT allSat.o -MD -MP -MF ".deps/allSat.Tpo" -c -o allSat.o allSat.cc; \ |
---|
389 | :info:build then mv -f ".deps/allSat.Tpo" ".deps/allSat.Po"; else rm -f ".deps/allSat.Tpo"; exit 1; fi |
---|
390 | :info:build rm -f libutility.a |
---|
391 | :info:build ar cru libutility.a macros.o preVector.o intSet.o pointerSet.o stringTable.o graph.o digraph.o unionFind.o diophantineSystem.o natSet.o pointerMap.o sequencePartition.o indent.o binBuf.o decBuf.o bddUser.o tty.o bdd.o timer.o mpzSystem.o intSystem.o allSat.o |
---|
392 | :info:build ranlib libutility.a |
---|
393 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Utility' |
---|
394 | :info:build Making all in Temporal |
---|
395 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Temporal' |
---|
396 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-logicFormula.o -MD -MP -MF ".deps/libtemporal_a-logicFormula.Tpo" -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc; \ |
---|
397 | :info:build then mv -f ".deps/libtemporal_a-logicFormula.Tpo" ".deps/libtemporal_a-logicFormula.Po"; else rm -f ".deps/libtemporal_a-logicFormula.Tpo"; exit 1; fi |
---|
398 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-buchiAutomaton2.o -MD -MP -MF ".deps/libtemporal_a-buchiAutomaton2.Tpo" -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc; \ |
---|
399 | :info:build then mv -f ".deps/libtemporal_a-buchiAutomaton2.Tpo" ".deps/libtemporal_a-buchiAutomaton2.Po"; else rm -f ".deps/libtemporal_a-buchiAutomaton2.Tpo"; exit 1; fi |
---|
400 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-transitionSet.o -MD -MP -MF ".deps/libtemporal_a-transitionSet.Tpo" -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc; \ |
---|
401 | :info:build then mv -f ".deps/libtemporal_a-transitionSet.Tpo" ".deps/libtemporal_a-transitionSet.Po"; else rm -f ".deps/libtemporal_a-transitionSet.Tpo"; exit 1; fi |
---|
402 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-veryWeakAlternatingAutomaton.o -MD -MP -MF ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc; \ |
---|
403 | :info:build then mv -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Po"; else rm -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo"; exit 1; fi |
---|
404 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-rawTransitionSet.o -MD -MP -MF ".deps/libtemporal_a-rawTransitionSet.Tpo" -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc; \ |
---|
405 | :info:build then mv -f ".deps/libtemporal_a-rawTransitionSet.Tpo" ".deps/libtemporal_a-rawTransitionSet.Po"; else rm -f ".deps/libtemporal_a-rawTransitionSet.Tpo"; exit 1; fi |
---|
406 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-genBuchiAutomaton.o -MD -MP -MF ".deps/libtemporal_a-genBuchiAutomaton.Tpo" -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc; \ |
---|
407 | :info:build then mv -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo" ".deps/libtemporal_a-genBuchiAutomaton.Po"; else rm -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo"; exit 1; fi |
---|
408 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/opt/local/include -pipe -O2 -arch x86_64 -MT libtemporal_a-modelChecker2.o -MD -MP -MF ".deps/libtemporal_a-modelChecker2.Tpo" -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc; \ |
---|
409 | :info:build then mv -f ".deps/libtemporal_a-modelChecker2.Tpo" ".deps/libtemporal_a-modelChecker2.Po"; else rm -f ".deps/libtemporal_a-modelChecker2.Tpo"; exit 1; fi |
---|
410 | :info:build rm -f libtemporal.a |
---|
411 | :info:build ar cru libtemporal.a libtemporal_a-logicFormula.o libtemporal_a-buchiAutomaton2.o libtemporal_a-transitionSet.o libtemporal_a-veryWeakAlternatingAutomaton.o libtemporal_a-rawTransitionSet.o libtemporal_a-genBuchiAutomaton.o libtemporal_a-modelChecker2.o |
---|
412 | :info:build ranlib libtemporal.a |
---|
413 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Temporal' |
---|
414 | :info:build Making all in Interface |
---|
415 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Interface' |
---|
416 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libinterface_a-symbol.o -MD -MP -MF ".deps/libinterface_a-symbol.Tpo" -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc; \ |
---|
417 | :info:build then mv -f ".deps/libinterface_a-symbol.Tpo" ".deps/libinterface_a-symbol.Po"; else rm -f ".deps/libinterface_a-symbol.Tpo"; exit 1; fi |
---|
418 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libinterface_a-binarySymbol.o -MD -MP -MF ".deps/libinterface_a-binarySymbol.Tpo" -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc; \ |
---|
419 | :info:build then mv -f ".deps/libinterface_a-binarySymbol.Tpo" ".deps/libinterface_a-binarySymbol.Po"; else rm -f ".deps/libinterface_a-binarySymbol.Tpo"; exit 1; fi |
---|
420 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libinterface_a-associativeSymbol.o -MD -MP -MF ".deps/libinterface_a-associativeSymbol.Tpo" -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc; \ |
---|
421 | :info:build then mv -f ".deps/libinterface_a-associativeSymbol.Tpo" ".deps/libinterface_a-associativeSymbol.Po"; else rm -f ".deps/libinterface_a-associativeSymbol.Tpo"; exit 1; fi |
---|
422 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libinterface_a-term.o -MD -MP -MF ".deps/libinterface_a-term.Tpo" -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc; \ |
---|
423 | :info:build then mv -f ".deps/libinterface_a-term.Tpo" ".deps/libinterface_a-term.Po"; else rm -f ".deps/libinterface_a-term.Tpo"; exit 1; fi |
---|
424 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libinterface_a-dagNode.o -MD -MP -MF ".deps/libinterface_a-dagNode.Tpo" -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc; \ |
---|
425 | :info:build then mv -f ".deps/libinterface_a-dagNode.Tpo" ".deps/libinterface_a-dagNode.Po"; else rm -f ".deps/libinterface_a-dagNode.Tpo"; exit 1; fi |
---|
426 | :info:build rm -f libinterface.a |
---|
427 | :info:build ar cru libinterface.a libinterface_a-symbol.o libinterface_a-binarySymbol.o libinterface_a-associativeSymbol.o libinterface_a-term.o libinterface_a-dagNode.o |
---|
428 | :info:build ranlib libinterface.a |
---|
429 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Interface' |
---|
430 | :info:build Making all in Core |
---|
431 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Core' |
---|
432 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-memoryCell.o -MD -MP -MF ".deps/libcore_a-memoryCell.Tpo" -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc; \ |
---|
433 | :info:build then mv -f ".deps/libcore_a-memoryCell.Tpo" ".deps/libcore_a-memoryCell.Po"; else rm -f ".deps/libcore_a-memoryCell.Tpo"; exit 1; fi |
---|
434 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-rhsBuilder.o -MD -MP -MF ".deps/libcore_a-rhsBuilder.Tpo" -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc; \ |
---|
435 | :info:build then mv -f ".deps/libcore_a-rhsBuilder.Tpo" ".deps/libcore_a-rhsBuilder.Po"; else rm -f ".deps/libcore_a-rhsBuilder.Tpo"; exit 1; fi |
---|
436 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-termBag.o -MD -MP -MF ".deps/libcore_a-termBag.Tpo" -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc; \ |
---|
437 | :info:build then mv -f ".deps/libcore_a-termBag.Tpo" ".deps/libcore_a-termBag.Po"; else rm -f ".deps/libcore_a-termBag.Tpo"; exit 1; fi |
---|
438 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-bindingLhsAutomaton.o -MD -MP -MF ".deps/libcore_a-bindingLhsAutomaton.Tpo" -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc; \ |
---|
439 | :info:build then mv -f ".deps/libcore_a-bindingLhsAutomaton.Tpo" ".deps/libcore_a-bindingLhsAutomaton.Po"; else rm -f ".deps/libcore_a-bindingLhsAutomaton.Tpo"; exit 1; fi |
---|
440 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-trivialRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-trivialRhsAutomaton.Tpo" -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc; \ |
---|
441 | :info:build then mv -f ".deps/libcore_a-trivialRhsAutomaton.Tpo" ".deps/libcore_a-trivialRhsAutomaton.Po"; else rm -f ".deps/libcore_a-trivialRhsAutomaton.Tpo"; exit 1; fi |
---|
442 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-copyRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-copyRhsAutomaton.Tpo" -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc; \ |
---|
443 | :info:build then mv -f ".deps/libcore_a-copyRhsAutomaton.Tpo" ".deps/libcore_a-copyRhsAutomaton.Po"; else rm -f ".deps/libcore_a-copyRhsAutomaton.Tpo"; exit 1; fi |
---|
444 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-variableInfo.o -MD -MP -MF ".deps/libcore_a-variableInfo.Tpo" -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc; \ |
---|
445 | :info:build then mv -f ".deps/libcore_a-variableInfo.Tpo" ".deps/libcore_a-variableInfo.Po"; else rm -f ".deps/libcore_a-variableInfo.Tpo"; exit 1; fi |
---|
446 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-narrowingVariableInfo.o -MD -MP -MF ".deps/libcore_a-narrowingVariableInfo.Tpo" -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc; \ |
---|
447 | :info:build then mv -f ".deps/libcore_a-narrowingVariableInfo.Tpo" ".deps/libcore_a-narrowingVariableInfo.Po"; else rm -f ".deps/libcore_a-narrowingVariableInfo.Tpo"; exit 1; fi |
---|
448 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-termSet.o -MD -MP -MF ".deps/libcore_a-termSet.Tpo" -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc; \ |
---|
449 | :info:build then mv -f ".deps/libcore_a-termSet.Tpo" ".deps/libcore_a-termSet.Po"; else rm -f ".deps/libcore_a-termSet.Tpo"; exit 1; fi |
---|
450 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-strategy.o -MD -MP -MF ".deps/libcore_a-strategy.Tpo" -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc; \ |
---|
451 | :info:build then mv -f ".deps/libcore_a-strategy.Tpo" ".deps/libcore_a-strategy.Po"; else rm -f ".deps/libcore_a-strategy.Tpo"; exit 1; fi |
---|
452 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sortTable.o -MD -MP -MF ".deps/libcore_a-sortTable.Tpo" -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc; \ |
---|
453 | :info:build then mv -f ".deps/libcore_a-sortTable.Tpo" ".deps/libcore_a-sortTable.Po"; else rm -f ".deps/libcore_a-sortTable.Tpo"; exit 1; fi |
---|
454 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sortConstraintTable.o -MD -MP -MF ".deps/libcore_a-sortConstraintTable.Tpo" -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc; \ |
---|
455 | :info:build then mv -f ".deps/libcore_a-sortConstraintTable.Tpo" ".deps/libcore_a-sortConstraintTable.Po"; else rm -f ".deps/libcore_a-sortConstraintTable.Tpo"; exit 1; fi |
---|
456 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-equationTable.o -MD -MP -MF ".deps/libcore_a-equationTable.Tpo" -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc; \ |
---|
457 | :info:build then mv -f ".deps/libcore_a-equationTable.Tpo" ".deps/libcore_a-equationTable.Po"; else rm -f ".deps/libcore_a-equationTable.Tpo"; exit 1; fi |
---|
458 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-ruleTable.o -MD -MP -MF ".deps/libcore_a-ruleTable.Tpo" -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc; \ |
---|
459 | :info:build then mv -f ".deps/libcore_a-ruleTable.Tpo" ".deps/libcore_a-ruleTable.Po"; else rm -f ".deps/libcore_a-ruleTable.Tpo"; exit 1; fi |
---|
460 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sort.o -MD -MP -MF ".deps/libcore_a-sort.Tpo" -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc; \ |
---|
461 | :info:build then mv -f ".deps/libcore_a-sort.Tpo" ".deps/libcore_a-sort.Po"; else rm -f ".deps/libcore_a-sort.Tpo"; exit 1; fi |
---|
462 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-connectedComponent.o -MD -MP -MF ".deps/libcore_a-connectedComponent.Tpo" -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc; \ |
---|
463 | :info:build then mv -f ".deps/libcore_a-connectedComponent.Tpo" ".deps/libcore_a-connectedComponent.Po"; else rm -f ".deps/libcore_a-connectedComponent.Tpo"; exit 1; fi |
---|
464 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-module.o -MD -MP -MF ".deps/libcore_a-module.Tpo" -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc; \ |
---|
465 | :info:build then mv -f ".deps/libcore_a-module.Tpo" ".deps/libcore_a-module.Po"; else rm -f ".deps/libcore_a-module.Tpo"; exit 1; fi |
---|
466 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-substitution.o -MD -MP -MF ".deps/libcore_a-substitution.Tpo" -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc; \ |
---|
467 | :info:build then mv -f ".deps/libcore_a-substitution.Tpo" ".deps/libcore_a-substitution.Po"; else rm -f ".deps/libcore_a-substitution.Tpo"; exit 1; fi |
---|
468 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-localBinding.o -MD -MP -MF ".deps/libcore_a-localBinding.Tpo" -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc; \ |
---|
469 | :info:build then mv -f ".deps/libcore_a-localBinding.Tpo" ".deps/libcore_a-localBinding.Po"; else rm -f ".deps/libcore_a-localBinding.Tpo"; exit 1; fi |
---|
470 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-subproblemSequence.o -MD -MP -MF ".deps/libcore_a-subproblemSequence.Tpo" -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc; \ |
---|
471 | :info:build then mv -f ".deps/libcore_a-subproblemSequence.Tpo" ".deps/libcore_a-subproblemSequence.Po"; else rm -f ".deps/libcore_a-subproblemSequence.Tpo"; exit 1; fi |
---|
472 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-subproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-subproblemDisjunction.Tpo" -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc; \ |
---|
473 | :info:build then mv -f ".deps/libcore_a-subproblemDisjunction.Tpo" ".deps/libcore_a-subproblemDisjunction.Po"; else rm -f ".deps/libcore_a-subproblemDisjunction.Tpo"; exit 1; fi |
---|
474 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sortCheckSubproblem.o -MD -MP -MF ".deps/libcore_a-sortCheckSubproblem.Tpo" -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc; \ |
---|
475 | :info:build then mv -f ".deps/libcore_a-sortCheckSubproblem.Tpo" ".deps/libcore_a-sortCheckSubproblem.Po"; else rm -f ".deps/libcore_a-sortCheckSubproblem.Tpo"; exit 1; fi |
---|
476 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-disjunctiveSubproblemAccumulator.o -MD -MP -MF ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc; \ |
---|
477 | :info:build then mv -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" ".deps/libcore_a-disjunctiveSubproblemAccumulator.Po"; else rm -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo"; exit 1; fi |
---|
478 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-preEquation.o -MD -MP -MF ".deps/libcore_a-preEquation.Tpo" -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc; \ |
---|
479 | :info:build then mv -f ".deps/libcore_a-preEquation.Tpo" ".deps/libcore_a-preEquation.Po"; else rm -f ".deps/libcore_a-preEquation.Tpo"; exit 1; fi |
---|
480 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-equation.o -MD -MP -MF ".deps/libcore_a-equation.Tpo" -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc; \ |
---|
481 | :info:build then mv -f ".deps/libcore_a-equation.Tpo" ".deps/libcore_a-equation.Po"; else rm -f ".deps/libcore_a-equation.Tpo"; exit 1; fi |
---|
482 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-rule.o -MD -MP -MF ".deps/libcore_a-rule.Tpo" -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc; \ |
---|
483 | :info:build then mv -f ".deps/libcore_a-rule.Tpo" ".deps/libcore_a-rule.Po"; else rm -f ".deps/libcore_a-rule.Tpo"; exit 1; fi |
---|
484 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sortConstraint.o -MD -MP -MF ".deps/libcore_a-sortConstraint.Tpo" -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc; \ |
---|
485 | :info:build then mv -f ".deps/libcore_a-sortConstraint.Tpo" ".deps/libcore_a-sortConstraint.Po"; else rm -f ".deps/libcore_a-sortConstraint.Tpo"; exit 1; fi |
---|
486 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-rewritingContext.o -MD -MP -MF ".deps/libcore_a-rewritingContext.Tpo" -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc; \ |
---|
487 | :info:build then mv -f ".deps/libcore_a-rewritingContext.Tpo" ".deps/libcore_a-rewritingContext.Po"; else rm -f ".deps/libcore_a-rewritingContext.Tpo"; exit 1; fi |
---|
488 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-variableAbstractionSubproblem.o -MD -MP -MF ".deps/libcore_a-variableAbstractionSubproblem.Tpo" -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc; \ |
---|
489 | :info:build then mv -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo" ".deps/libcore_a-variableAbstractionSubproblem.Po"; else rm -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo"; exit 1; fi |
---|
490 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-equalitySubproblem.o -MD -MP -MF ".deps/libcore_a-equalitySubproblem.Tpo" -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc; \ |
---|
491 | :info:build then mv -f ".deps/libcore_a-equalitySubproblem.Tpo" ".deps/libcore_a-equalitySubproblem.Po"; else rm -f ".deps/libcore_a-equalitySubproblem.Tpo"; exit 1; fi |
---|
492 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-dagRoot.o -MD -MP -MF ".deps/libcore_a-dagRoot.Tpo" -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc; \ |
---|
493 | :info:build then mv -f ".deps/libcore_a-dagRoot.Tpo" ".deps/libcore_a-dagRoot.Po"; else rm -f ".deps/libcore_a-dagRoot.Tpo"; exit 1; fi |
---|
494 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-cachedDag.o -MD -MP -MF ".deps/libcore_a-cachedDag.Tpo" -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc; \ |
---|
495 | :info:build then mv -f ".deps/libcore_a-cachedDag.Tpo" ".deps/libcore_a-cachedDag.Po"; else rm -f ".deps/libcore_a-cachedDag.Tpo"; exit 1; fi |
---|
496 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-extensionMatchSubproblem.o -MD -MP -MF ".deps/libcore_a-extensionMatchSubproblem.Tpo" -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc; \ |
---|
497 | :info:build then mv -f ".deps/libcore_a-extensionMatchSubproblem.Tpo" ".deps/libcore_a-extensionMatchSubproblem.Po"; else rm -f ".deps/libcore_a-extensionMatchSubproblem.Tpo"; exit 1; fi |
---|
498 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-dagNodeSet.o -MD -MP -MF ".deps/libcore_a-dagNodeSet.Tpo" -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc; \ |
---|
499 | :info:build then mv -f ".deps/libcore_a-dagNodeSet.Tpo" ".deps/libcore_a-dagNodeSet.Po"; else rm -f ".deps/libcore_a-dagNodeSet.Tpo"; exit 1; fi |
---|
500 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-hashConsSet.o -MD -MP -MF ".deps/libcore_a-hashConsSet.Tpo" -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc; \ |
---|
501 | :info:build then mv -f ".deps/libcore_a-hashConsSet.Tpo" ".deps/libcore_a-hashConsSet.Po"; else rm -f ".deps/libcore_a-hashConsSet.Tpo"; exit 1; fi |
---|
502 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-memoTable.o -MD -MP -MF ".deps/libcore_a-memoTable.Tpo" -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc; \ |
---|
503 | :info:build then mv -f ".deps/libcore_a-memoTable.Tpo" ".deps/libcore_a-memoTable.Po"; else rm -f ".deps/libcore_a-memoTable.Tpo"; exit 1; fi |
---|
504 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-memoMap.o -MD -MP -MF ".deps/libcore_a-memoMap.Tpo" -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc; \ |
---|
505 | :info:build then mv -f ".deps/libcore_a-memoMap.Tpo" ".deps/libcore_a-memoMap.Po"; else rm -f ".deps/libcore_a-memoMap.Tpo"; exit 1; fi |
---|
506 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-rootContainer.o -MD -MP -MF ".deps/libcore_a-rootContainer.Tpo" -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc; \ |
---|
507 | :info:build then mv -f ".deps/libcore_a-rootContainer.Tpo" ".deps/libcore_a-rootContainer.Po"; else rm -f ".deps/libcore_a-rootContainer.Tpo"; exit 1; fi |
---|
508 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-sortBdds.o -MD -MP -MF ".deps/libcore_a-sortBdds.Tpo" -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc; \ |
---|
509 | :info:build then mv -f ".deps/libcore_a-sortBdds.Tpo" ".deps/libcore_a-sortBdds.Po"; else rm -f ".deps/libcore_a-sortBdds.Tpo"; exit 1; fi |
---|
510 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-unificationContext.o -MD -MP -MF ".deps/libcore_a-unificationContext.Tpo" -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc; \ |
---|
511 | :info:build then mv -f ".deps/libcore_a-unificationContext.Tpo" ".deps/libcore_a-unificationContext.Po"; else rm -f ".deps/libcore_a-unificationContext.Tpo"; exit 1; fi |
---|
512 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-protectedDagNodeSet.o -MD -MP -MF ".deps/libcore_a-protectedDagNodeSet.Tpo" -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc; \ |
---|
513 | :info:build then mv -f ".deps/libcore_a-protectedDagNodeSet.Tpo" ".deps/libcore_a-protectedDagNodeSet.Po"; else rm -f ".deps/libcore_a-protectedDagNodeSet.Tpo"; exit 1; fi |
---|
514 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-pendingUnificationStack.o -MD -MP -MF ".deps/libcore_a-pendingUnificationStack.Tpo" -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc; \ |
---|
515 | :info:build then mv -f ".deps/libcore_a-pendingUnificationStack.Tpo" ".deps/libcore_a-pendingUnificationStack.Po"; else rm -f ".deps/libcore_a-pendingUnificationStack.Tpo"; exit 1; fi |
---|
516 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-unificationSubproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc; \ |
---|
517 | :info:build then mv -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" ".deps/libcore_a-unificationSubproblemDisjunction.Po"; else rm -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo"; exit 1; fi |
---|
518 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libcore_a-compoundCycleSubproblem.o -MD -MP -MF ".deps/libcore_a-compoundCycleSubproblem.Tpo" -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc; \ |
---|
519 | :info:build then mv -f ".deps/libcore_a-compoundCycleSubproblem.Tpo" ".deps/libcore_a-compoundCycleSubproblem.Po"; else rm -f ".deps/libcore_a-compoundCycleSubproblem.Tpo"; exit 1; fi |
---|
520 | :info:build rm -f libcore.a |
---|
521 | :info:build ar cru libcore.a libcore_a-memoryCell.o libcore_a-rhsBuilder.o libcore_a-termBag.o libcore_a-bindingLhsAutomaton.o libcore_a-trivialRhsAutomaton.o libcore_a-copyRhsAutomaton.o libcore_a-variableInfo.o libcore_a-narrowingVariableInfo.o libcore_a-termSet.o libcore_a-strategy.o libcore_a-sortTable.o libcore_a-sortConstraintTable.o libcore_a-equationTable.o libcore_a-ruleTable.o libcore_a-sort.o libcore_a-connectedComponent.o libcore_a-module.o libcore_a-substitution.o libcore_a-localBinding.o libcore_a-subproblemSequence.o libcore_a-subproblemDisjunction.o libcore_a-sortCheckSubproblem.o libcore_a-disjunctiveSubproblemAccumulator.o libcore_a-preEquation.o libcore_a-equation.o libcore_a-rule.o libcore_a-sortConstraint.o libcore_a-rewritingContext.o libcore_a-variableAbstractionSubproblem.o libcore_a-equalitySubproblem.o libcore_a-dagRoot.o libcore_a-cachedDag.o libcore_a-extensionMatchSubproblem.o libcore_a-dagNodeSet.o libcore_a-hashConsSet.o libcore_a-memoTable.o libcore_a-memoMap.o libcore_a-rootContainer.o libcore_a-sortBdds.o libcore_a-unificationContext.o libcore_a-protectedDagNodeSet.o libcore_a-pendingUnificationStack.o libcore_a-unificationSubproblemDisjunction.o libcore_a-compoundCycleSubproblem.o |
---|
522 | :info:build ranlib libcore.a |
---|
523 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Core' |
---|
524 | :info:build Making all in Variable |
---|
525 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Variable' |
---|
526 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libvariable_a-variableSymbol.o -MD -MP -MF ".deps/libvariable_a-variableSymbol.Tpo" -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc; \ |
---|
527 | :info:build then mv -f ".deps/libvariable_a-variableSymbol.Tpo" ".deps/libvariable_a-variableSymbol.Po"; else rm -f ".deps/libvariable_a-variableSymbol.Tpo"; exit 1; fi |
---|
528 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libvariable_a-variableTerm.o -MD -MP -MF ".deps/libvariable_a-variableTerm.Tpo" -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc; \ |
---|
529 | :info:build then mv -f ".deps/libvariable_a-variableTerm.Tpo" ".deps/libvariable_a-variableTerm.Po"; else rm -f ".deps/libvariable_a-variableTerm.Tpo"; exit 1; fi |
---|
530 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libvariable_a-variableDagNode.o -MD -MP -MF ".deps/libvariable_a-variableDagNode.Tpo" -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc; \ |
---|
531 | :info:build then mv -f ".deps/libvariable_a-variableDagNode.Tpo" ".deps/libvariable_a-variableDagNode.Po"; else rm -f ".deps/libvariable_a-variableDagNode.Tpo"; exit 1; fi |
---|
532 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libvariable_a-variableLhsAutomaton.o -MD -MP -MF ".deps/libvariable_a-variableLhsAutomaton.Tpo" -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc; \ |
---|
533 | :info:build then mv -f ".deps/libvariable_a-variableLhsAutomaton.Tpo" ".deps/libvariable_a-variableLhsAutomaton.Po"; else rm -f ".deps/libvariable_a-variableLhsAutomaton.Tpo"; exit 1; fi |
---|
534 | :info:build rm -f libvariable.a |
---|
535 | :info:build ar cru libvariable.a libvariable_a-variableSymbol.o libvariable_a-variableTerm.o libvariable_a-variableDagNode.o libvariable_a-variableLhsAutomaton.o |
---|
536 | :info:build ranlib libvariable.a |
---|
537 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Variable' |
---|
538 | :info:build Making all in NA_Theory |
---|
539 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/NA_Theory' |
---|
540 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libNA_Theory_a-NA_Symbol.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Symbol.Tpo" -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc; \ |
---|
541 | :info:build then mv -f ".deps/libNA_Theory_a-NA_Symbol.Tpo" ".deps/libNA_Theory_a-NA_Symbol.Po"; else rm -f ".deps/libNA_Theory_a-NA_Symbol.Tpo"; exit 1; fi |
---|
542 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libNA_Theory_a-NA_Term.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Term.Tpo" -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc; \ |
---|
543 | :info:build then mv -f ".deps/libNA_Theory_a-NA_Term.Tpo" ".deps/libNA_Theory_a-NA_Term.Po"; else rm -f ".deps/libNA_Theory_a-NA_Term.Tpo"; exit 1; fi |
---|
544 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libNA_Theory_a-NA_DagNode.o -MD -MP -MF ".deps/libNA_Theory_a-NA_DagNode.Tpo" -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc; \ |
---|
545 | :info:build then mv -f ".deps/libNA_Theory_a-NA_DagNode.Tpo" ".deps/libNA_Theory_a-NA_DagNode.Po"; else rm -f ".deps/libNA_Theory_a-NA_DagNode.Tpo"; exit 1; fi |
---|
546 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libNA_Theory_a-NA_LhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc; \ |
---|
547 | :info:build then mv -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_LhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo"; exit 1; fi |
---|
548 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libNA_Theory_a-NA_RhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc; \ |
---|
549 | :info:build then mv -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_RhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo"; exit 1; fi |
---|
550 | :info:build rm -f libNA_Theory.a |
---|
551 | :info:build ar cru libNA_Theory.a libNA_Theory_a-NA_Symbol.o libNA_Theory_a-NA_Term.o libNA_Theory_a-NA_DagNode.o libNA_Theory_a-NA_LhsAutomaton.o libNA_Theory_a-NA_RhsAutomaton.o |
---|
552 | :info:build ranlib libNA_Theory.a |
---|
553 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/NA_Theory' |
---|
554 | :info:build Making all in ACU_Persistent |
---|
555 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/ACU_Persistent' |
---|
556 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Persistent_a-ACU_RedBlackNode.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc; \ |
---|
557 | :info:build then mv -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" ".deps/libACU_Persistent_a-ACU_RedBlackNode.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo"; exit 1; fi |
---|
558 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Persistent_a-ACU_Tree.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_Tree.Tpo" -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc; \ |
---|
559 | :info:build then mv -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo" ".deps/libACU_Persistent_a-ACU_Tree.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo"; exit 1; fi |
---|
560 | :info:build rm -f libACU_Persistent.a |
---|
561 | :info:build ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o libACU_Persistent_a-ACU_Tree.o |
---|
562 | :info:build ranlib libACU_Persistent.a |
---|
563 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/ACU_Persistent' |
---|
564 | :info:build Making all in ACU_Theory |
---|
565 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/ACU_Theory' |
---|
566 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Symbol.Tpo" -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc; \ |
---|
567 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo" ".deps/libACU_Theory_a-ACU_Symbol.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo"; exit 1; fi |
---|
568 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Term.Tpo" -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc; \ |
---|
569 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_Term.Tpo" ".deps/libACU_Theory_a-ACU_Term.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Term.Tpo"; exit 1; fi |
---|
570 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc; \ |
---|
571 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" ".deps/libACU_Theory_a-ACU_BaseDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo"; exit 1; fi |
---|
572 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagNode.Tpo" -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc; \ |
---|
573 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo" ".deps/libACU_Theory_a-ACU_DagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo"; exit 1; fi |
---|
574 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc; \ |
---|
575 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo"; exit 1; fi |
---|
576 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc; \ |
---|
577 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_RhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo"; exit 1; fi |
---|
578 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc; \ |
---|
579 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo"; exit 1; fi |
---|
580 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc; \ |
---|
581 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" ".deps/libACU_Theory_a-ACU_Subproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo"; exit 1; fi |
---|
582 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc; \ |
---|
583 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" ".deps/libACU_Theory_a-ACU_ExtensionInfo.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo"; exit 1; fi |
---|
584 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc; \ |
---|
585 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo"; exit 1; fi |
---|
586 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc; \ |
---|
587 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo"; exit 1; fi |
---|
588 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc; \ |
---|
589 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo"; exit 1; fi |
---|
590 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc; \ |
---|
591 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo"; exit 1; fi |
---|
592 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc; \ |
---|
593 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo"; exit 1; fi |
---|
594 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc; \ |
---|
595 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_ArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo"; exit 1; fi |
---|
596 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc; \ |
---|
597 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo"; exit 1; fi |
---|
598 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc; \ |
---|
599 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo"; exit 1; fi |
---|
600 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc; \ |
---|
601 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" ".deps/libACU_Theory_a-ACU_LazySubproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo"; exit 1; fi |
---|
602 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc; \ |
---|
603 | :info:build then mv -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Po"; else rm -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo"; exit 1; fi |
---|
604 | :info:build rm -f libACU_Theory.a |
---|
605 | :info:build ar cru libACU_Theory.a libACU_Theory_a-ACU_Symbol.o libACU_Theory_a-ACU_Term.o libACU_Theory_a-ACU_BaseDagNode.o libACU_Theory_a-ACU_DagNode.o libACU_Theory_a-ACU_TreeDagNode.o libACU_Theory_a-ACU_RhsAutomaton.o libACU_Theory_a-ACU_LhsAutomaton.o libACU_Theory_a-ACU_Subproblem.o libACU_Theory_a-ACU_ExtensionInfo.o libACU_Theory_a-ACU_CollectorLhsAutomaton.o libACU_Theory_a-ACU_NGA_LhsAutomaton.o libACU_Theory_a-ACU_VarLhsAutomaton.o libACU_Theory_a-ACU_GndLhsAutomaton.o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o libACU_Theory_a-ACU_ArgumentIterator.o libACU_Theory_a-ACU_DagArgumentIterator.o libACU_Theory_a-ACU_TreeDagArgumentIterator.o libACU_Theory_a-ACU_LazySubproblem.o libACU_Theory_a-ACU_UnificationSubproblem2.o |
---|
606 | :info:build ranlib libACU_Theory.a |
---|
607 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/ACU_Theory' |
---|
608 | :info:build Making all in AU_Persistent |
---|
609 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/AU_Persistent' |
---|
610 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Persistent_a-AU_StackNode.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_StackNode.Tpo" -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc; \ |
---|
611 | :info:build then mv -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo" ".deps/libAU_Persistent_a-AU_StackNode.Po"; else rm -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo"; exit 1; fi |
---|
612 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Persistent_a-AU_Deque.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_Deque.Tpo" -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc; \ |
---|
613 | :info:build then mv -f ".deps/libAU_Persistent_a-AU_Deque.Tpo" ".deps/libAU_Persistent_a-AU_Deque.Po"; else rm -f ".deps/libAU_Persistent_a-AU_Deque.Tpo"; exit 1; fi |
---|
614 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Persistent_a-AU_DequeIter.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" -c -o libAU_Persistent_a-AU_DequeIter.o `test -f 'AU_DequeIter.cc' || echo './'`AU_DequeIter.cc; \ |
---|
615 | :info:build then mv -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" ".deps/libAU_Persistent_a-AU_DequeIter.Po"; else rm -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo"; exit 1; fi |
---|
616 | :info:build rm -f libAU_Persistent.a |
---|
617 | :info:build ar cru libAU_Persistent.a libAU_Persistent_a-AU_StackNode.o libAU_Persistent_a-AU_Deque.o libAU_Persistent_a-AU_DequeIter.o |
---|
618 | :info:build ranlib libAU_Persistent.a |
---|
619 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/AU_Persistent' |
---|
620 | :info:build Making all in AU_Theory |
---|
621 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/AU_Theory' |
---|
622 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_Symbol.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Symbol.Tpo" -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc; \ |
---|
623 | :info:build then mv -f ".deps/libAU_Theory_a-AU_Symbol.Tpo" ".deps/libAU_Theory_a-AU_Symbol.Po"; else rm -f ".deps/libAU_Theory_a-AU_Symbol.Tpo"; exit 1; fi |
---|
624 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_DagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagNode.Tpo" -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc; \ |
---|
625 | :info:build then mv -f ".deps/libAU_Theory_a-AU_DagNode.Tpo" ".deps/libAU_Theory_a-AU_DagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagNode.Tpo"; exit 1; fi |
---|
626 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_DequeDagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc; \ |
---|
627 | :info:build then mv -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" ".deps/libAU_Theory_a-AU_DequeDagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo"; exit 1; fi |
---|
628 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_Term.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Term.Tpo" -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc; \ |
---|
629 | :info:build then mv -f ".deps/libAU_Theory_a-AU_Term.Tpo" ".deps/libAU_Theory_a-AU_Term.Po"; else rm -f ".deps/libAU_Theory_a-AU_Term.Tpo"; exit 1; fi |
---|
630 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_DagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc; \ |
---|
631 | :info:build then mv -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo"; exit 1; fi |
---|
632 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_DequeDagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc; \ |
---|
633 | :info:build then mv -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo"; exit 1; fi |
---|
634 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_ExtensionInfo.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc; \ |
---|
635 | :info:build then mv -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" ".deps/libAU_Theory_a-AU_ExtensionInfo.Po"; else rm -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo"; exit 1; fi |
---|
636 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_RhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc; \ |
---|
637 | :info:build then mv -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_RhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo"; exit 1; fi |
---|
638 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_LhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc; \ |
---|
639 | :info:build then mv -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_LhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo"; exit 1; fi |
---|
640 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_ArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc; \ |
---|
641 | :info:build then mv -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_ArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo"; exit 1; fi |
---|
642 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_Layer.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Layer.Tpo" -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc; \ |
---|
643 | :info:build then mv -f ".deps/libAU_Theory_a-AU_Layer.Tpo" ".deps/libAU_Theory_a-AU_Layer.Po"; else rm -f ".deps/libAU_Theory_a-AU_Layer.Tpo"; exit 1; fi |
---|
644 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libAU_Theory_a-AU_Subproblem.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Subproblem.Tpo" -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc; \ |
---|
645 | :info:build then mv -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo" ".deps/libAU_Theory_a-AU_Subproblem.Po"; else rm -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo"; exit 1; fi |
---|
646 | :info:build rm -f libAU_Theory.a |
---|
647 | :info:build ar cru libAU_Theory.a libAU_Theory_a-AU_Symbol.o libAU_Theory_a-AU_DagNode.o libAU_Theory_a-AU_DequeDagNode.o libAU_Theory_a-AU_Term.o libAU_Theory_a-AU_DagArgumentIterator.o libAU_Theory_a-AU_DequeDagArgumentIterator.o libAU_Theory_a-AU_ExtensionInfo.o libAU_Theory_a-AU_RhsAutomaton.o libAU_Theory_a-AU_LhsAutomaton.o libAU_Theory_a-AU_ArgumentIterator.o libAU_Theory_a-AU_Layer.o libAU_Theory_a-AU_Subproblem.o |
---|
648 | :info:build ranlib libAU_Theory.a |
---|
649 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/AU_Theory' |
---|
650 | :info:build Making all in CUI_Theory |
---|
651 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/CUI_Theory' |
---|
652 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc; \ |
---|
653 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" ".deps/libCUI_Theory_a-CUI_Symbol.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo"; exit 1; fi |
---|
654 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc; \ |
---|
655 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" ".deps/libCUI_Theory_a-CUI_DagNode.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo"; exit 1; fi |
---|
656 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc; \ |
---|
657 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo"; exit 1; fi |
---|
658 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc; \ |
---|
659 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo"; exit 1; fi |
---|
660 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Term.Tpo" -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc; \ |
---|
661 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_Term.Tpo" ".deps/libCUI_Theory_a-CUI_Term.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Term.Tpo"; exit 1; fi |
---|
662 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc; \ |
---|
663 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo"; exit 1; fi |
---|
664 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc; \ |
---|
665 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo"; exit 1; fi |
---|
666 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc; \ |
---|
667 | :info:build then mv -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo"; exit 1; fi |
---|
668 | :info:build rm -f libCUI_Theory.a |
---|
669 | :info:build ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o libCUI_Theory_a-CUI_DagNode.o libCUI_Theory_a-CUI_DagArgumentIterator.o libCUI_Theory_a-CUI_RhsAutomaton.o libCUI_Theory_a-CUI_Term.o libCUI_Theory_a-CUI_ArgumentIterator.o libCUI_Theory_a-CUI_UnificationSubproblem.o libCUI_Theory_a-CUI_LhsAutomaton.o |
---|
670 | :info:build ranlib libCUI_Theory.a |
---|
671 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/CUI_Theory' |
---|
672 | :info:build Making all in S_Theory |
---|
673 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/S_Theory' |
---|
674 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_Symbol.o -MD -MP -MF ".deps/libS_Theory_a-S_Symbol.Tpo" -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc; \ |
---|
675 | :info:build then mv -f ".deps/libS_Theory_a-S_Symbol.Tpo" ".deps/libS_Theory_a-S_Symbol.Po"; else rm -f ".deps/libS_Theory_a-S_Symbol.Tpo"; exit 1; fi |
---|
676 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_DagNode.o -MD -MP -MF ".deps/libS_Theory_a-S_DagNode.Tpo" -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc; \ |
---|
677 | :info:build then mv -f ".deps/libS_Theory_a-S_DagNode.Tpo" ".deps/libS_Theory_a-S_DagNode.Po"; else rm -f ".deps/libS_Theory_a-S_DagNode.Tpo"; exit 1; fi |
---|
678 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_Term.o -MD -MP -MF ".deps/libS_Theory_a-S_Term.Tpo" -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc; \ |
---|
679 | :info:build then mv -f ".deps/libS_Theory_a-S_Term.Tpo" ".deps/libS_Theory_a-S_Term.Po"; else rm -f ".deps/libS_Theory_a-S_Term.Tpo"; exit 1; fi |
---|
680 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_ExtensionInfo.o -MD -MP -MF ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc; \ |
---|
681 | :info:build then mv -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" ".deps/libS_Theory_a-S_ExtensionInfo.Po"; else rm -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo"; exit 1; fi |
---|
682 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_DagArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc; \ |
---|
683 | :info:build then mv -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" ".deps/libS_Theory_a-S_DagArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo"; exit 1; fi |
---|
684 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_ArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc; \ |
---|
685 | :info:build then mv -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" ".deps/libS_Theory_a-S_ArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo"; exit 1; fi |
---|
686 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_LhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc; \ |
---|
687 | :info:build then mv -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" ".deps/libS_Theory_a-S_LhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo"; exit 1; fi |
---|
688 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_RhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc; \ |
---|
689 | :info:build then mv -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" ".deps/libS_Theory_a-S_RhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo"; exit 1; fi |
---|
690 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libS_Theory_a-S_Subproblem.o -MD -MP -MF ".deps/libS_Theory_a-S_Subproblem.Tpo" -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc; \ |
---|
691 | :info:build then mv -f ".deps/libS_Theory_a-S_Subproblem.Tpo" ".deps/libS_Theory_a-S_Subproblem.Po"; else rm -f ".deps/libS_Theory_a-S_Subproblem.Tpo"; exit 1; fi |
---|
692 | :info:build rm -f libS_Theory.a |
---|
693 | :info:build ar cru libS_Theory.a libS_Theory_a-S_Symbol.o libS_Theory_a-S_DagNode.o libS_Theory_a-S_Term.o libS_Theory_a-S_ExtensionInfo.o libS_Theory_a-S_DagArgumentIterator.o libS_Theory_a-S_ArgumentIterator.o libS_Theory_a-S_LhsAutomaton.o libS_Theory_a-S_RhsAutomaton.o libS_Theory_a-S_Subproblem.o |
---|
694 | :info:build ranlib libS_Theory.a |
---|
695 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/S_Theory' |
---|
696 | :info:build Making all in FreeTheory |
---|
697 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/FreeTheory' |
---|
698 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeSymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeSymbol.Tpo" -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc; \ |
---|
699 | :info:build then mv -f ".deps/libfreeTheory_a-freeSymbol.Tpo" ".deps/libfreeTheory_a-freeSymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeSymbol.Tpo"; exit 1; fi |
---|
700 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeUnarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc; \ |
---|
701 | :info:build then mv -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" ".deps/libfreeTheory_a-freeUnarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo"; exit 1; fi |
---|
702 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeBinarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc; \ |
---|
703 | :info:build then mv -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" ".deps/libfreeTheory_a-freeBinarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo"; exit 1; fi |
---|
704 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeTernarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc; \ |
---|
705 | :info:build then mv -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" ".deps/libfreeTheory_a-freeTernarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo"; exit 1; fi |
---|
706 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeTerm.o -MD -MP -MF ".deps/libfreeTheory_a-freeTerm.Tpo" -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc; \ |
---|
707 | :info:build then mv -f ".deps/libfreeTheory_a-freeTerm.Tpo" ".deps/libfreeTheory_a-freeTerm.Po"; else rm -f ".deps/libfreeTheory_a-freeTerm.Tpo"; exit 1; fi |
---|
708 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc; \ |
---|
709 | :info:build then mv -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo"; exit 1; fi |
---|
710 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeDagNode.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagNode.Tpo" -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc; \ |
---|
711 | :info:build then mv -f ".deps/libfreeTheory_a-freeDagNode.Tpo" ".deps/libfreeTheory_a-freeDagNode.Po"; else rm -f ".deps/libfreeTheory_a-freeDagNode.Tpo"; exit 1; fi |
---|
712 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeDagArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc; \ |
---|
713 | :info:build then mv -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeDagArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo"; exit 1; fi |
---|
714 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeLhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc; \ |
---|
715 | :info:build then mv -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeLhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo"; exit 1; fi |
---|
716 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeRhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc; \ |
---|
717 | :info:build then mv -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeRhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo"; exit 1; fi |
---|
718 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeNet.o -MD -MP -MF ".deps/libfreeTheory_a-freeNet.Tpo" -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc; \ |
---|
719 | :info:build then mv -f ".deps/libfreeTheory_a-freeNet.Tpo" ".deps/libfreeTheory_a-freeNet.Po"; else rm -f ".deps/libfreeTheory_a-freeNet.Tpo"; exit 1; fi |
---|
720 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freePreNet.o -MD -MP -MF ".deps/libfreeTheory_a-freePreNet.Tpo" -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc; \ |
---|
721 | :info:build then mv -f ".deps/libfreeTheory_a-freePreNet.Tpo" ".deps/libfreeTheory_a-freePreNet.Po"; else rm -f ".deps/libfreeTheory_a-freePreNet.Tpo"; exit 1; fi |
---|
722 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freeRemainder.o -MD -MP -MF ".deps/libfreeTheory_a-freeRemainder.Tpo" -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc; \ |
---|
723 | :info:build then mv -f ".deps/libfreeTheory_a-freeRemainder.Tpo" ".deps/libfreeTheory_a-freeRemainder.Po"; else rm -f ".deps/libfreeTheory_a-freeRemainder.Tpo"; exit 1; fi |
---|
724 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/opt/local/include -pipe -O2 -arch x86_64 -MT libfreeTheory_a-freePositionTable.o -MD -MP -MF ".deps/libfreeTheory_a-freePositionTable.Tpo" -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc; \ |
---|
725 | :info:build then mv -f ".deps/libfreeTheory_a-freePositionTable.Tpo" ".deps/libfreeTheory_a-freePositionTable.Po"; else rm -f ".deps/libfreeTheory_a-freePositionTable.Tpo"; exit 1; fi |
---|
726 | :info:build rm -f libfreeTheory.a |
---|
727 | :info:build ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o libfreeTheory_a-freeUnarySymbol.o libfreeTheory_a-freeBinarySymbol.o libfreeTheory_a-freeTernarySymbol.o libfreeTheory_a-freeTerm.o libfreeTheory_a-freeArgumentIterator.o libfreeTheory_a-freeDagNode.o libfreeTheory_a-freeDagArgumentIterator.o libfreeTheory_a-freeLhsAutomaton.o libfreeTheory_a-freeRhsAutomaton.o libfreeTheory_a-freeNet.o libfreeTheory_a-freePreNet.o libfreeTheory_a-freeRemainder.o libfreeTheory_a-freePositionTable.o |
---|
728 | :info:build ranlib libfreeTheory.a |
---|
729 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/FreeTheory' |
---|
730 | :info:build Making all in Higher |
---|
731 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Higher' |
---|
732 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-rewriteSearchState.o -MD -MP -MF ".deps/libhigher_a-rewriteSearchState.Tpo" -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc; \ |
---|
733 | :info:build then mv -f ".deps/libhigher_a-rewriteSearchState.Tpo" ".deps/libhigher_a-rewriteSearchState.Po"; else rm -f ".deps/libhigher_a-rewriteSearchState.Tpo"; exit 1; fi |
---|
734 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-matchSearchState.o -MD -MP -MF ".deps/libhigher_a-matchSearchState.Tpo" -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc; \ |
---|
735 | :info:build then mv -f ".deps/libhigher_a-matchSearchState.Tpo" ".deps/libhigher_a-matchSearchState.Po"; else rm -f ".deps/libhigher_a-matchSearchState.Tpo"; exit 1; fi |
---|
736 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-positionState.o -MD -MP -MF ".deps/libhigher_a-positionState.Tpo" -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc; \ |
---|
737 | :info:build then mv -f ".deps/libhigher_a-positionState.Tpo" ".deps/libhigher_a-positionState.Po"; else rm -f ".deps/libhigher_a-positionState.Tpo"; exit 1; fi |
---|
738 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-pattern.o -MD -MP -MF ".deps/libhigher_a-pattern.Tpo" -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc; \ |
---|
739 | :info:build then mv -f ".deps/libhigher_a-pattern.Tpo" ".deps/libhigher_a-pattern.Po"; else rm -f ".deps/libhigher_a-pattern.Tpo"; exit 1; fi |
---|
740 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-searchState.o -MD -MP -MF ".deps/libhigher_a-searchState.Tpo" -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc; \ |
---|
741 | :info:build then mv -f ".deps/libhigher_a-searchState.Tpo" ".deps/libhigher_a-searchState.Po"; else rm -f ".deps/libhigher_a-searchState.Tpo"; exit 1; fi |
---|
742 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-rewriteSequenceSearch.Tpo" -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc; \ |
---|
743 | :info:build then mv -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo" ".deps/libhigher_a-rewriteSequenceSearch.Po"; else rm -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo"; exit 1; fi |
---|
744 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF ".deps/libhigher_a-modelCheckerSymbol.Tpo" -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc; \ |
---|
745 | :info:build then mv -f ".deps/libhigher_a-modelCheckerSymbol.Tpo" ".deps/libhigher_a-modelCheckerSymbol.Po"; else rm -f ".deps/libhigher_a-modelCheckerSymbol.Tpo"; exit 1; fi |
---|
746 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-stateTransitionGraph.o -MD -MP -MF ".deps/libhigher_a-stateTransitionGraph.Tpo" -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc; \ |
---|
747 | :info:build then mv -f ".deps/libhigher_a-stateTransitionGraph.Tpo" ".deps/libhigher_a-stateTransitionGraph.Po"; else rm -f ".deps/libhigher_a-stateTransitionGraph.Tpo"; exit 1; fi |
---|
748 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionFragment.Tpo" -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc; \ |
---|
749 | :info:build then mv -f ".deps/libhigher_a-rewriteConditionFragment.Tpo" ".deps/libhigher_a-rewriteConditionFragment.Po"; else rm -f ".deps/libhigher_a-rewriteConditionFragment.Tpo"; exit 1; fi |
---|
750 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionFragment.Tpo" -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc; \ |
---|
751 | :info:build then mv -f ".deps/libhigher_a-assignmentConditionFragment.Tpo" ".deps/libhigher_a-assignmentConditionFragment.Po"; else rm -f ".deps/libhigher_a-assignmentConditionFragment.Tpo"; exit 1; fi |
---|
752 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF ".deps/libhigher_a-sortTestConditionFragment.Tpo" -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc; \ |
---|
753 | :info:build then mv -f ".deps/libhigher_a-sortTestConditionFragment.Tpo" ".deps/libhigher_a-sortTestConditionFragment.Po"; else rm -f ".deps/libhigher_a-sortTestConditionFragment.Tpo"; exit 1; fi |
---|
754 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF ".deps/libhigher_a-equalityConditionFragment.Tpo" -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc; \ |
---|
755 | :info:build then mv -f ".deps/libhigher_a-equalityConditionFragment.Tpo" ".deps/libhigher_a-equalityConditionFragment.Po"; else rm -f ".deps/libhigher_a-equalityConditionFragment.Tpo"; exit 1; fi |
---|
756 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-assignmentConditionState.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionState.Tpo" -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc; \ |
---|
757 | :info:build then mv -f ".deps/libhigher_a-assignmentConditionState.Tpo" ".deps/libhigher_a-assignmentConditionState.Po"; else rm -f ".deps/libhigher_a-assignmentConditionState.Tpo"; exit 1; fi |
---|
758 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-rewriteConditionState.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionState.Tpo" -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc; \ |
---|
759 | :info:build then mv -f ".deps/libhigher_a-rewriteConditionState.Tpo" ".deps/libhigher_a-rewriteConditionState.Po"; else rm -f ".deps/libhigher_a-rewriteConditionState.Tpo"; exit 1; fi |
---|
760 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-temporalSymbol.o -MD -MP -MF ".deps/libhigher_a-temporalSymbol.Tpo" -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc; \ |
---|
761 | :info:build then mv -f ".deps/libhigher_a-temporalSymbol.Tpo" ".deps/libhigher_a-temporalSymbol.Po"; else rm -f ".deps/libhigher_a-temporalSymbol.Tpo"; exit 1; fi |
---|
762 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-satSolverSymbol.o -MD -MP -MF ".deps/libhigher_a-satSolverSymbol.Tpo" -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc; \ |
---|
763 | :info:build then mv -f ".deps/libhigher_a-satSolverSymbol.Tpo" ".deps/libhigher_a-satSolverSymbol.Po"; else rm -f ".deps/libhigher_a-satSolverSymbol.Tpo"; exit 1; fi |
---|
764 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-unificationProblem.o -MD -MP -MF ".deps/libhigher_a-unificationProblem.Tpo" -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc; \ |
---|
765 | :info:build then mv -f ".deps/libhigher_a-unificationProblem.Tpo" ".deps/libhigher_a-unificationProblem.Po"; else rm -f ".deps/libhigher_a-unificationProblem.Tpo"; exit 1; fi |
---|
766 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-narrowingSearchState.o -MD -MP -MF ".deps/libhigher_a-narrowingSearchState.Tpo" -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc; \ |
---|
767 | :info:build then mv -f ".deps/libhigher_a-narrowingSearchState.Tpo" ".deps/libhigher_a-narrowingSearchState.Po"; else rm -f ".deps/libhigher_a-narrowingSearchState.Tpo"; exit 1; fi |
---|
768 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-narrowingUnificationProblem.o -MD -MP -MF ".deps/libhigher_a-narrowingUnificationProblem.Tpo" -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc; \ |
---|
769 | :info:build then mv -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo" ".deps/libhigher_a-narrowingUnificationProblem.Po"; else rm -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo"; exit 1; fi |
---|
770 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/opt/local/include -pipe -O2 -arch x86_64 -MT libhigher_a-narrowingSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-narrowingSequenceSearch.Tpo" -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc; \ |
---|
771 | :info:build then mv -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo" ".deps/libhigher_a-narrowingSequenceSearch.Po"; else rm -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo"; exit 1; fi |
---|
772 | :info:build rm -f libhigher.a |
---|
773 | :info:build ar cru libhigher.a libhigher_a-rewriteSearchState.o libhigher_a-matchSearchState.o libhigher_a-positionState.o libhigher_a-pattern.o libhigher_a-searchState.o libhigher_a-rewriteSequenceSearch.o libhigher_a-modelCheckerSymbol.o libhigher_a-stateTransitionGraph.o libhigher_a-rewriteConditionFragment.o libhigher_a-assignmentConditionFragment.o libhigher_a-sortTestConditionFragment.o libhigher_a-equalityConditionFragment.o libhigher_a-assignmentConditionState.o libhigher_a-rewriteConditionState.o libhigher_a-temporalSymbol.o libhigher_a-satSolverSymbol.o libhigher_a-unificationProblem.o libhigher_a-narrowingSearchState.o libhigher_a-narrowingUnificationProblem.o libhigher_a-narrowingSequenceSearch.o |
---|
774 | :info:build ranlib libhigher.a |
---|
775 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/Higher' |
---|
776 | :info:build Making all in BuiltIn |
---|
777 | :info:build make[3]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/BuiltIn' |
---|
778 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-equalitySymbol.o -MD -MP -MF ".deps/libbuiltIn_a-equalitySymbol.Tpo" -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc; \ |
---|
779 | :info:build then mv -f ".deps/libbuiltIn_a-equalitySymbol.Tpo" ".deps/libbuiltIn_a-equalitySymbol.Po"; else rm -f ".deps/libbuiltIn_a-equalitySymbol.Tpo"; exit 1; fi |
---|
780 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-sortTestSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-sortTestSymbol.Tpo" -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc; \ |
---|
781 | :info:build then mv -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo" ".deps/libbuiltIn_a-sortTestSymbol.Po"; else rm -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo"; exit 1; fi |
---|
782 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-branchSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-branchSymbol.Tpo" -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc; \ |
---|
783 | :info:build then mv -f ".deps/libbuiltIn_a-branchSymbol.Tpo" ".deps/libbuiltIn_a-branchSymbol.Po"; else rm -f ".deps/libbuiltIn_a-branchSymbol.Tpo"; exit 1; fi |
---|
784 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-stringSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringSymbol.Tpo" -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc; \ |
---|
785 | :info:build then mv -f ".deps/libbuiltIn_a-stringSymbol.Tpo" ".deps/libbuiltIn_a-stringSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringSymbol.Tpo"; exit 1; fi |
---|
786 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-stringTerm.o -MD -MP -MF ".deps/libbuiltIn_a-stringTerm.Tpo" -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc; \ |
---|
787 | :info:build then mv -f ".deps/libbuiltIn_a-stringTerm.Tpo" ".deps/libbuiltIn_a-stringTerm.Po"; else rm -f ".deps/libbuiltIn_a-stringTerm.Tpo"; exit 1; fi |
---|
788 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-stringDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-stringDagNode.Tpo" -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc; \ |
---|
789 | :info:build then mv -f ".deps/libbuiltIn_a-stringDagNode.Tpo" ".deps/libbuiltIn_a-stringDagNode.Po"; else rm -f ".deps/libbuiltIn_a-stringDagNode.Tpo"; exit 1; fi |
---|
790 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-stringOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringOpSymbol.Tpo" -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc; \ |
---|
791 | :info:build then mv -f ".deps/libbuiltIn_a-stringOpSymbol.Tpo" ".deps/libbuiltIn_a-stringOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringOpSymbol.Tpo"; exit 1; fi |
---|
792 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-floatSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatSymbol.Tpo" -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc; \ |
---|
793 | :info:build then mv -f ".deps/libbuiltIn_a-floatSymbol.Tpo" ".deps/libbuiltIn_a-floatSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatSymbol.Tpo"; exit 1; fi |
---|
794 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-floatTerm.o -MD -MP -MF ".deps/libbuiltIn_a-floatTerm.Tpo" -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc; \ |
---|
795 | :info:build then mv -f ".deps/libbuiltIn_a-floatTerm.Tpo" ".deps/libbuiltIn_a-floatTerm.Po"; else rm -f ".deps/libbuiltIn_a-floatTerm.Tpo"; exit 1; fi |
---|
796 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-floatDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-floatDagNode.Tpo" -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc; \ |
---|
797 | :info:build then mv -f ".deps/libbuiltIn_a-floatDagNode.Tpo" ".deps/libbuiltIn_a-floatDagNode.Po"; else rm -f ".deps/libbuiltIn_a-floatDagNode.Tpo"; exit 1; fi |
---|
798 | :info:build if g++-apple-4.2 -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/opt/local/include -pipe -O2 -arch x86_64 -MT libbuiltIn_a-floatOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatOpSymbol.Tpo" -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc; \ |
---|
799 | :info:build then mv -f ".deps/libbuiltIn_a-floatOpSymbol.Tpo" ".deps/libbuiltIn_a-floatOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatOpSymbol.Tpo"; exit 1; fi |
---|
800 | :info:build /usr/include/c++/4.2.1/ext/ropeimpl.h: In static member function 'static typename __gnu_cxx::rope<_CharT, _Alloc>::_RopeRep* __gnu_cxx::rope<_CharT, _Alloc>::_S_substring(__gnu_cxx::_Rope_RopeRep<_CharT, _Alloc>*, size_t, size_t) [with _CharT = char, _Alloc = std::allocator<char>]': |
---|
801 | :info:build /usr/include/c++/4.2.1/ext/rope:2488: instantiated from '__gnu_cxx::rope<_CharT, _Alloc> __gnu_cxx::rope<_CharT, _Alloc>::substr(size_t, size_t) const [with _CharT = char, _Alloc = std::allocator<char>]' |
---|
802 | :info:build stringOpSymbol.cc:520: instantiated from here |
---|
803 | :info:build /usr/include/c++/4.2.1/ext/ropeimpl.h:819: error: '_Data_allocate' is not a member of 'std::allocator<char>' |
---|
804 | :info:build /usr/include/c++/4.2.1/ext/ropeimpl.h: In static member function 'static typename __gnu_cxx::rope<_CharT, _Alloc>::_RopeLeaf* __gnu_cxx::rope<_CharT, _Alloc>::_S_leaf_concat_char_iter(__gnu_cxx::_Rope_RopeLeaf<_CharT, _Alloc>*, const _CharT*, size_t) [with _CharT = char, _Alloc = std::allocator<char>]': |
---|
805 | :info:build /usr/include/c++/4.2.1/ext/ropeimpl.h:675: instantiated from 'static typename __gnu_cxx::rope<_CharT, _Alloc>::_RopeRep* __gnu_cxx::rope<_CharT, _Alloc>::_S_concat(__gnu_cxx::_Rope_RopeRep<_CharT, _Alloc>*, __gnu_cxx::_Rope_RopeRep<_CharT, _Alloc>*) [with _CharT = char, _Alloc = std::allocator<char>]' |
---|
806 | :info:build /usr/include/c++/4.2.1/ext/rope:2115: instantiated from '__gnu_cxx::rope<_CharT, _Alloc>& __gnu_cxx::rope<_CharT, _Alloc>::append(const __gnu_cxx::rope<_CharT, _Alloc>&) [with _CharT = char, _Alloc = std::allocator<char>]' |
---|
807 | :info:build /usr/include/c++/4.2.1/ext/rope:2771: instantiated from '__gnu_cxx::rope<_CharT, _Alloc>& __gnu_cxx::operator+=(__gnu_cxx::rope<_CharT, _Alloc>&, const __gnu_cxx::rope<_CharT, _Alloc>&) [with _CharT = char, _Alloc = std::allocator<char>]' |
---|
808 | :info:build stringOpSymbol.cc:272: instantiated from here |
---|
809 | :info:build /usr/include/c++/4.2.1/ext/ropeimpl.h:436: error: '_Data_allocate' is not a member of 'std::allocator<char>' |
---|
810 | :info:build make[3]: *** [libbuiltIn_a-stringOpSymbol.o] Error 1 |
---|
811 | :info:build make[3]: *** Waiting for unfinished jobs.... |
---|
812 | :info:build make[3]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src/BuiltIn' |
---|
813 | :info:build make[2]: *** [all-recursive] Error 1 |
---|
814 | :info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6/src' |
---|
815 | :info:build make[1]: *** [all-recursive] Error 1 |
---|
816 | :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6' |
---|
817 | :info:build make: *** [all] Error 2 |
---|
818 | :info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6' |
---|
819 | :info:build shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/work/Maude-2.6" && /usr/bin/make -j4 -w all " returned error 2 |
---|
820 | :error:build Target org.macports.build returned: shell command failed (see log for details) |
---|
821 | :debug:build Backtrace: shell command failed (see log for details) |
---|
822 | while executing |
---|
823 | "command_exec build" |
---|
824 | (procedure "portbuild::build_main" line 8) |
---|
825 | invoked from within |
---|
826 | "$procedure $targetname" |
---|
827 | :info:build Warning: the following items did not execute (for maude): org.macports.activate org.macports.build org.macports.destroot org.macports.install |
---|
828 | :notice:build Log for maude is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_Maude/maude/main.log |
---|