| 1 | version:1 |
|---|
| 2 | :debug:main epoch: in tree: 1 installed: 1 |
|---|
| 3 | :debug:main ocaml 4.00.0_0 exists in the ports tree |
|---|
| 4 | :debug:main ocaml 4.00.0_0 is the latest installed |
|---|
| 5 | :debug:main ocaml 4.00.0_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/lang/ocaml |
|---|
| 9 | :debug:main OS darwin/11.4.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 universal_variant is false, so not adding the default universal variant |
|---|
| 14 | :debug:main No need to upgrade! ocaml 4.00.0_0 >= ocaml 4.00.0_0 |
|---|
| 15 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 16 | :debug:main ncurses 5.9_1 exists in the ports tree |
|---|
| 17 | :debug:main ncurses 5.9_1 +universal is the latest installed |
|---|
| 18 | :debug:main ncurses 5.9_1 +universal is active |
|---|
| 19 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 20 | :debug:main new fully merged portvariants: universal + |
|---|
| 21 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/ncurses |
|---|
| 22 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 23 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 24 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 25 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 26 | :debug:main adding the default universal variant |
|---|
| 27 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 28 | :debug:main Executing variant universal provides universal |
|---|
| 29 | :debug:main No need to upgrade! ncurses 5.9_1 >= ncurses 5.9_1 |
|---|
| 30 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 31 | :debug:main xorg-libX11 1.5.0_0 exists in the ports tree |
|---|
| 32 | :debug:main xorg-libX11 1.5.0_0 +universal is the latest installed |
|---|
| 33 | :debug:main xorg-libX11 1.5.0_0 +universal is active |
|---|
| 34 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 35 | :debug:main new fully merged portvariants: universal + |
|---|
| 36 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-libX11 |
|---|
| 37 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 38 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 39 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 40 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 41 | :debug:main adding the default universal variant |
|---|
| 42 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 43 | :debug:main Executing variant universal provides universal |
|---|
| 44 | :debug:main No need to upgrade! xorg-libX11 1.5.0_0 >= xorg-libX11 1.5.0_0 |
|---|
| 45 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 46 | :debug:main xorg-libXdmcp 1.1.1_0 exists in the ports tree |
|---|
| 47 | :debug:main xorg-libXdmcp 1.1.1_0 +universal is the latest installed |
|---|
| 48 | :debug:main xorg-libXdmcp 1.1.1_0 +universal is active |
|---|
| 49 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 50 | :debug:main new fully merged portvariants: universal + |
|---|
| 51 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-libXdmcp |
|---|
| 52 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 53 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 54 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 55 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 56 | :debug:main adding the default universal variant |
|---|
| 57 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 58 | :debug:main Executing variant universal provides universal |
|---|
| 59 | :debug:main No need to upgrade! xorg-libXdmcp 1.1.1_0 >= xorg-libXdmcp 1.1.1_0 |
|---|
| 60 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 61 | :debug:main xorg-libXau 1.0.7_0 exists in the ports tree |
|---|
| 62 | :debug:main xorg-libXau 1.0.7_0 +universal is the latest installed |
|---|
| 63 | :debug:main xorg-libXau 1.0.7_0 +universal is active |
|---|
| 64 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 65 | :debug:main new fully merged portvariants: universal + |
|---|
| 66 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-libXau |
|---|
| 67 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 68 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 69 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 70 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 71 | :debug:main adding the default universal variant |
|---|
| 72 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 73 | :debug:main Executing variant universal provides universal |
|---|
| 74 | :debug:main No need to upgrade! xorg-libXau 1.0.7_0 >= xorg-libXau 1.0.7_0 |
|---|
| 75 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 76 | :debug:main xorg-xproto 7.0.23_0 exists in the ports tree |
|---|
| 77 | :debug:main xorg-xproto 7.0.23_0 is the latest installed |
|---|
| 78 | :debug:main xorg-xproto 7.0.23_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/x11/xorg-xproto |
|---|
| 82 | :debug:main OS darwin/11.4.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 only one arch supported, so not adding the default universal variant |
|---|
| 87 | :debug:main No need to upgrade! xorg-xproto 7.0.23_0 >= xorg-xproto 7.0.23_0 |
|---|
| 88 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 89 | :debug:main xorg-libxcb 1.8.1_2 exists in the ports tree |
|---|
| 90 | :debug:main xorg-libxcb 1.8.1_2 +python27+universal is the latest installed |
|---|
| 91 | :debug:main xorg-libxcb 1.8.1_2 +python27+universal is active |
|---|
| 92 | :debug:main Merging existing variants '+python27+universal' into variants |
|---|
| 93 | :debug:main new fully merged portvariants: universal + python27 + |
|---|
| 94 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-libxcb |
|---|
| 95 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 96 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 97 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 98 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 99 | :debug:main adding the default universal variant |
|---|
| 100 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 101 | :debug:main Executing variant python27 provides python27 |
|---|
| 102 | :debug:main Executing variant universal provides universal |
|---|
| 103 | :debug:main No need to upgrade! xorg-libxcb 1.8.1_2 >= xorg-libxcb 1.8.1_2 |
|---|
| 104 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 105 | :debug:main xorg-xcb-proto 1.7.1_0 exists in the ports tree |
|---|
| 106 | :debug:main xorg-xcb-proto 1.7.1_0 +python27 is the latest installed |
|---|
| 107 | :debug:main xorg-xcb-proto 1.7.1_0 +python27 is active |
|---|
| 108 | :debug:main Merging existing variants '+python27' into variants |
|---|
| 109 | :debug:main new fully merged portvariants: python27 + |
|---|
| 110 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-xcb-proto |
|---|
| 111 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 112 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 113 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 114 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 115 | :debug:main only one arch supported, so not adding the default universal variant |
|---|
| 116 | :debug:main Executing variant python27 provides python27 |
|---|
| 117 | :debug:main No need to upgrade! xorg-xcb-proto 1.7.1_0 >= xorg-xcb-proto 1.7.1_0 |
|---|
| 118 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 119 | :debug:main libxml2 2.7.8_0 exists in the ports tree |
|---|
| 120 | :debug:main libxml2 2.7.8_0 +universal is the latest installed |
|---|
| 121 | :debug:main libxml2 2.7.8_0 +universal is active |
|---|
| 122 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 123 | :debug:main new fully merged portvariants: universal + |
|---|
| 124 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/libxml2 |
|---|
| 125 | :debug:main OS darwin/11.4.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 Executing variant universal provides universal |
|---|
| 132 | :debug:main No need to upgrade! libxml2 2.7.8_0 >= libxml2 2.7.8_0 |
|---|
| 133 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 134 | :debug:main libiconv 1.14_0 exists in the ports tree |
|---|
| 135 | :debug:main libiconv 1.14_0 +universal is the latest installed |
|---|
| 136 | :debug:main libiconv 1.14_0 +universal is active |
|---|
| 137 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 138 | :debug:main new fully merged portvariants: universal + |
|---|
| 139 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/libiconv |
|---|
| 140 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 141 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 142 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 143 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 144 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 145 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 146 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 147 | :debug:main Executing variant universal provides universal |
|---|
| 148 | :debug:main No need to upgrade! libiconv 1.14_0 >= libiconv 1.14_0 |
|---|
| 149 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 150 | :debug:main zlib 1.2.7_0 exists in the ports tree |
|---|
| 151 | :debug:main zlib 1.2.7_0 +universal is the latest installed |
|---|
| 152 | :debug:main zlib 1.2.7_0 +universal is active |
|---|
| 153 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 154 | :debug:main new fully merged portvariants: universal + |
|---|
| 155 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/archivers/zlib |
|---|
| 156 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 157 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 158 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 159 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 160 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/xcodeversion-1.0.tcl |
|---|
| 161 | :debug:main adding the default universal variant |
|---|
| 162 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 163 | :debug:main Executing variant universal provides universal |
|---|
| 164 | :debug:main No need to upgrade! zlib 1.2.7_0 >= zlib 1.2.7_0 |
|---|
| 165 | :debug:main epoch: in tree: 2 installed: 2 |
|---|
| 166 | :debug:main python27 2.7.3_0 exists in the ports tree |
|---|
| 167 | :debug:main python27 2.7.3_0 +universal is the latest installed |
|---|
| 168 | :debug:main python27 2.7.3_0 +universal is active |
|---|
| 169 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 170 | :debug:main new fully merged portvariants: universal + |
|---|
| 171 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/python27 |
|---|
| 172 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 173 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 174 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 175 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 176 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/select-1.0.tcl |
|---|
| 177 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 178 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 179 | :debug:main Executing variant universal provides universal |
|---|
| 180 | :debug:main No need to upgrade! python27 2.7.3_0 >= python27 2.7.3_0 |
|---|
| 181 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 182 | :debug:main gettext 0.18.1.1_2 exists in the ports tree |
|---|
| 183 | :debug:main gettext 0.18.1.1_2 +universal is the latest installed |
|---|
| 184 | :debug:main gettext 0.18.1.1_2 +universal is active |
|---|
| 185 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 186 | :debug:main new fully merged portvariants: universal + |
|---|
| 187 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/gettext |
|---|
| 188 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 189 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 190 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 191 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 192 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 193 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 194 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/archcheck-1.0.tcl |
|---|
| 195 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 196 | :debug:main Executing variant universal provides universal |
|---|
| 197 | :debug:main No need to upgrade! gettext 0.18.1.1_2 >= gettext 0.18.1.1_2 |
|---|
| 198 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 199 | :debug:main expat 2.1.0_0 exists in the ports tree |
|---|
| 200 | :debug:main expat 2.1.0_0 +universal is the latest installed |
|---|
| 201 | :debug:main expat 2.1.0_0 +universal is active |
|---|
| 202 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 203 | :debug:main new fully merged portvariants: universal + |
|---|
| 204 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/expat |
|---|
| 205 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 206 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 207 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 208 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 209 | :debug:main adding the default universal variant |
|---|
| 210 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 211 | :debug:main Executing variant universal provides universal |
|---|
| 212 | :debug:main No need to upgrade! expat 2.1.0_0 >= expat 2.1.0_0 |
|---|
| 213 | :debug:main epoch: in tree: 1 installed: 1 |
|---|
| 214 | :debug:main openssl 1.0.1c_0 exists in the ports tree |
|---|
| 215 | :debug:main openssl 1.0.1c_0 +universal is the latest installed |
|---|
| 216 | :debug:main openssl 1.0.1c_0 +universal is active |
|---|
| 217 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 218 | :debug:main new fully merged portvariants: universal + |
|---|
| 219 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/openssl |
|---|
| 220 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 221 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 222 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 223 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 224 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 225 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 226 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 227 | :debug:main Executing variant universal provides universal |
|---|
| 228 | :debug:main No need to upgrade! openssl 1.0.1c_0 >= openssl 1.0.1c_0 |
|---|
| 229 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 230 | :debug:main sqlite3 3.7.13_0 exists in the ports tree |
|---|
| 231 | :debug:main sqlite3 3.7.13_0 +universal is the latest installed |
|---|
| 232 | :debug:main sqlite3 3.7.13_0 +universal is active |
|---|
| 233 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 234 | :debug:main new fully merged portvariants: universal + |
|---|
| 235 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/databases/sqlite3 |
|---|
| 236 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 237 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 238 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 239 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 240 | :debug:main adding the default universal variant |
|---|
| 241 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 242 | :debug:main Executing variant universal provides universal |
|---|
| 243 | :debug:main No need to upgrade! sqlite3 3.7.13_0 >= sqlite3 3.7.13_0 |
|---|
| 244 | :debug:main epoch: in tree: 20090923 installed: 20090923 |
|---|
| 245 | :debug:main libedit 20120601-3.0_0 exists in the ports tree |
|---|
| 246 | :debug:main libedit 20120601-3.0_0 +universal is the latest installed |
|---|
| 247 | :debug:main libedit 20120601-3.0_0 +universal is active |
|---|
| 248 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 249 | :debug:main new fully merged portvariants: universal + |
|---|
| 250 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/libedit |
|---|
| 251 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 252 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 253 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 254 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 255 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 256 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 257 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 258 | :debug:main Executing variant universal provides universal |
|---|
| 259 | :debug:main No need to upgrade! libedit 20120601-3.0_0 >= libedit 20120601-3.0_0 |
|---|
| 260 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 261 | :debug:main db46 4.6.21_6 exists in the ports tree |
|---|
| 262 | :debug:main db46 4.6.21_6 +universal is the latest installed |
|---|
| 263 | :debug:main db46 4.6.21_6 +universal is active |
|---|
| 264 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 265 | :debug:main new fully merged portvariants: universal + |
|---|
| 266 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/databases/db46 |
|---|
| 267 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 268 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 269 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 270 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 271 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 272 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 273 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 274 | :debug:main Executing variant universal provides universal |
|---|
| 275 | :debug:main No need to upgrade! db46 4.6.21_6 >= db46 4.6.21_6 |
|---|
| 276 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 277 | :debug:main bzip2 1.0.6_0 exists in the ports tree |
|---|
| 278 | :debug:main bzip2 1.0.6_0 +universal is the latest installed |
|---|
| 279 | :debug:main bzip2 1.0.6_0 +universal is active |
|---|
| 280 | :debug:main Merging existing variants '+universal' into variants |
|---|
| 281 | :debug:main new fully merged portvariants: universal + |
|---|
| 282 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/archivers/bzip2 |
|---|
| 283 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 284 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 285 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 286 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 287 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 288 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 289 | :debug:main Executing variant universal provides universal |
|---|
| 290 | :debug:main No need to upgrade! bzip2 1.0.6_0 >= bzip2 1.0.6_0 |
|---|
| 291 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 292 | :debug:main python_select 0.3_1 exists in the ports tree |
|---|
| 293 | :debug:main python_select 0.3_1 is the latest installed |
|---|
| 294 | :debug:main python_select 0.3_1 is active |
|---|
| 295 | :debug:main Merging existing variants '' into variants |
|---|
| 296 | :debug:main new fully merged portvariants: |
|---|
| 297 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/sysutils/python_select |
|---|
| 298 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 299 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 300 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 301 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 302 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/select-1.0.tcl |
|---|
| 303 | :debug:main universal_variant is false, so not adding the default universal variant |
|---|
| 304 | :debug:main No need to upgrade! python_select 0.3_1 >= python_select 0.3_1 |
|---|
| 305 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 306 | :debug:main xorg-libpthread-stubs 0.3_0 exists in the ports tree |
|---|
| 307 | :debug:main xorg-libpthread-stubs 0.3_0 is the latest installed |
|---|
| 308 | :debug:main xorg-libpthread-stubs 0.3_0 is active |
|---|
| 309 | :debug:main Merging existing variants '' into variants |
|---|
| 310 | :debug:main new fully merged portvariants: |
|---|
| 311 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-libpthread-stubs |
|---|
| 312 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 313 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 314 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 315 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 316 | :debug:main only one arch supported, so not adding the default universal variant |
|---|
| 317 | :debug:main No need to upgrade! xorg-libpthread-stubs 0.3_0 >= xorg-libpthread-stubs 0.3_0 |
|---|
| 318 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 319 | :debug:main xorg-kbproto 1.0.6_0 exists in the ports tree |
|---|
| 320 | :debug:main xorg-kbproto 1.0.6_0 is the latest installed |
|---|
| 321 | :debug:main xorg-kbproto 1.0.6_0 is active |
|---|
| 322 | :debug:main Merging existing variants '' into variants |
|---|
| 323 | :debug:main new fully merged portvariants: |
|---|
| 324 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/x11/xorg-kbproto |
|---|
| 325 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 326 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 327 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 328 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 329 | :debug:main only one arch supported, so not adding the default universal variant |
|---|
| 330 | :debug:main No need to upgrade! xorg-kbproto 1.0.6_0 >= xorg-kbproto 1.0.6_0 |
|---|
| 331 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 332 | :debug:main camlp5 6.06_1 exists in the ports tree |
|---|
| 333 | :debug:main camlp5 6.06_1 is the latest installed |
|---|
| 334 | :debug:main camlp5 6.06_1 is active |
|---|
| 335 | :debug:main Merging existing variants '' into variants |
|---|
| 336 | :debug:main new fully merged portvariants: |
|---|
| 337 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/lang/camlp5 |
|---|
| 338 | :debug:main OS darwin/11.4.0 (Mac OS X 10.7) arch i386 |
|---|
| 339 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 340 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 341 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 342 | :debug:main universal_variant is false, so not adding the default universal variant |
|---|
| 343 | :debug:main No need to upgrade! camlp5 6.06_1 >= camlp5 6.06_1 |
|---|
| 344 | :msg:main ---> Computing dependencies for coq:info:main .:debug:main coq has no conflicts |
|---|
| 345 | :debug:main Searching for dependency: ocaml |
|---|
| 346 | :debug:main Found Dependency: receipt exists for ocaml |
|---|
| 347 | :debug:main Searching for dependency: camlp5 |
|---|
| 348 | :debug:main Found Dependency: receipt exists for camlp5 |
|---|
| 349 | :msg:main |
|---|
| 350 | :debug:main Executing org.macports.main (coq) |
|---|
| 351 | :debug:main changing euid/egid - current euid: 0 - current egid: 0 |
|---|
| 352 | :debug:main egid changed to: 504 |
|---|
| 353 | :debug:main euid changed to: 505 |
|---|
| 354 | :debug:archivefetch archivefetch phase started at Sat Jul 28 12:04:00 PDT 2012 |
|---|
| 355 | :debug:archivefetch Executing org.macports.archivefetch (coq) |
|---|
| 356 | :debug:archivefetch Privilege de-escalation not attempted as not running as root. |
|---|
| 357 | :debug:fetch fetch phase started at Sat Jul 28 12:04:00 PDT 2012 |
|---|
| 358 | :notice:fetch ---> Fetching distfiles for coq |
|---|
| 359 | :debug:fetch Executing org.macports.fetch (coq) |
|---|
| 360 | :debug:fetch Privilege de-escalation not attempted as not running as root. |
|---|
| 361 | :debug:checksum checksum phase started at Sat Jul 28 12:04:00 PDT 2012 |
|---|
| 362 | :notice:checksum ---> Verifying checksum(s) for coq |
|---|
| 363 | :debug:checksum Executing org.macports.checksum (coq) |
|---|
| 364 | :info:checksum ---> Checksumming coq-8.3pl4.tar.gz |
|---|
| 365 | :debug:checksum Correct (rmd160) checksum for coq-8.3pl4.tar.gz |
|---|
| 366 | :debug:checksum Correct (sha256) checksum for coq-8.3pl4.tar.gz |
|---|
| 367 | :debug:checksum Privilege de-escalation not attempted as not running as root. |
|---|
| 368 | :debug:extract extract phase started at Sat Jul 28 12:04:01 PDT 2012 |
|---|
| 369 | :notice:extract ---> Extracting coq |
|---|
| 370 | :debug:extract Executing org.macports.extract (coq) |
|---|
| 371 | :info:extract ---> Extracting coq-8.3pl4.tar.gz |
|---|
| 372 | :debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/coq/coq-8.3pl4.tar.gz' |
|---|
| 373 | :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_coq/coq/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
|---|
| 374 | :debug:extract Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/coq/coq-8.3pl4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf -' |
|---|
| 375 | :debug:extract Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/coq/coq-8.3pl4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf - |
|---|
| 376 | :debug:extract euid/egid changed to: 0/0 |
|---|
| 377 | :debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work to macports |
|---|
| 378 | :debug:extract euid/egid changed to: 505/504 |
|---|
| 379 | :debug:extract Privilege de-escalation not attempted as not running as root. |
|---|
| 380 | :debug:patch patch phase started at Sat Jul 28 12:04:02 PDT 2012 |
|---|
| 381 | :debug:patch Executing org.macports.patch (coq) |
|---|
| 382 | :debug:patch Privilege de-escalation not attempted as not running as root. |
|---|
| 383 | :debug:configure configure phase started at Sat Jul 28 12:04:02 PDT 2012 |
|---|
| 384 | :notice:configure ---> Configuring coq |
|---|
| 385 | :debug:configure Using compiler 'Mac OS X clang' |
|---|
| 386 | :debug:configure Executing org.macports.configure (coq) |
|---|
| 387 | :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='/usr/bin/clang++' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/.CC_PRINT_OPTIONS' F90FLAGS='-pipe -O2 -m64' LDFLAGS='-L/opt/local/lib -arch x86_64' OBJC='/usr/bin/clang' FCFLAGS='-pipe -O2 -m64' INSTALL='/usr/bin/install -c' OBJCFLAGS='-pipe -O2 -arch x86_64' FFLAGS='-pipe -O2 -m64' CC_PRINT_OPTIONS='YES' CC='/usr/bin/clang' |
|---|
| 388 | :debug:configure Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4" && ./configure -prefix /opt/local -emacslib /opt/local/share/emacs/site-lisp/ -mandir /opt/local/share/man -coqdocdir /opt/local/share/coq/latex -coqide none -with-doc no' |
|---|
| 389 | :debug:configure Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4" && ./configure -prefix /opt/local -emacslib /opt/local/share/emacs/site-lisp/ -mandir /opt/local/share/man -coqdocdir /opt/local/share/coq/latex -coqide none -with-doc no |
|---|
| 390 | :info:configure You have GNU Make 3.81. Good! |
|---|
| 391 | :info:configure You have Objective-Caml 4.00.0. Good! |
|---|
| 392 | :info:configure Native compilation on MacOS X Pentium requires Objective-Caml >= 3.09.3, |
|---|
| 393 | :info:configure only the bytecode version of Coq will be available. |
|---|
| 394 | :info:configure CoqIde disabled as requested. |
|---|
| 395 | :info:configure |
|---|
| 396 | :info:configure Coq top directory : /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4 |
|---|
| 397 | :info:configure Architecture : i386 |
|---|
| 398 | :info:configure Coq VM bytecode link flags : -custom |
|---|
| 399 | :info:configure Coq tools bytecode link flags : -custom |
|---|
| 400 | :info:configure OS dependent libraries : -cclib -lunix |
|---|
| 401 | :info:configure Objective-Caml/Camlp4 version : 4.00.0 |
|---|
| 402 | :info:configure Objective-Caml/Camlp4 binaries in : /opt/local/bin |
|---|
| 403 | :info:configure Objective-Caml library in : /opt/local/lib/ocaml |
|---|
| 404 | :info:configure Camlp4 library in : +camlp4 |
|---|
| 405 | :info:configure Documentation : None |
|---|
| 406 | :info:configure CoqIde : no |
|---|
| 407 | :info:configure Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & |
|---|
| 408 | :info:configure Coq web site : http://coq.inria.fr/ |
|---|
| 409 | :info:configure |
|---|
| 410 | :info:configure Paths for true installation: |
|---|
| 411 | :info:configure binaries will be copied in /opt/local/bin |
|---|
| 412 | :info:configure library will be copied in /opt/local/lib/coq |
|---|
| 413 | :info:configure man pages will be copied in /opt/local/share/man |
|---|
| 414 | :info:configure documentation will be copied in /opt/local/share/doc/coq |
|---|
| 415 | :info:configure emacs mode will be copied in /opt/local/share/emacs/site-lisp/ |
|---|
| 416 | :info:configure |
|---|
| 417 | :info:configure If anything in the above is wrong, please restart './configure'. |
|---|
| 418 | :info:configure |
|---|
| 419 | :info:configure *Warning* To compile the system for a new architecture |
|---|
| 420 | :info:configure don't forget to do a 'make archclean' before './configure'. |
|---|
| 421 | :debug:configure Privilege de-escalation not attempted as not running as root. |
|---|
| 422 | :debug:build build phase started at Sat Jul 28 12:04:03 PDT 2012 |
|---|
| 423 | :notice:build ---> Building coq |
|---|
| 424 | :debug:build Executing org.macports.build (coq) |
|---|
| 425 | :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_coq/coq/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
|---|
| 426 | :debug:build Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4" && /usr/bin/make -j2 -w world' |
|---|
| 427 | :debug:build Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4" && /usr/bin/make -j2 -w world |
|---|
| 428 | :info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 429 | :info:build ***************************************************** |
|---|
| 430 | :info:build ***************************************************** |
|---|
| 431 | :info:build ****************** Entering stage1 ****************** |
|---|
| 432 | :info:build ***************************************************** |
|---|
| 433 | :info:build ***************************************************** |
|---|
| 434 | :info:build /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.stage1 "stage1" |
|---|
| 435 | :info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 436 | :info:build sed -n -e '/^ /s/ \([A-Z]\)/ \&\&coq_lbl_\1/gp' \ |
|---|
| 437 | :info:build -e '/^}/q' kernel/byterun/coq_instruct.h > \ |
|---|
| 438 | :info:build kernel/byterun/coq_jumptbl.h \ |
|---|
| 439 | :info:build || ( RV=$?; rm -f "kernel/byterun/coq_jumptbl.h"; exit ${RV} ) |
|---|
| 440 | :info:build OCAMLLEX dev/ocamlweb-doc/lex.mll |
|---|
| 441 | :info:build OCAMLLEX ide/config_lexer.mll |
|---|
| 442 | :info:build 13 states, 332 transitions, table size 1406 bytes |
|---|
| 443 | :info:build OCAMLLEX ide/coq_lex.mll |
|---|
| 444 | :info:build 99 states, 6415 transitions, table size 26254 bytes |
|---|
| 445 | :info:build OCAMLLEX ide/highlight.mll |
|---|
| 446 | :info:build 457 states, 31161 transitions, table size 127386 bytes |
|---|
| 447 | :info:build 455 states, 31494 transitions, table size 128706 bytes |
|---|
| 448 | :info:build OCAMLLEX ide/utf8_convert.mll |
|---|
| 449 | :info:build 15 states, 827 transitions, table size 3398 bytes |
|---|
| 450 | :info:build OCAMLLEX plugins/dp/dp_zenon.mll |
|---|
| 451 | :info:build 85 states, 637 transitions, table size 3058 bytes |
|---|
| 452 | :info:build 1881 additional bytes used for bindings |
|---|
| 453 | :info:build OCAMLLEX tools/coqdep_lexer.mll |
|---|
| 454 | :info:build OCAMLLEX tools/coqdoc/cpretty.mll |
|---|
| 455 | :info:build 200 states, 5470 transitions, table size 23080 bytes |
|---|
| 456 | :info:build 2243 additional bytes used for bindings |
|---|
| 457 | :info:build OCAMLLEX tools/coqwc.mll |
|---|
| 458 | :info:build 230 states, 833 transitions, table size 4712 bytes |
|---|
| 459 | :info:build OCAMLLEX tools/gallina_lexer.mll |
|---|
| 460 | :info:build 190 states, 498 transitions, table size 3132 bytes |
|---|
| 461 | :info:build OCAMLYACC dev/ocamlweb-doc/syntax.mly |
|---|
| 462 | :info:build 3 shift/reduce conflicts. |
|---|
| 463 | :info:build OCAMLYACC ide/config_parser.mly |
|---|
| 464 | :info:build ECHO... > scripts/tolink.ml |
|---|
| 465 | :info:build sed -n -e '/^enum/p' -e 's/,//g' -e '/^ /p' \ |
|---|
| 466 | :info:build kernel/byterun/coq_instruct.h | \ |
|---|
| 467 | :info:build awk -f kernel/make-opcodes > kernel/copcodes.ml \ |
|---|
| 468 | :info:build || ( RV=$?; rm -f "kernel/copcodes.ml"; exit ${RV} ) |
|---|
| 469 | :info:build "ocaml" theories/Numbers/Natural/BigN/NMake_gen.ml > theories/Numbers/Natural/BigN/NMake_gen.v |
|---|
| 470 | :info:build TOUCH lib/compat.ml |
|---|
| 471 | :info:build TOUCH lib/pp.ml |
|---|
| 472 | :info:build TOUCH lib/refutpat.ml |
|---|
| 473 | :info:build TOUCH parsing/argextend.ml |
|---|
| 474 | :info:build TOUCH parsing/g_constr.ml |
|---|
| 475 | :info:build TOUCH parsing/g_decl_mode.ml |
|---|
| 476 | :info:build TOUCH parsing/g_ltac.ml |
|---|
| 477 | :info:build TOUCH parsing/g_prim.ml |
|---|
| 478 | :info:build TOUCH parsing/g_proofs.ml |
|---|
| 479 | :info:build TOUCH parsing/g_tactic.ml |
|---|
| 480 | :info:build TOUCH parsing/g_vernac.ml |
|---|
| 481 | :info:build TOUCH parsing/g_xml.ml |
|---|
| 482 | :info:build TOUCH parsing/lexer.ml |
|---|
| 483 | :info:build TOUCH parsing/pcoq.ml |
|---|
| 484 | :info:build TOUCH parsing/q_constr.ml |
|---|
| 485 | :info:build TOUCH parsing/q_coqast.ml |
|---|
| 486 | :info:build TOUCH parsing/q_util.ml |
|---|
| 487 | :info:build TOUCH parsing/tacextend.ml |
|---|
| 488 | :info:build TOUCH parsing/vernacextend.ml |
|---|
| 489 | :info:build TOUCH plugins/cc/g_congruence.ml |
|---|
| 490 | :info:build TOUCH plugins/dp/g_dp.ml |
|---|
| 491 | :info:build TOUCH plugins/extraction/g_extraction.ml |
|---|
| 492 | :info:build TOUCH plugins/field/field.ml |
|---|
| 493 | :info:build TOUCH plugins/firstorder/g_ground.ml |
|---|
| 494 | :info:build TOUCH plugins/fourier/g_fourier.ml |
|---|
| 495 | :info:build TOUCH plugins/funind/g_indfun.ml |
|---|
| 496 | :info:build TOUCH plugins/micromega/g_micromega.ml |
|---|
| 497 | :info:build TOUCH plugins/nsatz/nsatz.ml |
|---|
| 498 | :info:build TOUCH plugins/omega/g_omega.ml |
|---|
| 499 | :info:build TOUCH plugins/quote/g_quote.ml |
|---|
| 500 | :info:build TOUCH plugins/ring/g_ring.ml |
|---|
| 501 | :info:build TOUCH plugins/romega/g_romega.ml |
|---|
| 502 | :info:build TOUCH plugins/rtauto/g_rtauto.ml |
|---|
| 503 | :info:build TOUCH plugins/setoid_ring/newring.ml |
|---|
| 504 | :info:build TOUCH plugins/subtac/g_subtac.ml |
|---|
| 505 | :info:build TOUCH plugins/xml/acic2Xml.ml |
|---|
| 506 | :info:build TOUCH plugins/xml/dumptree.ml |
|---|
| 507 | :info:build TOUCH plugins/xml/proofTree2Xml.ml |
|---|
| 508 | :info:build TOUCH plugins/xml/xml.ml |
|---|
| 509 | :info:build TOUCH plugins/xml/xmlentries.ml |
|---|
| 510 | :info:build TOUCH tactics/class_tactics.ml |
|---|
| 511 | :info:build TOUCH tactics/eauto.ml |
|---|
| 512 | :info:build TOUCH tactics/eqdecide.ml |
|---|
| 513 | :info:build TOUCH tactics/extraargs.ml |
|---|
| 514 | :info:build TOUCH tactics/extratactics.ml |
|---|
| 515 | :info:build TOUCH tactics/hipattern.ml |
|---|
| 516 | :info:build TOUCH tactics/rewrite.ml |
|---|
| 517 | :info:build TOUCH tactics/tauto.ml |
|---|
| 518 | :info:build TOUCH tools/coq_makefile.ml |
|---|
| 519 | :info:build TOUCH tools/coq_tex.ml |
|---|
| 520 | :info:build TOUCH toplevel/mltop.ml |
|---|
| 521 | :info:build TOUCH toplevel/whelp.ml |
|---|
| 522 | :info:build CAMLP4DEPS parsing/q_constr.ml4 |
|---|
| 523 | :info:build CAMLP4DEPS parsing/q_coqast.ml4 |
|---|
| 524 | :info:build CAMLP4DEPS parsing/lexer.ml4 |
|---|
| 525 | :info:build CAMLP4DEPS parsing/g_constr.ml4 |
|---|
| 526 | :info:build CAMLP4DEPS parsing/g_ltac.ml4 |
|---|
| 527 | :info:build CAMLP4DEPS parsing/g_tactic.ml4 |
|---|
| 528 | :info:build CAMLP4DEPS parsing/g_prim.ml4 |
|---|
| 529 | :info:build CAMLP4DEPS parsing/vernacextend.ml4 |
|---|
| 530 | :info:build CAMLP4DEPS parsing/tacextend.ml4 |
|---|
| 531 | :info:build CAMLP4DEPS parsing/argextend.ml4 |
|---|
| 532 | :info:build CAMLP4DEPS parsing/pcoq.ml4 |
|---|
| 533 | :info:build CAMLP4DEPS parsing/q_util.ml4 |
|---|
| 534 | :info:build CAMLP4DEPS lib/pp.ml4 |
|---|
| 535 | :info:build CAMLP4DEPS lib/compat.ml4 |
|---|
| 536 | :info:build OCAMLDEP checker/typeops.mli |
|---|
| 537 | :info:build OCAMLDEP checker/type_errors.mli |
|---|
| 538 | :info:build OCAMLDEP checker/term.mli |
|---|
| 539 | :info:build OCAMLDEP checker/subtyping.mli |
|---|
| 540 | :info:build OCAMLDEP checker/safe_typing.mli |
|---|
| 541 | :info:build OCAMLDEP checker/reduction.mli |
|---|
| 542 | :info:build OCAMLDEP checker/modops.mli |
|---|
| 543 | :info:build OCAMLDEP checker/inductive.mli |
|---|
| 544 | :info:build OCAMLDEP checker/indtypes.mli |
|---|
| 545 | :info:build OCAMLDEP checker/environ.mli |
|---|
| 546 | :info:build OCAMLDEP checker/declarations.mli |
|---|
| 547 | :info:build OCAMLDEP checker/closure.mli |
|---|
| 548 | :info:build OCAMLDEP checker/check_stat.mli |
|---|
| 549 | :info:build OCAMLDEP checker/validate.ml |
|---|
| 550 | :info:build OCAMLDEP checker/typeops.ml |
|---|
| 551 | :info:build OCAMLDEP checker/type_errors.ml |
|---|
| 552 | :info:build OCAMLDEP checker/term.ml |
|---|
| 553 | :info:build OCAMLDEP checker/subtyping.ml |
|---|
| 554 | :info:build OCAMLDEP checker/safe_typing.ml |
|---|
| 555 | :info:build OCAMLDEP checker/reduction.ml |
|---|
| 556 | :info:build OCAMLDEP checker/modops.ml |
|---|
| 557 | :info:build OCAMLDEP checker/mod_checking.ml |
|---|
| 558 | :info:build OCAMLDEP checker/main.ml |
|---|
| 559 | :info:build OCAMLDEP checker/inductive.ml |
|---|
| 560 | :info:build OCAMLDEP checker/indtypes.ml |
|---|
| 561 | :info:build OCAMLDEP checker/environ.ml |
|---|
| 562 | :info:build OCAMLDEP checker/declarations.ml |
|---|
| 563 | :info:build OCAMLDEP checker/closure.ml |
|---|
| 564 | :info:build OCAMLDEP checker/checker.ml |
|---|
| 565 | :info:build OCAMLDEP checker/check_stat.ml |
|---|
| 566 | :info:build OCAMLDEP checker/check.ml |
|---|
| 567 | :info:build CAMLP4DEPS toplevel/whelp.ml4 |
|---|
| 568 | :info:build CAMLP4DEPS toplevel/mltop.ml4 |
|---|
| 569 | :info:build CAMLP4DEPS tools/coq_tex.ml4 |
|---|
| 570 | :info:build CAMLP4DEPS tools/coq_makefile.ml4 |
|---|
| 571 | :info:build CAMLP4DEPS tactics/tauto.ml4 |
|---|
| 572 | :info:build CAMLP4DEPS tactics/rewrite.ml4 |
|---|
| 573 | :info:build CAMLP4DEPS tactics/hipattern.ml4 |
|---|
| 574 | :info:build CAMLP4DEPS tactics/extratactics.ml4 |
|---|
| 575 | :info:build CAMLP4DEPS tactics/extraargs.ml4 |
|---|
| 576 | :info:build CAMLP4DEPS tactics/eqdecide.ml4 |
|---|
| 577 | :info:build CAMLP4DEPS tactics/eauto.ml4 |
|---|
| 578 | :info:build CAMLP4DEPS tactics/class_tactics.ml4 |
|---|
| 579 | :info:build CAMLP4DEPS plugins/xml/xmlentries.ml4 |
|---|
| 580 | :info:build CAMLP4DEPS plugins/xml/xml.ml4 |
|---|
| 581 | :info:build CAMLP4DEPS plugins/xml/proofTree2Xml.ml4 |
|---|
| 582 | :info:build CAMLP4DEPS plugins/xml/dumptree.ml4 |
|---|
| 583 | :info:build CAMLP4DEPS plugins/xml/acic2Xml.ml4 |
|---|
| 584 | :info:build CAMLP4DEPS plugins/subtac/g_subtac.ml4 |
|---|
| 585 | :info:build CAMLP4DEPS plugins/setoid_ring/newring.ml4 |
|---|
| 586 | :info:build CAMLP4DEPS plugins/rtauto/g_rtauto.ml4 |
|---|
| 587 | :info:build CAMLP4DEPS plugins/romega/g_romega.ml4 |
|---|
| 588 | :info:build CAMLP4DEPS plugins/ring/g_ring.ml4 |
|---|
| 589 | :info:build CAMLP4DEPS plugins/quote/g_quote.ml4 |
|---|
| 590 | :info:build CAMLP4DEPS plugins/omega/g_omega.ml4 |
|---|
| 591 | :info:build CAMLP4DEPS plugins/nsatz/nsatz.ml4 |
|---|
| 592 | :info:build CAMLP4DEPS plugins/micromega/g_micromega.ml4 |
|---|
| 593 | :info:build CAMLP4DEPS plugins/funind/g_indfun.ml4 |
|---|
| 594 | :info:build CAMLP4DEPS plugins/fourier/g_fourier.ml4 |
|---|
| 595 | :info:build CAMLP4DEPS plugins/firstorder/g_ground.ml4 |
|---|
| 596 | :info:build CAMLP4DEPS plugins/field/field.ml4 |
|---|
| 597 | :info:build CAMLP4DEPS plugins/extraction/g_extraction.ml4 |
|---|
| 598 | :info:build CAMLP4DEPS plugins/dp/g_dp.ml4 |
|---|
| 599 | :info:build CAMLP4DEPS plugins/cc/g_congruence.ml4 |
|---|
| 600 | :info:build CAMLP4DEPS parsing/g_xml.ml4 |
|---|
| 601 | :info:build CAMLP4DEPS parsing/g_vernac.ml4 |
|---|
| 602 | :info:build CAMLP4DEPS parsing/g_proofs.ml4 |
|---|
| 603 | :info:build CAMLP4DEPS parsing/g_decl_mode.ml4 |
|---|
| 604 | :info:build CAMLP4DEPS lib/refutpat.ml4 |
|---|
| 605 | :info:build CCDEP kernel/byterun/coq_values.c |
|---|
| 606 | :info:build CCDEP kernel/byterun/coq_memory.c |
|---|
| 607 | :info:build CCDEP kernel/byterun/coq_interp.c |
|---|
| 608 | :info:build CCDEP kernel/byterun/coq_fix_code.c |
|---|
| 609 | :info:build 2138 states, 6918 transitions, table size 40500 bytes |
|---|
| 610 | :info:build OCAMLDEP kernel/copcodes.ml |
|---|
| 611 | :info:build OCAMLDEP scripts/tolink.ml |
|---|
| 612 | :info:build OCAMLDEP ide/config_parser.ml |
|---|
| 613 | :info:build OCAMLDEP dev/ocamlweb-doc/syntax.ml |
|---|
| 614 | :info:build OCAMLDEP tools/gallina_lexer.ml |
|---|
| 615 | :info:build OCAMLDEP tools/coqwc.ml |
|---|
| 616 | :info:build OCAMLDEP tools/coqdoc/cpretty.ml |
|---|
| 617 | :info:build OCAMLDEP tools/coqdep_lexer.ml |
|---|
| 618 | :info:build OCAMLDEP plugins/dp/dp_zenon.ml |
|---|
| 619 | :info:build OCAMLDEP ide/utf8_convert.ml |
|---|
| 620 | :info:build OCAMLDEP ide/highlight.ml |
|---|
| 621 | :info:build OCAMLDEP ide/coq_lex.ml |
|---|
| 622 | :info:build OCAMLDEP ide/config_lexer.ml |
|---|
| 623 | :info:build OCAMLDEP dev/ocamlweb-doc/lex.ml |
|---|
| 624 | :info:build OCAMLDEP toplevel/vernacinterp.ml |
|---|
| 625 | :info:build OCAMLDEP toplevel/vernacexpr.ml |
|---|
| 626 | :info:build OCAMLDEP toplevel/vernacentries.ml |
|---|
| 627 | :info:build OCAMLDEP toplevel/vernac.ml |
|---|
| 628 | :info:build OCAMLDEP toplevel/usage.ml |
|---|
| 629 | :info:build OCAMLDEP toplevel/toplevel.ml |
|---|
| 630 | :info:build OCAMLDEP toplevel/search.ml |
|---|
| 631 | :info:build OCAMLDEP toplevel/record.ml |
|---|
| 632 | :info:build OCAMLDEP toplevel/metasyntax.ml |
|---|
| 633 | :info:build OCAMLDEP toplevel/libtypes.ml |
|---|
| 634 | :info:build OCAMLDEP toplevel/lemmas.ml |
|---|
| 635 | :info:build OCAMLDEP toplevel/indschemes.ml |
|---|
| 636 | :info:build OCAMLDEP toplevel/ind_tables.ml |
|---|
| 637 | :info:build OCAMLDEP toplevel/himsg.ml |
|---|
| 638 | :info:build OCAMLDEP toplevel/discharge.ml |
|---|
| 639 | :info:build OCAMLDEP toplevel/coqtop.ml |
|---|
| 640 | :info:build OCAMLDEP toplevel/coqinit.ml |
|---|
| 641 | :info:build OCAMLDEP toplevel/command.ml |
|---|
| 642 | :info:build OCAMLDEP toplevel/classes.ml |
|---|
| 643 | :info:build OCAMLDEP toplevel/class.ml |
|---|
| 644 | :info:build OCAMLDEP toplevel/cerrors.ml |
|---|
| 645 | :info:build OCAMLDEP toplevel/autoinstance.ml |
|---|
| 646 | :info:build OCAMLDEP toplevel/auto_ind_decl.ml |
|---|
| 647 | :info:build OCAMLDEP tools/mkwinapp.ml |
|---|
| 648 | :info:build OCAMLDEP tools/gallina.ml |
|---|
| 649 | :info:build OCAMLDEP tools/coqdoc/tokens.ml |
|---|
| 650 | :info:build OCAMLDEP tools/coqdoc/output.ml |
|---|
| 651 | :info:build OCAMLDEP tools/coqdoc/main.ml |
|---|
| 652 | :info:build OCAMLDEP tools/coqdoc/index.ml |
|---|
| 653 | :info:build OCAMLDEP tools/coqdoc/cdglobals.ml |
|---|
| 654 | :info:build OCAMLDEP tools/coqdoc/alpha.ml |
|---|
| 655 | :info:build OCAMLDEP tools/coqdep_common.ml |
|---|
| 656 | :info:build OCAMLDEP tools/coqdep_boot.ml |
|---|
| 657 | :info:build OCAMLDEP tools/coqdep.ml |
|---|
| 658 | :info:build OCAMLDEP theories/Numbers/Natural/BigN/NMake_gen.ml |
|---|
| 659 | :info:build OCAMLDEP tactics/termdn.ml |
|---|
| 660 | :info:build OCAMLDEP tactics/tactics.ml |
|---|
| 661 | :info:build OCAMLDEP tactics/tacticals.ml |
|---|
| 662 | :info:build OCAMLDEP tactics/tactic_option.ml |
|---|
| 663 | :info:build OCAMLDEP tactics/tacinterp.ml |
|---|
| 664 | :info:build OCAMLDEP tactics/refine.ml |
|---|
| 665 | :info:build OCAMLDEP tactics/nbtermdn.ml |
|---|
| 666 | :info:build OCAMLDEP tactics/leminv.ml |
|---|
| 667 | :info:build OCAMLDEP tactics/inv.ml |
|---|
| 668 | :info:build OCAMLDEP tactics/hiddentac.ml |
|---|
| 669 | :info:build OCAMLDEP tactics/evar_tactics.ml |
|---|
| 670 | :info:build OCAMLDEP tactics/equality.ml |
|---|
| 671 | :info:build OCAMLDEP tactics/eqschemes.ml |
|---|
| 672 | :info:build OCAMLDEP tactics/elimschemes.ml |
|---|
| 673 | :info:build OCAMLDEP tactics/elim.ml |
|---|
| 674 | :info:build OCAMLDEP tactics/dn.ml |
|---|
| 675 | :info:build OCAMLDEP tactics/dhyp.ml |
|---|
| 676 | :info:build OCAMLDEP tactics/decl_proof_instr.ml |
|---|
| 677 | :info:build OCAMLDEP tactics/decl_interp.ml |
|---|
| 678 | :info:build OCAMLDEP tactics/contradiction.ml |
|---|
| 679 | :info:build OCAMLDEP tactics/btermdn.ml |
|---|
| 680 | :info:build OCAMLDEP tactics/autorewrite.ml |
|---|
| 681 | :info:build OCAMLDEP tactics/auto.ml |
|---|
| 682 | :info:build OCAMLDEP scripts/coqmktop.ml |
|---|
| 683 | :info:build OCAMLDEP scripts/coqc.ml |
|---|
| 684 | :info:build OCAMLDEP proofs/tactic_debug.ml |
|---|
| 685 | :info:build OCAMLDEP proofs/tacmach.ml |
|---|
| 686 | :info:build OCAMLDEP proofs/tacexpr.ml |
|---|
| 687 | :info:build OCAMLDEP proofs/refiner.ml |
|---|
| 688 | :info:build OCAMLDEP proofs/redexpr.ml |
|---|
| 689 | :info:build OCAMLDEP proofs/proof_type.ml |
|---|
| 690 | :info:build OCAMLDEP proofs/proof_trees.ml |
|---|
| 691 | :info:build OCAMLDEP proofs/pfedit.ml |
|---|
| 692 | :info:build OCAMLDEP proofs/logic.ml |
|---|
| 693 | :info:build OCAMLDEP proofs/evar_refiner.ml |
|---|
| 694 | :info:build OCAMLDEP proofs/decl_mode.ml |
|---|
| 695 | :info:build OCAMLDEP proofs/clenvtac.ml |
|---|
| 696 | :info:build OCAMLDEP pretyping/vnorm.ml |
|---|
| 697 | :info:build OCAMLDEP pretyping/unification.ml |
|---|
| 698 | :info:build OCAMLDEP pretyping/typing.ml |
|---|
| 699 | :info:build OCAMLDEP pretyping/typeclasses_errors.ml |
|---|
| 700 | :info:build OCAMLDEP pretyping/typeclasses.ml |
|---|
| 701 | :info:build OCAMLDEP pretyping/termops.ml |
|---|
| 702 | :info:build OCAMLDEP pretyping/term_dnet.ml |
|---|
| 703 | :info:build OCAMLDEP pretyping/tacred.ml |
|---|
| 704 | :info:build OCAMLDEP pretyping/retyping.ml |
|---|
| 705 | :info:build OCAMLDEP pretyping/reductionops.ml |
|---|
| 706 | :info:build OCAMLDEP pretyping/recordops.ml |
|---|
| 707 | :info:build OCAMLDEP pretyping/rawterm.ml |
|---|
| 708 | :info:build OCAMLDEP pretyping/pretyping.ml |
|---|
| 709 | :info:build OCAMLDEP pretyping/pretype_errors.ml |
|---|
| 710 | :info:build OCAMLDEP pretyping/pattern.ml |
|---|
| 711 | :info:build OCAMLDEP pretyping/namegen.ml |
|---|
| 712 | :info:build OCAMLDEP pretyping/matching.ml |
|---|
| 713 | :info:build OCAMLDEP pretyping/inductiveops.ml |
|---|
| 714 | :info:build OCAMLDEP pretyping/evd.ml |
|---|
| 715 | :info:build OCAMLDEP pretyping/indrec.ml |
|---|
| 716 | :info:build OCAMLDEP pretyping/evarutil.ml |
|---|
| 717 | :info:build OCAMLDEP pretyping/evarconv.ml |
|---|
| 718 | :info:build OCAMLDEP pretyping/detyping.ml |
|---|
| 719 | :info:build OCAMLDEP pretyping/coercion.ml |
|---|
| 720 | :info:build OCAMLDEP pretyping/classops.ml |
|---|
| 721 | :info:build OCAMLDEP pretyping/clenv.ml |
|---|
| 722 | :info:build OCAMLDEP pretyping/cbv.ml |
|---|
| 723 | :info:build OCAMLDEP pretyping/cases.ml |
|---|
| 724 | :info:build OCAMLDEP plugins/xml/xmlcommand.ml |
|---|
| 725 | :info:build OCAMLDEP plugins/xml/unshare.ml |
|---|
| 726 | :info:build OCAMLDEP plugins/xml/proof2aproof.ml |
|---|
| 727 | :info:build OCAMLDEP plugins/xml/doubleTypeInference.ml |
|---|
| 728 | :info:build OCAMLDEP plugins/xml/cic2Xml.ml |
|---|
| 729 | :info:build OCAMLDEP plugins/xml/cic2acic.ml |
|---|
| 730 | :info:build OCAMLDEP plugins/xml/acic.ml |
|---|
| 731 | :info:build OCAMLDEP plugins/syntax/z_syntax.ml |
|---|
| 732 | :info:build OCAMLDEP plugins/syntax/string_syntax.ml |
|---|
| 733 | :info:build OCAMLDEP plugins/syntax/r_syntax.ml |
|---|
| 734 | :info:build OCAMLDEP plugins/syntax/numbers_syntax.ml |
|---|
| 735 | :info:build OCAMLDEP plugins/syntax/nat_syntax.ml |
|---|
| 736 | :info:build OCAMLDEP plugins/syntax/ascii_syntax.ml |
|---|
| 737 | :info:build OCAMLDEP plugins/subtac/subtac_utils.ml |
|---|
| 738 | :info:build OCAMLDEP plugins/subtac/subtac_pretyping_F.ml |
|---|
| 739 | :info:build OCAMLDEP plugins/subtac/subtac_pretyping.ml |
|---|
| 740 | :info:build OCAMLDEP plugins/subtac/subtac_obligations.ml |
|---|
| 741 | :info:build OCAMLDEP plugins/subtac/subtac_errors.ml |
|---|
| 742 | :info:build OCAMLDEP plugins/subtac/subtac_command.ml |
|---|
| 743 | :info:build OCAMLDEP plugins/subtac/subtac_coercion.ml |
|---|
| 744 | :info:build OCAMLDEP plugins/subtac/subtac_classes.ml |
|---|
| 745 | :info:build OCAMLDEP plugins/subtac/subtac_cases.ml |
|---|
| 746 | :info:build OCAMLDEP plugins/subtac/subtac.ml |
|---|
| 747 | :info:build OCAMLDEP plugins/subtac/eterm.ml |
|---|
| 748 | :info:build OCAMLDEP plugins/rtauto/refl_tauto.ml |
|---|
| 749 | :info:build OCAMLDEP plugins/rtauto/proof_search.ml |
|---|
| 750 | :info:build OCAMLDEP plugins/romega/refl_omega.ml |
|---|
| 751 | :info:build OCAMLDEP plugins/romega/const_omega.ml |
|---|
| 752 | :info:build OCAMLDEP plugins/ring/ring.ml |
|---|
| 753 | :info:build OCAMLDEP plugins/quote/quote.ml |
|---|
| 754 | :info:build OCAMLDEP plugins/omega/omega.ml |
|---|
| 755 | :info:build OCAMLDEP plugins/omega/coq_omega.ml |
|---|
| 756 | :info:build OCAMLDEP plugins/nsatz/utile.ml |
|---|
| 757 | :info:build OCAMLDEP plugins/nsatz/polynom.ml |
|---|
| 758 | :info:build OCAMLDEP plugins/nsatz/ideal.ml |
|---|
| 759 | :info:build OCAMLDEP plugins/micromega/sos_types.ml |
|---|
| 760 | :info:build OCAMLDEP plugins/micromega/sos_lib.ml |
|---|
| 761 | :info:build OCAMLDEP plugins/micromega/sos.ml |
|---|
| 762 | :info:build OCAMLDEP plugins/micromega/persistent_cache.ml |
|---|
| 763 | :info:build OCAMLDEP plugins/micromega/mutils.ml |
|---|
| 764 | :info:build OCAMLDEP plugins/micromega/micromega.ml |
|---|
| 765 | :info:build OCAMLDEP plugins/micromega/mfourier.ml |
|---|
| 766 | :info:build OCAMLDEP plugins/micromega/csdpcert.ml |
|---|
| 767 | :info:build OCAMLDEP plugins/micromega/coq_micromega.ml |
|---|
| 768 | :info:build OCAMLDEP plugins/micromega/certificate.ml |
|---|
| 769 | :info:build OCAMLDEP plugins/funind/recdef.ml |
|---|
| 770 | :info:build OCAMLDEP plugins/funind/rawtermops.ml |
|---|
| 771 | :info:build OCAMLDEP plugins/funind/rawterm_to_relation.ml |
|---|
| 772 | :info:build OCAMLDEP plugins/funind/merge.ml |
|---|
| 773 | :info:build OCAMLDEP plugins/funind/invfun.ml |
|---|
| 774 | :info:build OCAMLDEP plugins/funind/indfun_common.ml |
|---|
| 775 | :info:build OCAMLDEP plugins/funind/indfun.ml |
|---|
| 776 | :info:build OCAMLDEP plugins/funind/functional_principles_types.ml |
|---|
| 777 | :info:build OCAMLDEP plugins/funind/functional_principles_proofs.ml |
|---|
| 778 | :info:build OCAMLDEP plugins/fourier/fourierR.ml |
|---|
| 779 | :info:build OCAMLDEP plugins/fourier/fourier.ml |
|---|
| 780 | :info:build OCAMLDEP plugins/firstorder/unify.ml |
|---|
| 781 | :info:build OCAMLDEP plugins/firstorder/sequent.ml |
|---|
| 782 | :info:build OCAMLDEP plugins/firstorder/rules.ml |
|---|
| 783 | :info:build OCAMLDEP plugins/firstorder/instances.ml |
|---|
| 784 | :info:build OCAMLDEP plugins/firstorder/ground.ml |
|---|
| 785 | :info:build OCAMLDEP plugins/firstorder/formula.ml |
|---|
| 786 | :info:build OCAMLDEP plugins/extraction/table.ml |
|---|
| 787 | :info:build OCAMLDEP plugins/extraction/scheme.ml |
|---|
| 788 | :info:build OCAMLDEP plugins/extraction/ocaml.ml |
|---|
| 789 | :info:build OCAMLDEP plugins/extraction/modutil.ml |
|---|
| 790 | :info:build OCAMLDEP plugins/extraction/mlutil.ml |
|---|
| 791 | :info:build OCAMLDEP plugins/extraction/haskell.ml |
|---|
| 792 | :info:build OCAMLDEP plugins/extraction/extraction.ml |
|---|
| 793 | :info:build OCAMLDEP plugins/extraction/extract_env.ml |
|---|
| 794 | :info:build OCAMLDEP plugins/extraction/common.ml |
|---|
| 795 | :info:build OCAMLDEP plugins/extraction/big.ml |
|---|
| 796 | :info:build OCAMLDEP plugins/dp/dp_why.ml |
|---|
| 797 | :info:build OCAMLDEP plugins/dp/dp.ml |
|---|
| 798 | :info:build OCAMLDEP plugins/cc/cctac.ml |
|---|
| 799 | :info:build OCAMLDEP plugins/cc/ccproof.ml |
|---|
| 800 | :info:build OCAMLDEP plugins/cc/ccalgo.ml |
|---|
| 801 | :info:build OCAMLDEP parsing/tactic_printer.ml |
|---|
| 802 | :info:build OCAMLDEP parsing/printmod.ml |
|---|
| 803 | :info:build OCAMLDEP parsing/printer.ml |
|---|
| 804 | :info:build OCAMLDEP parsing/prettyp.ml |
|---|
| 805 | :info:build OCAMLDEP parsing/ppvernac.ml |
|---|
| 806 | :info:build OCAMLDEP parsing/pptactic.ml |
|---|
| 807 | :info:build OCAMLDEP parsing/ppdecl_proof.ml |
|---|
| 808 | :info:build OCAMLDEP parsing/ppconstr.ml |
|---|
| 809 | :info:build OCAMLDEP parsing/extrawit.ml |
|---|
| 810 | :info:build OCAMLDEP parsing/extend.ml |
|---|
| 811 | :info:build OCAMLDEP parsing/egrammar.ml |
|---|
| 812 | :info:build OCAMLDEP myocamlbuild.ml |
|---|
| 813 | :info:build OCAMLDEP library/summary.ml |
|---|
| 814 | :info:build OCAMLDEP library/states.ml |
|---|
| 815 | :info:build OCAMLDEP library/nametab.ml |
|---|
| 816 | :info:build OCAMLDEP library/nameops.ml |
|---|
| 817 | :info:build OCAMLDEP library/library.ml |
|---|
| 818 | :info:build OCAMLDEP library/libobject.ml |
|---|
| 819 | :info:build OCAMLDEP library/libnames.ml |
|---|
| 820 | :info:build OCAMLDEP library/lib.ml |
|---|
| 821 | :info:build OCAMLDEP library/impargs.ml |
|---|
| 822 | :info:build OCAMLDEP library/heads.ml |
|---|
| 823 | :info:build OCAMLDEP library/goptions.ml |
|---|
| 824 | :info:build OCAMLDEP library/global.ml |
|---|
| 825 | :info:build OCAMLDEP library/dischargedhypsmap.ml |
|---|
| 826 | :info:build OCAMLDEP library/decls.ml |
|---|
| 827 | :info:build OCAMLDEP library/declaremods.ml |
|---|
| 828 | :info:build OCAMLDEP library/declare.ml |
|---|
| 829 | :info:build OCAMLDEP library/decl_kinds.ml |
|---|
| 830 | :info:build OCAMLDEP library/assumptions.ml |
|---|
| 831 | :info:build OCAMLDEP lib/util.ml |
|---|
| 832 | :info:build OCAMLDEP lib/unicodetable.ml |
|---|
| 833 | :info:build OCAMLDEP lib/tries.ml |
|---|
| 834 | :info:build OCAMLDEP lib/tlm.ml |
|---|
| 835 | :info:build OCAMLDEP lib/system.ml |
|---|
| 836 | :info:build OCAMLDEP lib/segmenttree.ml |
|---|
| 837 | :info:build OCAMLDEP lib/rtree.ml |
|---|
| 838 | :info:build OCAMLDEP lib/profile.ml |
|---|
| 839 | :info:build OCAMLDEP lib/predicate.ml |
|---|
| 840 | :info:build OCAMLDEP lib/pp_control.ml |
|---|
| 841 | :info:build OCAMLDEP lib/option.ml |
|---|
| 842 | :info:build OCAMLDEP lib/heap.ml |
|---|
| 843 | :info:build OCAMLDEP lib/hashcons.ml |
|---|
| 844 | :info:build OCAMLDEP lib/gset.ml |
|---|
| 845 | :info:build OCAMLDEP lib/gmapl.ml |
|---|
| 846 | :info:build OCAMLDEP lib/gmap.ml |
|---|
| 847 | :info:build OCAMLDEP lib/fset.ml |
|---|
| 848 | :info:build OCAMLDEP lib/fmap.ml |
|---|
| 849 | :info:build OCAMLDEP lib/flags.ml |
|---|
| 850 | :info:build OCAMLDEP lib/explore.ml |
|---|
| 851 | :info:build OCAMLDEP lib/envars.ml |
|---|
| 852 | :info:build OCAMLDEP lib/edit.ml |
|---|
| 853 | :info:build OCAMLDEP lib/dyn.ml |
|---|
| 854 | :info:build OCAMLDEP lib/dnet.ml |
|---|
| 855 | :info:build OCAMLDEP lib/bstack.ml |
|---|
| 856 | :info:build OCAMLDEP lib/bigint.ml |
|---|
| 857 | :info:build OCAMLDEP kernel/vm.ml |
|---|
| 858 | :info:build OCAMLDEP kernel/vconv.ml |
|---|
| 859 | :info:build OCAMLDEP kernel/univ.ml |
|---|
| 860 | :info:build OCAMLDEP kernel/typeops.ml |
|---|
| 861 | :info:build OCAMLDEP kernel/type_errors.ml |
|---|
| 862 | :info:build OCAMLDEP kernel/term_typing.ml |
|---|
| 863 | :info:build OCAMLDEP kernel/term.ml |
|---|
| 864 | :info:build OCAMLDEP kernel/subtyping.ml |
|---|
| 865 | :info:build OCAMLDEP kernel/sign.ml |
|---|
| 866 | :info:build OCAMLDEP kernel/safe_typing.ml |
|---|
| 867 | :info:build OCAMLDEP kernel/retroknowledge.ml |
|---|
| 868 | :info:build OCAMLDEP kernel/reduction.ml |
|---|
| 869 | :info:build OCAMLDEP kernel/pre_env.ml |
|---|
| 870 | :info:build OCAMLDEP kernel/names.ml |
|---|
| 871 | :info:build OCAMLDEP kernel/modops.ml |
|---|
| 872 | :info:build OCAMLDEP kernel/mod_typing.ml |
|---|
| 873 | :info:build OCAMLDEP kernel/mod_subst.ml |
|---|
| 874 | :info:build OCAMLDEP kernel/inductive.ml |
|---|
| 875 | :info:build OCAMLDEP kernel/indtypes.ml |
|---|
| 876 | :info:build OCAMLDEP kernel/esubst.ml |
|---|
| 877 | :info:build OCAMLDEP kernel/environ.ml |
|---|
| 878 | :info:build OCAMLDEP kernel/entries.ml |
|---|
| 879 | :info:build OCAMLDEP kernel/declarations.ml |
|---|
| 880 | :info:build OCAMLDEP kernel/csymtable.ml |
|---|
| 881 | :info:build OCAMLDEP kernel/cooking.ml |
|---|
| 882 | :info:build OCAMLDEP kernel/conv_oracle.ml |
|---|
| 883 | :info:build OCAMLDEP kernel/closure.ml |
|---|
| 884 | :info:build OCAMLDEP kernel/cemitcodes.ml |
|---|
| 885 | :info:build OCAMLDEP kernel/cbytegen.ml |
|---|
| 886 | :info:build OCAMLDEP kernel/cbytecodes.ml |
|---|
| 887 | :info:build OCAMLDEP interp/topconstr.ml |
|---|
| 888 | :info:build OCAMLDEP interp/syntax_def.ml |
|---|
| 889 | :info:build OCAMLDEP interp/smartlocate.ml |
|---|
| 890 | :info:build OCAMLDEP interp/reserve.ml |
|---|
| 891 | :info:build OCAMLDEP interp/ppextend.ml |
|---|
| 892 | :info:build OCAMLDEP interp/notation.ml |
|---|
| 893 | :info:build OCAMLDEP interp/modintern.ml |
|---|
| 894 | :info:build OCAMLDEP interp/implicit_quantifiers.ml |
|---|
| 895 | :info:build OCAMLDEP interp/genarg.ml |
|---|
| 896 | :info:build OCAMLDEP interp/dumpglob.ml |
|---|
| 897 | :info:build OCAMLDEP interp/coqlib.ml |
|---|
| 898 | :info:build OCAMLDEP interp/constrintern.ml |
|---|
| 899 | :info:build OCAMLDEP interp/constrextern.ml |
|---|
| 900 | :info:build OCAMLDEP ide/utils/okey.ml |
|---|
| 901 | :info:build OCAMLDEP ide/utils/editable_cells.ml |
|---|
| 902 | :info:build OCAMLDEP ide/utils/configwin_types.ml |
|---|
| 903 | :info:build OCAMLDEP ide/utils/configwin_messages.ml |
|---|
| 904 | :info:build OCAMLDEP ide/utils/configwin_keys.ml |
|---|
| 905 | :info:build OCAMLDEP ide/utils/configwin_ihm.ml |
|---|
| 906 | :info:build OCAMLDEP ide/utils/configwin.ml |
|---|
| 907 | :info:build OCAMLDEP ide/utils/config_file.ml |
|---|
| 908 | :info:build OCAMLDEP ide/undo.ml |
|---|
| 909 | :info:build OCAMLDEP ide/typed_notebook.ml |
|---|
| 910 | :info:build OCAMLDEP ide/tags.ml |
|---|
| 911 | :info:build OCAMLDEP ide/preferences.ml |
|---|
| 912 | :info:build OCAMLDEP ide/ideutils.ml |
|---|
| 913 | :info:build OCAMLDEP ide/gtk_parsing.ml |
|---|
| 914 | :info:build OCAMLDEP ide/coqide.ml |
|---|
| 915 | :info:build OCAMLDEP ide/coq_tactics.ml |
|---|
| 916 | :info:build OCAMLDEP ide/coq_commands.ml |
|---|
| 917 | :info:build OCAMLDEP ide/coq.ml |
|---|
| 918 | :info:build OCAMLDEP ide/command_windows.ml |
|---|
| 919 | :info:build OCAMLDEP dev/vm_printers.ml |
|---|
| 920 | :info:build OCAMLDEP dev/top_printers.ml |
|---|
| 921 | :info:build OCAMLDEP dev/ocamlweb-doc/parse.ml |
|---|
| 922 | :info:build OCAMLDEP dev/ocamlweb-doc/ast.ml |
|---|
| 923 | :info:build OCAMLDEP dev/db_printers.ml |
|---|
| 924 | :info:build OCAMLDEP config/coq_config.ml |
|---|
| 925 | :info:build OCAMLDEP4 parsing/q_coqast.ml4 |
|---|
| 926 | :info:build OCAMLDEP4 parsing/q_constr.ml4 |
|---|
| 927 | :info:build File "parsing/q_constr.ml4", line 30, characters 2-8: |
|---|
| 928 | :info:build Parse error: Deprecated syntax, the grammar module is expected |
|---|
| 929 | :info:build OCAMLDEP4 parsing/lexer.ml4 |
|---|
| 930 | :info:build OCAMLDEP4 parsing/g_constr.ml4 |
|---|
| 931 | :info:build File "parsing/g_constr.ml4", line 126, characters 0-7: |
|---|
| 932 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 933 | :info:build OCAMLDEP4 parsing/g_ltac.ml4 |
|---|
| 934 | :info:build OCAMLDEP4 parsing/g_tactic.ml4 |
|---|
| 935 | :info:build File "parsing/g_ltac.ml4", line 31, characters 0-7: |
|---|
| 936 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 937 | :info:build OCAMLDEP4 parsing/g_prim.ml4 |
|---|
| 938 | :info:build File "parsing/g_prim.ml4", line 36, characters 0-7: |
|---|
| 939 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 940 | :info:build OCAMLDEP4 parsing/vernacextend.ml4 |
|---|
| 941 | :info:build File "parsing/vernacextend.ml4", line 34, characters 8-16: |
|---|
| 942 | :info:build While finding quotation "vala" in a position of "expr": |
|---|
| 943 | :info:build Available quotation expanders are: |
|---|
| 944 | :info:build direction_flag (in a position of str_item) |
|---|
| 945 | :info:build direction_flag (in a position of patt) |
|---|
| 946 | :info:build direction_flag (in a position of expr) |
|---|
| 947 | :info:build override_flag (in a position of str_item) |
|---|
| 948 | :info:build override_flag (in a position of patt) |
|---|
| 949 | :info:build override_flag (in a position of expr) |
|---|
| 950 | :info:build virtual_flag (in a position of str_item) |
|---|
| 951 | :info:build virtual_flag (in a position of patt) |
|---|
| 952 | :info:build virtual_flag (in a position of expr) |
|---|
| 953 | :info:build mutable_flag (in a position of str_item) |
|---|
| 954 | :info:build mutable_flag (in a position of patt) |
|---|
| 955 | :info:build mutable_flag (in a position of expr) |
|---|
| 956 | :info:build row_var_flag (in a position of str_item) |
|---|
| 957 | :info:build row_var_flag (in a position of patt) |
|---|
| 958 | :info:build row_var_flag (in a position of expr) |
|---|
| 959 | :info:build private_flag (in a position of str_item) |
|---|
| 960 | :info:build private_flag (in a position of patt) |
|---|
| 961 | :info:build private_flag (in a position of expr) |
|---|
| 962 | :info:build rec_flag (in a position of str_item) |
|---|
| 963 | :info:build rec_flag (in a position of patt) |
|---|
| 964 | :info:build rec_flag (in a position of expr) |
|---|
| 965 | :info:build ident (in a position of str_item) |
|---|
| 966 | :info:build ident (in a position of patt) |
|---|
| 967 | :info:build ident (in a position of expr) |
|---|
| 968 | :info:build module_binding (in a position of str_item) |
|---|
| 969 | :info:build module_binding (in a position of patt) |
|---|
| 970 | :info:build module_binding (in a position of expr) |
|---|
| 971 | :info:build match_case (in a position of str_item) |
|---|
| 972 | :info:build match_case (in a position of patt) |
|---|
| 973 | :info:build match_case (in a position of expr) |
|---|
| 974 | :info:build rec_binding (in a position of str_item) |
|---|
| 975 | :info:build rec_binding (in a position of patt) |
|---|
| 976 | :info:build rec_binding (in a position of expr) |
|---|
| 977 | :info:build binding (in a position of str_item) |
|---|
| 978 | :info:build binding (in a position of patt) |
|---|
| 979 | :info:build binding (in a position of expr) |
|---|
| 980 | :info:build with_constr (in a position of str_item) |
|---|
| 981 | :info:build with_constr (in a position of patt) |
|---|
| 982 | :info:build with_constr (in a position of expr) |
|---|
| 983 | :info:build class_str_item (in a position of str_item) |
|---|
| 984 | :info:build class_str_item (in a position of patt) |
|---|
| 985 | :info:build class_str_item (in a position of expr) |
|---|
| 986 | :info:build class_sig_item (in a position of str_item) |
|---|
| 987 | :info:build class_sig_item (in a position of patt) |
|---|
| 988 | :info:build class_sig_item (in a position of expr) |
|---|
| 989 | :info:build class_expr (in a position of str_item) |
|---|
| 990 | :info:build class_expr (in a position of patt) |
|---|
| 991 | :info:build class_expr (in a position of expr) |
|---|
| 992 | :info:build class_type (in a position of str_item) |
|---|
| 993 | :info:build class_type (in a position of patt) |
|---|
| 994 | :info:build class_type (in a position of expr) |
|---|
| 995 | :info:build module_expr (in a position of str_item) |
|---|
| 996 | :info:build module_expr (in a position of patt) |
|---|
| 997 | :info:build module_expr (in a position of expr) |
|---|
| 998 | :info:build module_type (in a position of str_item) |
|---|
| 999 | :info:build module_type (in a position of patt) |
|---|
| 1000 | :info:build module_type (in a position of expr) |
|---|
| 1001 | :info:build expr (in a position of str_item) |
|---|
| 1002 | :info:build expr (in a position of patt) |
|---|
| 1003 | :info:build expr (in a position of expr) |
|---|
| 1004 | :info:build patt (in a position of str_item) |
|---|
| 1005 | :info:build patt (in a position of patt) |
|---|
| 1006 | :info:build patt (in a position of expr) |
|---|
| 1007 | :info:build ctyp (in a position of str_item) |
|---|
| 1008 | :info:build ctyp (in a position of patt) |
|---|
| 1009 | :info:build ctyp (in a position of expr) |
|---|
| 1010 | :info:build str_item (in a position of str_item) |
|---|
| 1011 | :info:build str_item (in a position of patt) |
|---|
| 1012 | :info:build str_item (in a position of expr) |
|---|
| 1013 | :info:build sig_item (in a position of str_item) |
|---|
| 1014 | :info:build sig_item (in a position of patt) |
|---|
| 1015 | :info:build sig_item (in a position of expr) |
|---|
| 1016 | :info:build |
|---|
| 1017 | :info:build Camlp4: Uncaught exception: Not_found |
|---|
| 1018 | :info:build |
|---|
| 1019 | :info:build |
|---|
| 1020 | :info:build OCAMLDEP4 parsing/tacextend.ml4 |
|---|
| 1021 | :info:build File "parsing/tacextend.ml4", line 58, characters 8-18: |
|---|
| 1022 | :info:build While finding quotation "vala" in a position of "expr": |
|---|
| 1023 | :info:build Available quotation expanders are: |
|---|
| 1024 | :info:build direction_flag (in a position of str_item) |
|---|
| 1025 | :info:build direction_flag (in a position of patt) |
|---|
| 1026 | :info:build direction_flag (in a position of expr) |
|---|
| 1027 | :info:build override_flag (in a position of str_item) |
|---|
| 1028 | :info:build override_flag (in a position of patt) |
|---|
| 1029 | :info:build override_flag (in a position of expr) |
|---|
| 1030 | :info:build virtual_flag (in a position of str_item) |
|---|
| 1031 | :info:build virtual_flag (in a position of patt) |
|---|
| 1032 | :info:build virtual_flag (in a position of expr) |
|---|
| 1033 | :info:build mutable_flag (in a position of str_item) |
|---|
| 1034 | :info:build mutable_flag (in a position of patt) |
|---|
| 1035 | :info:build mutable_flag (in a position of expr) |
|---|
| 1036 | :info:build row_var_flag (in a position of str_item) |
|---|
| 1037 | :info:build row_var_flag (in a position of patt) |
|---|
| 1038 | :info:build row_var_flag (in a position of expr) |
|---|
| 1039 | :info:build private_flag (in a position of str_item) |
|---|
| 1040 | :info:build private_flag (in a position of patt) |
|---|
| 1041 | :info:build private_flag (in a position of expr) |
|---|
| 1042 | :info:build rec_flag (in a position of str_item) |
|---|
| 1043 | :info:build rec_flag (in a position of patt) |
|---|
| 1044 | :info:build rec_flag (in a position of expr) |
|---|
| 1045 | :info:build ident (in a position of str_item) |
|---|
| 1046 | :info:build ident (in a position of patt) |
|---|
| 1047 | :info:build ident (in a position of expr) |
|---|
| 1048 | :info:build module_binding (in a position of str_item) |
|---|
| 1049 | :info:build module_binding (in a position of patt) |
|---|
| 1050 | :info:build module_binding (in a position of expr) |
|---|
| 1051 | :info:build match_case (in a position of str_item) |
|---|
| 1052 | :info:build match_case (in a position of patt) |
|---|
| 1053 | :info:build match_case (in a position of expr) |
|---|
| 1054 | :info:build rec_binding (in a position of str_item) |
|---|
| 1055 | :info:build rec_binding (in a position of patt) |
|---|
| 1056 | :info:build rec_binding (in a position of expr) |
|---|
| 1057 | :info:build binding (in a position of str_item) |
|---|
| 1058 | :info:build binding (in a position of patt) |
|---|
| 1059 | :info:build binding (in a position of expr) |
|---|
| 1060 | :info:build with_constr (in a position of str_item) |
|---|
| 1061 | :info:build with_constr (in a position of patt) |
|---|
| 1062 | :info:build with_constr (in a position of expr) |
|---|
| 1063 | :info:build class_str_item (in a position of str_item) |
|---|
| 1064 | :info:build class_str_item (in a position of patt) |
|---|
| 1065 | :info:build class_str_item (in a position of expr) |
|---|
| 1066 | :info:build class_sig_item (in a position of str_item) |
|---|
| 1067 | :info:build class_sig_item (in a position of patt) |
|---|
| 1068 | :info:build class_sig_item (in a position of expr) |
|---|
| 1069 | :info:build class_expr (in a position of str_item) |
|---|
| 1070 | :info:build class_expr (in a position of patt) |
|---|
| 1071 | :info:build class_expr (in a position of expr) |
|---|
| 1072 | :info:build class_type (in a position of str_item) |
|---|
| 1073 | :info:build class_type (in a position of patt) |
|---|
| 1074 | :info:build class_type (in a position of expr) |
|---|
| 1075 | :info:build module_expr (in a position of str_item) |
|---|
| 1076 | :info:build module_expr (in a position of patt) |
|---|
| 1077 | :info:build module_expr (in a position of expr) |
|---|
| 1078 | :info:build module_type (in a position of str_item) |
|---|
| 1079 | :info:build module_type (in a position of patt) |
|---|
| 1080 | :info:build module_type (in a position of expr) |
|---|
| 1081 | :info:build expr (in a position of str_item) |
|---|
| 1082 | :info:build expr (in a position of patt) |
|---|
| 1083 | :info:build expr (in a position of expr) |
|---|
| 1084 | :info:build patt (in a position of str_item) |
|---|
| 1085 | :info:build patt (in a position of patt) |
|---|
| 1086 | :info:build patt (in a position of expr) |
|---|
| 1087 | :info:build ctyp (in a position of str_item) |
|---|
| 1088 | :info:build ctyp (in a position of patt) |
|---|
| 1089 | :info:build ctyp (in a position of expr) |
|---|
| 1090 | :info:build str_item (in a position of str_item) |
|---|
| 1091 | :info:build str_item (in a position of patt) |
|---|
| 1092 | :info:build str_item (in a position of expr) |
|---|
| 1093 | :info:build sig_item (in a position of str_item) |
|---|
| 1094 | :info:build sig_item (in a position of patt) |
|---|
| 1095 | :info:build sig_item (in a position of expr) |
|---|
| 1096 | :info:build |
|---|
| 1097 | :info:build Camlp4: Uncaught exception: Not_found |
|---|
| 1098 | :info:build |
|---|
| 1099 | :info:build |
|---|
| 1100 | :info:build OCAMLDEP4 parsing/argextend.ml4 |
|---|
| 1101 | :info:build File "parsing/g_tactic.ml4", line 219, characters 0-7: |
|---|
| 1102 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1103 | :info:build OCAMLDEP4 parsing/pcoq.ml4 |
|---|
| 1104 | :info:build File "parsing/pcoq.ml4", line 186, characters 2-9: |
|---|
| 1105 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1106 | :info:build OCAMLDEP4 parsing/q_util.ml4 |
|---|
| 1107 | :info:build File "parsing/q_util.ml4", line 31, characters 38-55: |
|---|
| 1108 | :info:build While expanding quotation "patt" in a position of "expr": |
|---|
| 1109 | :info:build Parse error: EOI expected after [quotation of pattern] (in [quotation of pattern]) |
|---|
| 1110 | :info:build |
|---|
| 1111 | :info:build OCAMLDEP4 lib/pp.ml4 |
|---|
| 1112 | :info:build File "parsing/argextend.ml4", line 153, characters 4-11: |
|---|
| 1113 | :info:build While expanding quotation "str_item" in a position of "expr": |
|---|
| 1114 | :info:build Parse error: EOI expected after [quotation of structure item] (in [quotation of structure item]) |
|---|
| 1115 | :info:build |
|---|
| 1116 | :info:build OCAMLDEP4 lib/compat.ml4 |
|---|
| 1117 | :info:build OCAMLDEP ide/config_parser.mli |
|---|
| 1118 | :info:build OCAMLDEP dev/ocamlweb-doc/syntax.mli |
|---|
| 1119 | :info:build OCAMLDEP toplevel/whelp.mli |
|---|
| 1120 | :info:build OCAMLDEP toplevel/vernacinterp.mli |
|---|
| 1121 | :info:build OCAMLDEP toplevel/vernacentries.mli |
|---|
| 1122 | :info:build OCAMLDEP toplevel/vernac.mli |
|---|
| 1123 | :info:build OCAMLDEP toplevel/usage.mli |
|---|
| 1124 | :info:build OCAMLDEP toplevel/toplevel.mli |
|---|
| 1125 | :info:build OCAMLDEP toplevel/search.mli |
|---|
| 1126 | :info:build OCAMLDEP toplevel/record.mli |
|---|
| 1127 | :info:build OCAMLDEP toplevel/mltop.mli |
|---|
| 1128 | :info:build OCAMLDEP toplevel/metasyntax.mli |
|---|
| 1129 | :info:build OCAMLDEP toplevel/libtypes.mli |
|---|
| 1130 | :info:build OCAMLDEP toplevel/lemmas.mli |
|---|
| 1131 | :info:build OCAMLDEP toplevel/indschemes.mli |
|---|
| 1132 | :info:build OCAMLDEP toplevel/ind_tables.mli |
|---|
| 1133 | :info:build OCAMLDEP toplevel/himsg.mli |
|---|
| 1134 | :info:build OCAMLDEP toplevel/discharge.mli |
|---|
| 1135 | :info:build OCAMLDEP toplevel/coqtop.mli |
|---|
| 1136 | :info:build OCAMLDEP toplevel/coqinit.mli |
|---|
| 1137 | :info:build OCAMLDEP toplevel/command.mli |
|---|
| 1138 | :info:build OCAMLDEP toplevel/classes.mli |
|---|
| 1139 | :info:build OCAMLDEP toplevel/class.mli |
|---|
| 1140 | :info:build OCAMLDEP toplevel/cerrors.mli |
|---|
| 1141 | :info:build OCAMLDEP toplevel/autoinstance.mli |
|---|
| 1142 | :info:build OCAMLDEP toplevel/auto_ind_decl.mli |
|---|
| 1143 | :info:build OCAMLDEP tools/coqdoc/tokens.mli |
|---|
| 1144 | :info:build OCAMLDEP tools/coqdoc/output.mli |
|---|
| 1145 | :info:build OCAMLDEP tools/coqdoc/index.mli |
|---|
| 1146 | :info:build OCAMLDEP tools/coqdoc/cpretty.mli |
|---|
| 1147 | :info:build OCAMLDEP tools/coqdoc/alpha.mli |
|---|
| 1148 | :info:build OCAMLDEP tactics/termdn.mli |
|---|
| 1149 | :info:build OCAMLDEP tactics/tactics.mli |
|---|
| 1150 | :info:build OCAMLDEP tactics/tacticals.mli |
|---|
| 1151 | :info:build OCAMLDEP tactics/tactic_option.mli |
|---|
| 1152 | :info:build OCAMLDEP tactics/tacinterp.mli |
|---|
| 1153 | :info:build OCAMLDEP tactics/refine.mli |
|---|
| 1154 | :info:build OCAMLDEP tactics/nbtermdn.mli |
|---|
| 1155 | :info:build OCAMLDEP tactics/leminv.mli |
|---|
| 1156 | :info:build OCAMLDEP tactics/inv.mli |
|---|
| 1157 | :info:build OCAMLDEP tactics/hipattern.mli |
|---|
| 1158 | :info:build OCAMLDEP tactics/hiddentac.mli |
|---|
| 1159 | :info:build OCAMLDEP tactics/extratactics.mli |
|---|
| 1160 | :info:build OCAMLDEP tactics/extraargs.mli |
|---|
| 1161 | :info:build OCAMLDEP tactics/evar_tactics.mli |
|---|
| 1162 | :info:build OCAMLDEP tactics/equality.mli |
|---|
| 1163 | :info:build OCAMLDEP tactics/eqschemes.mli |
|---|
| 1164 | :info:build OCAMLDEP tactics/elimschemes.mli |
|---|
| 1165 | :info:build OCAMLDEP tactics/elim.mli |
|---|
| 1166 | :info:build OCAMLDEP tactics/eauto.mli |
|---|
| 1167 | :info:build OCAMLDEP tactics/dn.mli |
|---|
| 1168 | :info:build OCAMLDEP tactics/dhyp.mli |
|---|
| 1169 | :info:build OCAMLDEP tactics/decl_proof_instr.mli |
|---|
| 1170 | :info:build OCAMLDEP tactics/decl_interp.mli |
|---|
| 1171 | :info:build OCAMLDEP tactics/contradiction.mli |
|---|
| 1172 | :info:build OCAMLDEP tactics/btermdn.mli |
|---|
| 1173 | :info:build OCAMLDEP tactics/autorewrite.mli |
|---|
| 1174 | :info:build OCAMLDEP tactics/auto.mli |
|---|
| 1175 | :info:build OCAMLDEP proofs/tactic_debug.mli |
|---|
| 1176 | :info:build OCAMLDEP proofs/tacmach.mli |
|---|
| 1177 | :info:build OCAMLDEP proofs/refiner.mli |
|---|
| 1178 | :info:build OCAMLDEP proofs/redexpr.mli |
|---|
| 1179 | :info:build OCAMLDEP proofs/proof_type.mli |
|---|
| 1180 | :info:build OCAMLDEP proofs/proof_trees.mli |
|---|
| 1181 | :info:build OCAMLDEP proofs/pfedit.mli |
|---|
| 1182 | :info:build OCAMLDEP proofs/logic.mli |
|---|
| 1183 | :info:build OCAMLDEP proofs/evar_refiner.mli |
|---|
| 1184 | :info:build OCAMLDEP proofs/decl_mode.mli |
|---|
| 1185 | :info:build OCAMLDEP proofs/decl_expr.mli |
|---|
| 1186 | :info:build OCAMLDEP proofs/clenvtac.mli |
|---|
| 1187 | :info:build OCAMLDEP pretyping/vnorm.mli |
|---|
| 1188 | :info:build OCAMLDEP pretyping/unification.mli |
|---|
| 1189 | :info:build OCAMLDEP pretyping/typing.mli |
|---|
| 1190 | :info:build OCAMLDEP pretyping/typeclasses_errors.mli |
|---|
| 1191 | :info:build OCAMLDEP pretyping/typeclasses.mli |
|---|
| 1192 | :info:build OCAMLDEP pretyping/termops.mli |
|---|
| 1193 | :info:build OCAMLDEP pretyping/term_dnet.mli |
|---|
| 1194 | :info:build OCAMLDEP pretyping/tacred.mli |
|---|
| 1195 | :info:build OCAMLDEP pretyping/retyping.mli |
|---|
| 1196 | :info:build OCAMLDEP pretyping/reductionops.mli |
|---|
| 1197 | :info:build OCAMLDEP pretyping/recordops.mli |
|---|
| 1198 | :info:build OCAMLDEP pretyping/rawterm.mli |
|---|
| 1199 | :info:build OCAMLDEP pretyping/pretyping.mli |
|---|
| 1200 | :info:build OCAMLDEP pretyping/pretype_errors.mli |
|---|
| 1201 | :info:build OCAMLDEP pretyping/pattern.mli |
|---|
| 1202 | :info:build OCAMLDEP pretyping/namegen.mli |
|---|
| 1203 | :info:build OCAMLDEP pretyping/matching.mli |
|---|
| 1204 | :info:build OCAMLDEP pretyping/inductiveops.mli |
|---|
| 1205 | :info:build OCAMLDEP pretyping/indrec.mli |
|---|
| 1206 | :info:build OCAMLDEP pretyping/evd.mli |
|---|
| 1207 | :info:build OCAMLDEP pretyping/evarutil.mli |
|---|
| 1208 | :info:build OCAMLDEP pretyping/evarconv.mli |
|---|
| 1209 | :info:build OCAMLDEP pretyping/detyping.mli |
|---|
| 1210 | :info:build OCAMLDEP pretyping/coercion.mli |
|---|
| 1211 | :info:build OCAMLDEP pretyping/clenv.mli |
|---|
| 1212 | :info:build OCAMLDEP pretyping/classops.mli |
|---|
| 1213 | :info:build OCAMLDEP pretyping/cbv.mli |
|---|
| 1214 | :info:build OCAMLDEP pretyping/cases.mli |
|---|
| 1215 | :info:build OCAMLDEP plugins/xml/xmlcommand.mli |
|---|
| 1216 | :info:build OCAMLDEP plugins/xml/xml.mli |
|---|
| 1217 | :info:build OCAMLDEP plugins/xml/unshare.mli |
|---|
| 1218 | :info:build OCAMLDEP plugins/xml/doubleTypeInference.mli |
|---|
| 1219 | :info:build OCAMLDEP plugins/subtac/subtac_utils.mli |
|---|
| 1220 | :info:build OCAMLDEP plugins/subtac/subtac_pretyping.mli |
|---|
| 1221 | :info:build OCAMLDEP plugins/subtac/subtac_errors.mli |
|---|
| 1222 | :info:build OCAMLDEP plugins/subtac/subtac_obligations.mli |
|---|
| 1223 | :info:build OCAMLDEP plugins/subtac/subtac_command.mli |
|---|
| 1224 | :info:build OCAMLDEP plugins/subtac/subtac_coercion.mli |
|---|
| 1225 | :info:build OCAMLDEP plugins/subtac/subtac_classes.mli |
|---|
| 1226 | :info:build OCAMLDEP plugins/subtac/subtac_cases.mli |
|---|
| 1227 | :info:build OCAMLDEP plugins/subtac/subtac.mli |
|---|
| 1228 | :info:build OCAMLDEP plugins/subtac/eterm.mli |
|---|
| 1229 | :info:build OCAMLDEP plugins/rtauto/refl_tauto.mli |
|---|
| 1230 | :info:build OCAMLDEP plugins/rtauto/proof_search.mli |
|---|
| 1231 | :info:build OCAMLDEP plugins/romega/const_omega.mli |
|---|
| 1232 | :info:build OCAMLDEP plugins/nsatz/utile.mli |
|---|
| 1233 | :info:build OCAMLDEP plugins/nsatz/polynom.mli |
|---|
| 1234 | :info:build OCAMLDEP plugins/micromega/sos.mli |
|---|
| 1235 | :info:build OCAMLDEP plugins/micromega/micromega.mli |
|---|
| 1236 | :info:build OCAMLDEP plugins/funind/rawtermops.mli |
|---|
| 1237 | :info:build OCAMLDEP plugins/funind/rawterm_to_relation.mli |
|---|
| 1238 | :info:build OCAMLDEP plugins/funind/indfun_common.mli |
|---|
| 1239 | :info:build OCAMLDEP plugins/funind/functional_principles_types.mli |
|---|
| 1240 | :info:build OCAMLDEP plugins/funind/functional_principles_proofs.mli |
|---|
| 1241 | :info:build OCAMLDEP plugins/firstorder/unify.mli |
|---|
| 1242 | :info:build OCAMLDEP plugins/firstorder/sequent.mli |
|---|
| 1243 | :info:build OCAMLDEP plugins/firstorder/rules.mli |
|---|
| 1244 | :info:build OCAMLDEP plugins/firstorder/instances.mli |
|---|
| 1245 | :info:build OCAMLDEP plugins/firstorder/ground.mli |
|---|
| 1246 | :info:build OCAMLDEP plugins/firstorder/formula.mli |
|---|
| 1247 | :info:build OCAMLDEP plugins/extraction/table.mli |
|---|
| 1248 | :info:build OCAMLDEP plugins/extraction/scheme.mli |
|---|
| 1249 | :info:build OCAMLDEP plugins/extraction/ocaml.mli |
|---|
| 1250 | :info:build OCAMLDEP plugins/extraction/modutil.mli |
|---|
| 1251 | :info:build OCAMLDEP plugins/extraction/mlutil.mli |
|---|
| 1252 | :info:build OCAMLDEP plugins/extraction/miniml.mli |
|---|
| 1253 | :info:build OCAMLDEP plugins/extraction/haskell.mli |
|---|
| 1254 | :info:build OCAMLDEP plugins/extraction/extract_env.mli |
|---|
| 1255 | :info:build OCAMLDEP plugins/extraction/extraction.mli |
|---|
| 1256 | :info:build OCAMLDEP plugins/extraction/common.mli |
|---|
| 1257 | :info:build OCAMLDEP plugins/dp/fol.mli |
|---|
| 1258 | :info:build OCAMLDEP plugins/dp/dp_zenon.mli |
|---|
| 1259 | :info:build OCAMLDEP plugins/dp/dp_why.mli |
|---|
| 1260 | :info:build OCAMLDEP plugins/dp/dp.mli |
|---|
| 1261 | :info:build OCAMLDEP plugins/cc/cctac.mli |
|---|
| 1262 | :info:build OCAMLDEP plugins/cc/ccproof.mli |
|---|
| 1263 | :info:build OCAMLDEP plugins/cc/ccalgo.mli |
|---|
| 1264 | :info:build OCAMLDEP parsing/tactic_printer.mli |
|---|
| 1265 | :info:build OCAMLDEP parsing/q_util.mli |
|---|
| 1266 | :info:build OCAMLDEP parsing/printmod.mli |
|---|
| 1267 | :info:build OCAMLDEP parsing/prettyp.mli |
|---|
| 1268 | :info:build OCAMLDEP parsing/printer.mli |
|---|
| 1269 | :info:build OCAMLDEP parsing/ppvernac.mli |
|---|
| 1270 | :info:build OCAMLDEP parsing/pptactic.mli |
|---|
| 1271 | :info:build OCAMLDEP parsing/ppdecl_proof.mli |
|---|
| 1272 | :info:build OCAMLDEP parsing/ppconstr.mli |
|---|
| 1273 | :info:build OCAMLDEP parsing/pcoq.mli |
|---|
| 1274 | :info:build OCAMLDEP parsing/lexer.mli |
|---|
| 1275 | :info:build OCAMLDEP parsing/g_zsyntax.mli |
|---|
| 1276 | :info:build OCAMLDEP parsing/g_natsyntax.mli |
|---|
| 1277 | :info:build OCAMLDEP parsing/g_intsyntax.mli |
|---|
| 1278 | :info:build OCAMLDEP parsing/extrawit.mli |
|---|
| 1279 | :info:build OCAMLDEP parsing/extend.mli |
|---|
| 1280 | :info:build OCAMLDEP parsing/egrammar.mli |
|---|
| 1281 | :info:build OCAMLDEP library/summary.mli |
|---|
| 1282 | :info:build OCAMLDEP library/states.mli |
|---|
| 1283 | :info:build OCAMLDEP library/nametab.mli |
|---|
| 1284 | :info:build OCAMLDEP library/nameops.mli |
|---|
| 1285 | :info:build OCAMLDEP library/library.mli |
|---|
| 1286 | :info:build OCAMLDEP library/libobject.mli |
|---|
| 1287 | :info:build OCAMLDEP library/libnames.mli |
|---|
| 1288 | :info:build OCAMLDEP library/lib.mli |
|---|
| 1289 | :info:build OCAMLDEP library/impargs.mli |
|---|
| 1290 | :info:build OCAMLDEP library/heads.mli |
|---|
| 1291 | :info:build OCAMLDEP library/goptions.mli |
|---|
| 1292 | :info:build OCAMLDEP library/global.mli |
|---|
| 1293 | :info:build OCAMLDEP library/dischargedhypsmap.mli |
|---|
| 1294 | :info:build OCAMLDEP library/decls.mli |
|---|
| 1295 | :info:build OCAMLDEP library/declaremods.mli |
|---|
| 1296 | :info:build OCAMLDEP library/declare.mli |
|---|
| 1297 | :info:build OCAMLDEP library/decl_kinds.mli |
|---|
| 1298 | :info:build OCAMLDEP library/assumptions.mli |
|---|
| 1299 | :info:build OCAMLDEP lib/util.mli |
|---|
| 1300 | :info:build OCAMLDEP lib/tries.mli |
|---|
| 1301 | :info:build OCAMLDEP lib/tlm.mli |
|---|
| 1302 | :info:build OCAMLDEP lib/system.mli |
|---|
| 1303 | :info:build OCAMLDEP lib/segmenttree.mli |
|---|
| 1304 | :info:build OCAMLDEP lib/rtree.mli |
|---|
| 1305 | :info:build OCAMLDEP lib/profile.mli |
|---|
| 1306 | :info:build OCAMLDEP lib/predicate.mli |
|---|
| 1307 | :info:build OCAMLDEP lib/pp_control.mli |
|---|
| 1308 | :info:build OCAMLDEP lib/pp.mli |
|---|
| 1309 | :info:build OCAMLDEP lib/option.mli |
|---|
| 1310 | :info:build OCAMLDEP lib/heap.mli |
|---|
| 1311 | :info:build OCAMLDEP lib/hashcons.mli |
|---|
| 1312 | :info:build OCAMLDEP lib/gset.mli |
|---|
| 1313 | :info:build OCAMLDEP lib/gmapl.mli |
|---|
| 1314 | :info:build OCAMLDEP lib/gmap.mli |
|---|
| 1315 | :info:build OCAMLDEP lib/fset.mli |
|---|
| 1316 | :info:build OCAMLDEP lib/fmap.mli |
|---|
| 1317 | :info:build OCAMLDEP lib/flags.mli |
|---|
| 1318 | :info:build OCAMLDEP lib/explore.mli |
|---|
| 1319 | :info:build OCAMLDEP lib/envars.mli |
|---|
| 1320 | :info:build OCAMLDEP lib/edit.mli |
|---|
| 1321 | :info:build OCAMLDEP lib/dyn.mli |
|---|
| 1322 | :info:build OCAMLDEP lib/dnet.mli |
|---|
| 1323 | :info:build OCAMLDEP lib/bstack.mli |
|---|
| 1324 | :info:build OCAMLDEP lib/bigint.mli |
|---|
| 1325 | :info:build OCAMLDEP kernel/vm.mli |
|---|
| 1326 | :info:build OCAMLDEP kernel/vconv.mli |
|---|
| 1327 | :info:build OCAMLDEP kernel/univ.mli |
|---|
| 1328 | :info:build OCAMLDEP kernel/typeops.mli |
|---|
| 1329 | :info:build OCAMLDEP kernel/type_errors.mli |
|---|
| 1330 | :info:build OCAMLDEP kernel/term_typing.mli |
|---|
| 1331 | :info:build OCAMLDEP kernel/term.mli |
|---|
| 1332 | :info:build OCAMLDEP kernel/subtyping.mli |
|---|
| 1333 | :info:build OCAMLDEP kernel/sign.mli |
|---|
| 1334 | :info:build OCAMLDEP kernel/safe_typing.mli |
|---|
| 1335 | :info:build OCAMLDEP kernel/retroknowledge.mli |
|---|
| 1336 | :info:build OCAMLDEP kernel/reduction.mli |
|---|
| 1337 | :info:build OCAMLDEP kernel/pre_env.mli |
|---|
| 1338 | :info:build OCAMLDEP kernel/names.mli |
|---|
| 1339 | :info:build OCAMLDEP kernel/modops.mli |
|---|
| 1340 | :info:build OCAMLDEP kernel/mod_subst.mli |
|---|
| 1341 | :info:build OCAMLDEP kernel/mod_typing.mli |
|---|
| 1342 | :info:build OCAMLDEP kernel/inductive.mli |
|---|
| 1343 | :info:build OCAMLDEP kernel/indtypes.mli |
|---|
| 1344 | :info:build OCAMLDEP kernel/esubst.mli |
|---|
| 1345 | :info:build OCAMLDEP kernel/environ.mli |
|---|
| 1346 | :info:build OCAMLDEP kernel/entries.mli |
|---|
| 1347 | :info:build OCAMLDEP kernel/declarations.mli |
|---|
| 1348 | :info:build OCAMLDEP kernel/csymtable.mli |
|---|
| 1349 | :info:build OCAMLDEP kernel/cooking.mli |
|---|
| 1350 | :info:build OCAMLDEP kernel/conv_oracle.mli |
|---|
| 1351 | :info:build OCAMLDEP kernel/closure.mli |
|---|
| 1352 | :info:build OCAMLDEP kernel/cemitcodes.mli |
|---|
| 1353 | :info:build OCAMLDEP kernel/cbytegen.mli |
|---|
| 1354 | :info:build OCAMLDEP kernel/cbytecodes.mli |
|---|
| 1355 | :info:build OCAMLDEP interp/topconstr.mli |
|---|
| 1356 | :info:build OCAMLDEP interp/syntax_def.mli |
|---|
| 1357 | :info:build OCAMLDEP interp/smartlocate.mli |
|---|
| 1358 | :info:build OCAMLDEP interp/reserve.mli |
|---|
| 1359 | :info:build OCAMLDEP interp/ppextend.mli |
|---|
| 1360 | :info:build OCAMLDEP interp/notation.mli |
|---|
| 1361 | :info:build OCAMLDEP interp/modintern.mli |
|---|
| 1362 | :info:build OCAMLDEP interp/implicit_quantifiers.mli |
|---|
| 1363 | :info:build OCAMLDEP interp/genarg.mli |
|---|
| 1364 | :info:build OCAMLDEP interp/dumpglob.mli |
|---|
| 1365 | :info:build OCAMLDEP interp/coqlib.mli |
|---|
| 1366 | :info:build OCAMLDEP interp/constrintern.mli |
|---|
| 1367 | :info:build OCAMLDEP interp/constrextern.mli |
|---|
| 1368 | :info:build OCAMLDEP ide/utils/okey.mli |
|---|
| 1369 | :info:build OCAMLDEP ide/utils/configwin.mli |
|---|
| 1370 | :info:build OCAMLDEP ide/utils/config_file.mli |
|---|
| 1371 | :info:build OCAMLDEP ide/undo_lablgtk_lt26.mli |
|---|
| 1372 | :info:build OCAMLDEP ide/undo_lablgtk_ge26.mli |
|---|
| 1373 | :info:build OCAMLDEP ide/undo_lablgtk_ge212.mli |
|---|
| 1374 | :info:build OCAMLDEP ide/preferences.mli |
|---|
| 1375 | :info:build OCAMLDEP ide/ideutils.mli |
|---|
| 1376 | :info:build OCAMLDEP ide/coqide.mli |
|---|
| 1377 | :info:build OCAMLDEP ide/coq_tactics.mli |
|---|
| 1378 | :info:build OCAMLDEP ide/coq.mli |
|---|
| 1379 | :info:build OCAMLDEP ide/command_windows.mli |
|---|
| 1380 | :info:build OCAMLDEP config/coq_config.mli |
|---|
| 1381 | :info:build rm tactics/class_tactics.ml parsing/q_coqast.ml plugins/micromega/g_micromega.ml plugins/field/field.ml toplevel/whelp.ml plugins/firstorder/g_ground.ml plugins/xml/xmlentries.ml lib/refutpat.ml tactics/eauto.ml parsing/g_decl_mode.ml lib/compat.ml plugins/extraction/g_extraction.ml tactics/tauto.ml tactics/rewrite.ml plugins/romega/g_romega.ml tactics/hipattern.ml plugins/fourier/g_fourier.ml parsing/lexer.ml parsing/g_vernac.ml plugins/funind/g_indfun.ml toplevel/mltop.ml plugins/xml/xml.ml plugins/xml/acic2Xml.ml plugins/ring/g_ring.ml plugins/quote/g_quote.ml plugins/rtauto/g_rtauto.ml lib/pp.ml plugins/dp/g_dp.ml plugins/omega/g_omega.ml plugins/xml/dumptree.ml tactics/extraargs.ml tactics/extratactics.ml plugins/xml/proofTree2Xml.ml parsing/g_proofs.ml plugins/setoid_ring/newring.ml plugins/cc/g_congruence.ml parsing/g_xml.ml plugins/nsatz/nsatz.ml plugins/subtac/g_subtac.ml tools/coq_makefile.ml tactics/eqdecide.ml tools/coq_tex.ml |
|---|
| 1382 | :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 1383 | :info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 1384 | :info:build TOUCH lib/compat.ml |
|---|
| 1385 | :info:build TOUCH lib/pp.ml |
|---|
| 1386 | :info:build TOUCH lib/refutpat.ml |
|---|
| 1387 | :info:build TOUCH parsing/argextend.ml |
|---|
| 1388 | :info:build TOUCH parsing/g_constr.ml |
|---|
| 1389 | :info:build TOUCH parsing/g_decl_mode.ml |
|---|
| 1390 | :info:build TOUCH parsing/g_ltac.ml |
|---|
| 1391 | :info:build TOUCH parsing/g_prim.ml |
|---|
| 1392 | :info:build TOUCH parsing/g_proofs.ml |
|---|
| 1393 | :info:build TOUCH parsing/g_tactic.ml |
|---|
| 1394 | :info:build TOUCH parsing/g_xml.ml |
|---|
| 1395 | :info:build TOUCH parsing/g_vernac.ml |
|---|
| 1396 | :info:build TOUCH parsing/lexer.ml |
|---|
| 1397 | :info:build TOUCH parsing/pcoq.ml |
|---|
| 1398 | :info:build TOUCH parsing/q_coqast.ml |
|---|
| 1399 | :info:build TOUCH parsing/q_constr.ml |
|---|
| 1400 | :info:build TOUCH parsing/q_util.ml |
|---|
| 1401 | :info:build TOUCH parsing/tacextend.ml |
|---|
| 1402 | :info:build TOUCH parsing/vernacextend.ml |
|---|
| 1403 | :info:build TOUCH plugins/cc/g_congruence.ml |
|---|
| 1404 | :info:build TOUCH plugins/extraction/g_extraction.ml |
|---|
| 1405 | :info:build TOUCH plugins/dp/g_dp.ml |
|---|
| 1406 | :info:build TOUCH plugins/field/field.ml |
|---|
| 1407 | :info:build TOUCH plugins/firstorder/g_ground.ml |
|---|
| 1408 | :info:build TOUCH plugins/fourier/g_fourier.ml |
|---|
| 1409 | :info:build TOUCH plugins/funind/g_indfun.ml |
|---|
| 1410 | :info:build TOUCH plugins/nsatz/nsatz.ml |
|---|
| 1411 | :info:build TOUCH plugins/micromega/g_micromega.ml |
|---|
| 1412 | :info:build TOUCH plugins/omega/g_omega.ml |
|---|
| 1413 | :info:build TOUCH plugins/quote/g_quote.ml |
|---|
| 1414 | :info:build TOUCH plugins/ring/g_ring.ml |
|---|
| 1415 | :info:build TOUCH plugins/romega/g_romega.ml |
|---|
| 1416 | :info:build TOUCH plugins/rtauto/g_rtauto.ml |
|---|
| 1417 | :info:build TOUCH plugins/setoid_ring/newring.ml |
|---|
| 1418 | :info:build TOUCH plugins/xml/acic2Xml.ml |
|---|
| 1419 | :info:build TOUCH plugins/subtac/g_subtac.ml |
|---|
| 1420 | :info:build TOUCH plugins/xml/proofTree2Xml.ml |
|---|
| 1421 | :info:build TOUCH plugins/xml/dumptree.ml |
|---|
| 1422 | :info:build TOUCH plugins/xml/xml.ml |
|---|
| 1423 | :info:build TOUCH plugins/xml/xmlentries.ml |
|---|
| 1424 | :info:build TOUCH tactics/class_tactics.ml |
|---|
| 1425 | :info:build TOUCH tactics/eauto.ml |
|---|
| 1426 | :info:build TOUCH tactics/eqdecide.ml |
|---|
| 1427 | :info:build TOUCH tactics/extraargs.ml |
|---|
| 1428 | :info:build TOUCH tactics/extratactics.ml |
|---|
| 1429 | :info:build TOUCH tactics/hipattern.ml |
|---|
| 1430 | :info:build TOUCH tactics/rewrite.ml |
|---|
| 1431 | :info:build TOUCH tactics/tauto.ml |
|---|
| 1432 | :info:build TOUCH tools/coq_makefile.ml |
|---|
| 1433 | :info:build TOUCH tools/coq_tex.ml |
|---|
| 1434 | :info:build TOUCH toplevel/mltop.ml |
|---|
| 1435 | :info:build TOUCH toplevel/whelp.ml |
|---|
| 1436 | :info:build OCAMLDEP4 parsing/q_constr.ml4 |
|---|
| 1437 | :info:build OCAMLDEP4 parsing/g_constr.ml4 |
|---|
| 1438 | :info:build File "parsing/q_constr.ml4", line 30, characters 2-8: |
|---|
| 1439 | :info:build Parse error: Deprecated syntax, the grammar module is expected |
|---|
| 1440 | :info:build OCAMLDEP4 parsing/g_ltac.ml4 |
|---|
| 1441 | :info:build File "parsing/g_ltac.ml4", line 31, characters 0-7: |
|---|
| 1442 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1443 | :info:build OCAMLDEP4 parsing/g_tactic.ml4 |
|---|
| 1444 | :info:build File "parsing/g_constr.ml4", line 126, characters 0-7: |
|---|
| 1445 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1446 | :info:build OCAMLDEP4 parsing/g_prim.ml4 |
|---|
| 1447 | :info:build File "parsing/g_prim.ml4", line 36, characters 0-7: |
|---|
| 1448 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1449 | :info:build OCAMLDEP4 parsing/vernacextend.ml4 |
|---|
| 1450 | :info:build File "parsing/vernacextend.ml4", line 34, characters 8-16: |
|---|
| 1451 | :info:build While finding quotation "vala" in a position of "expr": |
|---|
| 1452 | :info:build Available quotation expanders are: |
|---|
| 1453 | :info:build direction_flag (in a position of str_item) |
|---|
| 1454 | :info:build direction_flag (in a position of patt) |
|---|
| 1455 | :info:build direction_flag (in a position of expr) |
|---|
| 1456 | :info:build override_flag (in a position of str_item) |
|---|
| 1457 | :info:build override_flag (in a position of patt) |
|---|
| 1458 | :info:build override_flag (in a position of expr) |
|---|
| 1459 | :info:build virtual_flag (in a position of str_item) |
|---|
| 1460 | :info:build virtual_flag (in a position of patt) |
|---|
| 1461 | :info:build virtual_flag (in a position of expr) |
|---|
| 1462 | :info:build mutable_flag (in a position of str_item) |
|---|
| 1463 | :info:build mutable_flag (in a position of patt) |
|---|
| 1464 | :info:build mutable_flag (in a position of expr) |
|---|
| 1465 | :info:build row_var_flag (in a position of str_item) |
|---|
| 1466 | :info:build row_var_flag (in a position of patt) |
|---|
| 1467 | :info:build row_var_flag (in a position of expr) |
|---|
| 1468 | :info:build private_flag (in a position of str_item) |
|---|
| 1469 | :info:build private_flag (in a position of patt) |
|---|
| 1470 | :info:build private_flag (in a position of expr) |
|---|
| 1471 | :info:build rec_flag (in a position of str_item) |
|---|
| 1472 | :info:build rec_flag (in a position of patt) |
|---|
| 1473 | :info:build rec_flag (in a position of expr) |
|---|
| 1474 | :info:build ident (in a position of str_item) |
|---|
| 1475 | :info:build ident (in a position of patt) |
|---|
| 1476 | :info:build ident (in a position of expr) |
|---|
| 1477 | :info:build module_binding (in a position of str_item) |
|---|
| 1478 | :info:build module_binding (in a position of patt) |
|---|
| 1479 | :info:build module_binding (in a position of expr) |
|---|
| 1480 | :info:build match_case (in a position of str_item) |
|---|
| 1481 | :info:build match_case (in a position of patt) |
|---|
| 1482 | :info:build match_case (in a position of expr) |
|---|
| 1483 | :info:build rec_binding (in a position of str_item) |
|---|
| 1484 | :info:build rec_binding (in a position of patt) |
|---|
| 1485 | :info:build rec_binding (in a position of expr) |
|---|
| 1486 | :info:build binding (in a position of str_item) |
|---|
| 1487 | :info:build binding (in a position of patt) |
|---|
| 1488 | :info:build binding (in a position of expr) |
|---|
| 1489 | :info:build with_constr (in a position of str_item) |
|---|
| 1490 | :info:build with_constr (in a position of patt) |
|---|
| 1491 | :info:build with_constr (in a position of expr) |
|---|
| 1492 | :info:build class_str_item (in a position of str_item) |
|---|
| 1493 | :info:build class_str_item (in a position of patt) |
|---|
| 1494 | :info:build class_str_item (in a position of expr) |
|---|
| 1495 | :info:build class_sig_item (in a position of str_item) |
|---|
| 1496 | :info:build class_sig_item (in a position of patt) |
|---|
| 1497 | :info:build class_sig_item (in a position of expr) |
|---|
| 1498 | :info:build class_expr (in a position of str_item) |
|---|
| 1499 | :info:build class_expr (in a position of patt) |
|---|
| 1500 | :info:build class_expr (in a position of expr) |
|---|
| 1501 | :info:build class_type (in a position of str_item) |
|---|
| 1502 | :info:build class_type (in a position of patt) |
|---|
| 1503 | :info:build class_type (in a position of expr) |
|---|
| 1504 | :info:build module_expr (in a position of str_item) |
|---|
| 1505 | :info:build module_expr (in a position of patt) |
|---|
| 1506 | :info:build module_expr (in a position of expr) |
|---|
| 1507 | :info:build module_type (in a position of str_item) |
|---|
| 1508 | :info:build module_type (in a position of patt) |
|---|
| 1509 | :info:build module_type (in a position of expr) |
|---|
| 1510 | :info:build expr (in a position of str_item) |
|---|
| 1511 | :info:build expr (in a position of patt) |
|---|
| 1512 | :info:build expr (in a position of expr) |
|---|
| 1513 | :info:build patt (in a position of str_item) |
|---|
| 1514 | :info:build patt (in a position of patt) |
|---|
| 1515 | :info:build patt (in a position of expr) |
|---|
| 1516 | :info:build ctyp (in a position of str_item) |
|---|
| 1517 | :info:build ctyp (in a position of patt) |
|---|
| 1518 | :info:build ctyp (in a position of expr) |
|---|
| 1519 | :info:build str_item (in a position of str_item) |
|---|
| 1520 | :info:build str_item (in a position of patt) |
|---|
| 1521 | :info:build str_item (in a position of expr) |
|---|
| 1522 | :info:build sig_item (in a position of str_item) |
|---|
| 1523 | :info:build sig_item (in a position of patt) |
|---|
| 1524 | :info:build sig_item (in a position of expr) |
|---|
| 1525 | :info:build |
|---|
| 1526 | :info:build Camlp4: Uncaught exception: Not_found |
|---|
| 1527 | :info:build |
|---|
| 1528 | :info:build |
|---|
| 1529 | :info:build OCAMLDEP4 parsing/tacextend.ml4 |
|---|
| 1530 | :info:build File "parsing/g_tactic.ml4", line 219, characters 0-7: |
|---|
| 1531 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1532 | :info:build OCAMLDEP4 parsing/argextend.ml4 |
|---|
| 1533 | :info:build File "parsing/tacextend.ml4", line 58, characters 8-18: |
|---|
| 1534 | :info:build While finding quotation "vala" in a position of "expr": |
|---|
| 1535 | :info:build Available quotation expanders are: |
|---|
| 1536 | :info:build direction_flag (in a position of str_item) |
|---|
| 1537 | :info:build direction_flag (in a position of patt) |
|---|
| 1538 | :info:build direction_flag (in a position of expr) |
|---|
| 1539 | :info:build override_flag (in a position of str_item) |
|---|
| 1540 | :info:build override_flag (in a position of patt) |
|---|
| 1541 | :info:build override_flag (in a position of expr) |
|---|
| 1542 | :info:build virtual_flag (in a position of str_item) |
|---|
| 1543 | :info:build virtual_flag (in a position of patt) |
|---|
| 1544 | :info:build virtual_flag (in a position of expr) |
|---|
| 1545 | :info:build mutable_flag (in a position of str_item) |
|---|
| 1546 | :info:build mutable_flag (in a position of patt) |
|---|
| 1547 | :info:build mutable_flag (in a position of expr) |
|---|
| 1548 | :info:build row_var_flag (in a position of str_item) |
|---|
| 1549 | :info:build row_var_flag (in a position of patt) |
|---|
| 1550 | :info:build row_var_flag (in a position of expr) |
|---|
| 1551 | :info:build private_flag (in a position of str_item) |
|---|
| 1552 | :info:build private_flag (in a position of patt) |
|---|
| 1553 | :info:build private_flag (in a position of expr) |
|---|
| 1554 | :info:build rec_flag (in a position of str_item) |
|---|
| 1555 | :info:build rec_flag (in a position of patt) |
|---|
| 1556 | :info:build rec_flag (in a position of expr) |
|---|
| 1557 | :info:build ident (in a position of str_item) |
|---|
| 1558 | :info:build ident (in a position of patt) |
|---|
| 1559 | :info:build ident (in a position of expr) |
|---|
| 1560 | :info:build module_binding (in a position of str_item) |
|---|
| 1561 | :info:build module_binding (in a position of patt) |
|---|
| 1562 | :info:build module_binding (in a position of expr) |
|---|
| 1563 | :info:build match_case (in a position of str_item) |
|---|
| 1564 | :info:build match_case (in a position of patt) |
|---|
| 1565 | :info:build match_case (in a position of expr) |
|---|
| 1566 | :info:build rec_binding (in a position of str_item) |
|---|
| 1567 | :info:build rec_binding (in a position of patt) |
|---|
| 1568 | :info:build rec_binding (in a position of expr) |
|---|
| 1569 | :info:build binding (in a position of str_item) |
|---|
| 1570 | :info:build binding (in a position of patt) |
|---|
| 1571 | :info:build binding (in a position of expr) |
|---|
| 1572 | :info:build with_constr (in a position of str_item) |
|---|
| 1573 | :info:build with_constr (in a position of patt) |
|---|
| 1574 | :info:build with_constr (in a position of expr) |
|---|
| 1575 | :info:build class_str_item (in a position of str_item) |
|---|
| 1576 | :info:build class_str_item (in a position of patt) |
|---|
| 1577 | :info:build class_str_item (in a position of expr) |
|---|
| 1578 | :info:build class_sig_item (in a position of str_item) |
|---|
| 1579 | :info:build class_sig_item (in a position of patt) |
|---|
| 1580 | :info:build class_sig_item (in a position of expr) |
|---|
| 1581 | :info:build class_expr (in a position of str_item) |
|---|
| 1582 | :info:build class_expr (in a position of patt) |
|---|
| 1583 | :info:build class_expr (in a position of expr) |
|---|
| 1584 | :info:build class_type (in a position of str_item) |
|---|
| 1585 | :info:build class_type (in a position of patt) |
|---|
| 1586 | :info:build class_type (in a position of expr) |
|---|
| 1587 | :info:build module_expr (in a position of str_item) |
|---|
| 1588 | :info:build module_expr (in a position of patt) |
|---|
| 1589 | :info:build module_expr (in a position of expr) |
|---|
| 1590 | :info:build module_type (in a position of str_item) |
|---|
| 1591 | :info:build module_type (in a position of patt) |
|---|
| 1592 | :info:build module_type (in a position of expr) |
|---|
| 1593 | :info:build expr (in a position of str_item) |
|---|
| 1594 | :info:build expr (in a position of patt) |
|---|
| 1595 | :info:build expr (in a position of expr) |
|---|
| 1596 | :info:build patt (in a position of str_item) |
|---|
| 1597 | :info:build patt (in a position of patt) |
|---|
| 1598 | :info:build patt (in a position of expr) |
|---|
| 1599 | :info:build ctyp (in a position of str_item) |
|---|
| 1600 | :info:build ctyp (in a position of patt) |
|---|
| 1601 | :info:build ctyp (in a position of expr) |
|---|
| 1602 | :info:build str_item (in a position of str_item) |
|---|
| 1603 | :info:build str_item (in a position of patt) |
|---|
| 1604 | :info:build str_item (in a position of expr) |
|---|
| 1605 | :info:build sig_item (in a position of str_item) |
|---|
| 1606 | :info:build sig_item (in a position of patt) |
|---|
| 1607 | :info:build sig_item (in a position of expr) |
|---|
| 1608 | :info:build |
|---|
| 1609 | :info:build Camlp4: Uncaught exception: Not_found |
|---|
| 1610 | :info:build |
|---|
| 1611 | :info:build |
|---|
| 1612 | :info:build OCAMLDEP4 parsing/pcoq.ml4 |
|---|
| 1613 | :info:build File "parsing/pcoq.ml4", line 186, characters 2-9: |
|---|
| 1614 | :info:build Parse error: Deprecated syntax, use EXTEND MyGramModule ... END instead |
|---|
| 1615 | :info:build OCAMLDEP4 parsing/q_util.ml4 |
|---|
| 1616 | :info:build File "parsing/argextend.ml4", line 153, characters 4-11: |
|---|
| 1617 | :info:build While expanding quotation "str_item" in a position of "expr": |
|---|
| 1618 | :info:build Parse error: EOI expected after [quotation of structure item] (in [quotation of structure item]) |
|---|
| 1619 | :info:build |
|---|
| 1620 | :info:build File "parsing/q_util.ml4", line 31, characters 38-55: |
|---|
| 1621 | :info:build While expanding quotation "patt" in a position of "expr": |
|---|
| 1622 | :info:build Parse error: EOI expected after [quotation of pattern] (in [quotation of pattern]) |
|---|
| 1623 | :info:build |
|---|
| 1624 | :info:build make[1]: *** No rule to make target `parsing/q_constr.ml4.ml.d', needed by `parsing/q_constr.cmo'. Stop. |
|---|
| 1625 | :info:build make[1]: *** Waiting for unfinished jobs.... |
|---|
| 1626 | :info:build OCAMLC -o bin/coqdep_boot |
|---|
| 1627 | :info:build rm toplevel/mltop.ml lib/refutpat.ml tactics/class_tactics.ml parsing/g_vernac.ml tools/coq_tex.ml plugins/quote/g_quote.ml parsing/q_coqast.ml plugins/romega/g_romega.ml tools/coq_makefile.ml toplevel/whelp.ml plugins/firstorder/g_ground.ml lib/compat.ml plugins/xml/dumptree.ml parsing/g_xml.ml tactics/extraargs.ml plugins/extraction/g_extraction.ml plugins/fourier/g_fourier.ml tactics/tauto.ml plugins/micromega/g_micromega.ml tactics/hipattern.ml plugins/field/field.ml plugins/dp/g_dp.ml plugins/xml/xml.ml plugins/xml/xmlentries.ml plugins/funind/g_indfun.ml plugins/ring/g_ring.ml tactics/rewrite.ml plugins/rtauto/g_rtauto.ml lib/pp.ml tactics/eauto.ml tactics/extratactics.ml parsing/g_decl_mode.ml plugins/xml/proofTree2Xml.ml parsing/lexer.ml parsing/g_proofs.ml plugins/setoid_ring/newring.ml plugins/cc/g_congruence.ml plugins/nsatz/nsatz.ml plugins/subtac/g_subtac.ml plugins/xml/acic2Xml.ml tactics/eqdecide.ml plugins/omega/g_omega.ml |
|---|
| 1628 | :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 1629 | :info:build make: *** [stage1] Error 2 |
|---|
| 1630 | :info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4' |
|---|
| 1631 | :info:build Command failed: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.3pl4" && /usr/bin/make -j2 -w world |
|---|
| 1632 | :info:build Exit code: 2 |
|---|
| 1633 | :error:build org.macports.build for port coq returned: command execution failed |
|---|
| 1634 | :debug:build Error code: CHILDSTATUS 18361 2 |
|---|
| 1635 | :debug:build Backtrace: command execution failed |
|---|
| 1636 | while executing |
|---|
| 1637 | "system -nice 0 $fullcmdstring" |
|---|
| 1638 | ("eval" body line 1) |
|---|
| 1639 | invoked from within |
|---|
| 1640 | "eval system $notty $nice \$fullcmdstring" |
|---|
| 1641 | invoked from within |
|---|
| 1642 | "command_exec build" |
|---|
| 1643 | (procedure "portbuild::build_main" line 8) |
|---|
| 1644 | invoked from within |
|---|
| 1645 | "$procedure $targetname" |
|---|
| 1646 | :info:build Warning: targets not executed for coq: org.macports.activate org.macports.build org.macports.destroot org.macports.install |
|---|
| 1647 | :notice:build Please see the log file for port coq for details: |
|---|
| 1648 | /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log |
|---|
