<86>Sep 29 12:23:50 userdel[3917809]: delete user 'rooter' <86>Sep 29 12:23:50 userdel[3917809]: removed group 'rooter' owned by 'rooter' <86>Sep 29 12:23:50 userdel[3917809]: removed shadow group 'rooter' owned by 'rooter' <86>Sep 29 12:23:50 groupadd[3917851]: group added to /etc/group: name=rooter, GID=1859 <86>Sep 29 12:23:50 groupadd[3917851]: group added to /etc/gshadow: name=rooter <86>Sep 29 12:23:50 groupadd[3917851]: new group: name=rooter, GID=1859 <86>Sep 29 12:23:50 useradd[3917882]: new user: name=rooter, UID=1859, GID=1859, home=/root, shell=/bin/bash <86>Sep 29 12:23:50 userdel[3917923]: delete user 'builder' <86>Sep 29 12:23:50 userdel[3917923]: removed group 'builder' owned by 'builder' <86>Sep 29 12:23:50 userdel[3917923]: removed shadow group 'builder' owned by 'builder' <86>Sep 29 12:23:50 groupadd[3917950]: group added to /etc/group: name=builder, GID=1860 <86>Sep 29 12:23:50 groupadd[3917950]: group added to /etc/gshadow: name=builder <86>Sep 29 12:23:50 groupadd[3917950]: new group: name=builder, GID=1860 <86>Sep 29 12:23:50 useradd[3917970]: new user: name=builder, UID=1860, GID=1860, home=/usr/src, shell=/bin/bash <13>Sep 29 12:23:54 rpmi: libxkbcommon-0.8.4-alt1 sisyphus+222759.100.1.1 1551009797 installed <13>Sep 29 12:23:54 rpmi: libpng16-1.6.36-alt1 sisyphus+219478.100.1.1 1547633315 installed <13>Sep 29 12:23:54 rpmi: libICE-1.0.9-alt1 1409902719 installed <13>Sep 29 12:23:54 rpmi: libjpeg-2:2.0.2-alt1 sisyphus+226996.100.1.1 1554902884 installed <13>Sep 29 12:23:54 rpmi: libexpat-2.4.3-alt1 p9+293696.100.1.1 1643124786 installed <13>Sep 29 12:23:54 rpmi: libSM-1.2.3-alt1 sisyphus+226734.100.2.1 1554586157 installed <13>Sep 29 12:23:54 rpmi: ocaml-runtime-4.07.1-alt3 sisyphus+221456.100.1.1 1550078082 installed <13>Sep 29 12:23:54 rpmi: libwebp7-1.0.3-alt1 p9+234901.200.1.1 1563552213 installed <13>Sep 29 12:23:54 rpmi: libnettle6-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed <13>Sep 29 12:23:54 rpmi: libmtdev-1.1.5-alt1 sisyphus+220715.100.1.1 1549364508 installed <13>Sep 29 12:23:54 rpmi: udev-rules-1:247.13-alt1 p9+313189.100.1.1 1673457063 installed <13>Sep 29 12:23:54 rpmi: libglvnd-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed <13>Sep 29 12:23:54 rpmi: libwayland-server-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed <13>Sep 29 12:23:54 rpmi: qt5-base-common-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:54 rpmi: libp11-kit-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed <13>Sep 29 12:23:54 rpmi: libtasn1-4.14-alt1 p9+235792.100.2.1 1565425233 installed <13>Sep 29 12:23:54 rpmi: qt5-svg-common-5.12.12-alt1 p9+293495.1700.4.1 1643818221 installed <13>Sep 29 12:23:54 rpmi: libhogweed4-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed <13>Sep 29 12:23:54 rpmi: rpm-build-ocaml-1.3-alt1 1494941050 installed <13>Sep 29 12:23:54 rpmi: libdatrie-0.2.9-alt1_6 1511686677 installed <13>Sep 29 12:23:54 rpmi: libthai-0.1.28-alt1_1 sisyphus+226107.100.1.1 1554123079 installed <13>Sep 29 12:23:54 rpmi: libfribidi-1.0.7-alt1 p9+238309.200.1.1 1569787041 installed <13>Sep 29 12:23:54 rpmi: libjbig-2.1-alt1 1401380921 installed <13>Sep 29 12:23:54 rpmi: libtiff5-4.0.10.0.57.f9fc01c3-alt1 sisyphus+226958.100.1.1 1554850937 installed <13>Sep 29 12:23:54 rpmi: libpixman-3:0.38.4-alt1 sisyphus+228006.100.1.1 1556013486 installed <13>Sep 29 12:23:54 rpmi: libidn2-2.2.0-alt1 p9+229971.100.2.1 1558696275 installed <13>Sep 29 12:23:54 rpmi: libgnutls30-3.6.16-alt6 p9+345962.100.2.1 1715786186 installed <13>Sep 29 12:23:54 rpmi: libts0-1.22-alt3 p9+258569.74.6.1 1602527033 installed <13>Sep 29 12:23:54 rpmi: libwacom-data-1.1-alt1 p9+238204.300.1.1 1569496607 installed <13>Sep 29 12:23:54 rpmi: libgudev-1:233-alt1 p9+235498.500.2.1 1565021350 installed <13>Sep 29 12:23:54 rpmi: libwacom-1.1-alt1 p9+238204.300.1.1 1569496607 installed <13>Sep 29 12:23:54 rpmi: libevdev-1.11.0-alt1 p9+298753.100.1.1 1650444400 installed <13>Sep 29 12:23:54 rpmi: libinput-1.18.2-alt1 p9+298753.400.2.1 1650534518 installed <13>Sep 29 12:23:54 rpmi: liblz4-1:1.9.2-alt1 p9+238696.500.1.1 1570228072 installed <13>Sep 29 12:23:54 rpmi: libgpg-error-1.36-alt1 p9+261942.140.4.1 1606237682 installed <13>Sep 29 12:23:54 rpmi: libgcrypt20-1.8.5-alt3 p9+261942.200.4.1 1606237844 installed <13>Sep 29 12:23:54 rpmi: libsystemd-1:247.13-alt1 p9+313189.100.1.1 1673457063 installed <13>Sep 29 12:23:54 rpmi: libdbus-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed <13>Sep 29 12:23:54 rpmi: libavahi-0.8-alt2 p9+270905.100.1.1 1619639855 installed <13>Sep 29 12:23:54 rpmi: libcups-2.3.3-alt7.op2 p9+289603.100.2.1 1637911367 installed <13>Sep 29 12:23:54 rpmi: libproxy-0.4.15-alt5 p9+261541.200.3.1 1605276967 installed <13>Sep 29 12:23:54 rpmi: libgraphite2-1.3.13-alt2 sisyphus+226799.100.1.1 1554648233 installed <13>Sep 29 12:23:54 rpmi: libharfbuzz-2.8.1-alt1 p9+319683.500.4.1 1689082543 installed <13>Sep 29 12:23:55 rpmi: libfreetype-2.10.1-alt1.1.p9.1 p9+260179.200.3.1 1603971391 installed <13>Sep 29 12:23:55 rpmi: fontconfig-2.13.1-alt1 p9+247340.200.3.1 1583400482 installed Updating fonts cache: <29>Sep 29 12:23:56 fontconfig: Updating fonts cache: succeeded [ DONE ] <13>Sep 29 12:23:56 rpmi: libxshmfence-1.3-alt1 sisyphus+223149.1000.2.1 1551268594 installed <13>Sep 29 12:23:56 rpmi: libwayland-client-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed <13>Sep 29 12:23:56 rpmi: libpciaccess-1:0.14-alt1 1528969624 installed <13>Sep 29 12:23:56 rpmi: libdrm-1:2.4.105-alt2 p9+271012.100.1.1 1619786664 installed <13>Sep 29 12:23:56 rpmi: libgbm-4:21.0.3-alt1 p9+271012.200.3.1 1621244963 installed <13>Sep 29 12:23:56 rpmi: libpcre2-10.33-alt1.1 sisyphus+227856.100.1.2 1555786372 installed <13>Sep 29 12:23:56 rpmi: libicu65-1:6.5.1-alt2 p9+270410.100.1.1 1619007054 installed <13>Sep 29 12:23:56 rpmi: libqt5-core-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:56 rpmi: libqt5-dbus-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:56 rpmi: libX11-locales-3:1.7.2-alt1 p9+273972.100.2.1 1623924318 installed <13>Sep 29 12:23:56 rpmi: libXdmcp-1.1.3-alt1 sisyphus+225206.600.1.2 1552949347 installed <13>Sep 29 12:23:56 rpmi: libXau-1.0.9-alt1 sisyphus+223149.200.2.1 1551268156 installed <13>Sep 29 12:23:56 rpmi: libxcb-1.13.1-alt1 sisyphus+226527.100.2.2 1554593799 installed <13>Sep 29 12:23:56 rpmi: libX11-3:1.7.2-alt1 p9+273972.100.2.1 1623924318 installed <13>Sep 29 12:23:56 rpmi: libXext-1.3.4-alt1 sisyphus+225206.700.1.2 1552949422 installed <13>Sep 29 12:23:56 rpmi: libXrender-0.9.10-alt1 p9+261891.200.2.1 1606149106 installed <13>Sep 29 12:23:56 rpmi: libXft-2.3.3-alt1 sisyphus+225206.1000.3.2 1552987714 installed <13>Sep 29 12:23:56 rpmi: libXxf86vm-1.1.4-alt2 1527672159 installed <13>Sep 29 12:23:56 rpmi: libXfixes-5.0.3-alt1 sisyphus+226736.100.2.2 1554614842 installed <13>Sep 29 12:23:56 rpmi: libGLX-mesa-4:21.0.3-alt1 p9+271012.200.3.1 1621244963 installed <13>Sep 29 12:23:56 rpmi: libEGL-mesa-4:21.0.3-alt1 p9+271012.200.3.1 1621244963 installed <13>Sep 29 12:23:56 rpmi: libEGL-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed <13>Sep 29 12:23:56 rpmi: libGLX-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed <13>Sep 29 12:23:56 rpmi: libGL-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed <13>Sep 29 12:23:56 rpmi: libcairo-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515520 installed <13>Sep 29 12:23:56 rpmi: libpango-1.44.6-alt1 p9+237353.700.2.2 1568373865 installed <13>Sep 29 12:23:56 rpmi: libXt-1.1.4-alt1 1369984716 installed <13>Sep 29 12:23:56 rpmi: libXpm-3.5.12-alt1 sisyphus+223149.400.2.1 1551268300 installed <13>Sep 29 12:23:56 rpmi: libgd3-2.2.5-alt3 sisyphus+226800.200.2.1 1554649314 installed <13>Sep 29 12:23:56 rpmi: libxcbutil-icccm-0.4.1-alt2 sisyphus+229000.100.1.1 1557152218 installed <13>Sep 29 12:23:56 rpmi: libxcbutil-1:0.4.0-alt1 1413392888 installed <13>Sep 29 12:23:56 rpmi: libxcbutil-image-0.4.0-alt1 1446204177 installed <13>Sep 29 12:23:56 rpmi: libxcbutil-keysyms-0.4.0-alt1 1446204121 installed <13>Sep 29 12:23:56 rpmi: libxcb-render-util-0.3.9-alt3 sisyphus+222674.100.1.1 1550989885 installed <13>Sep 29 12:23:56 rpmi: libxkbcommon-x11-0.8.4-alt1 sisyphus+222759.100.1.1 1551009797 installed <13>Sep 29 12:23:56 rpmi: tex-common-0.2-alt4 1244804096 installed <13>Sep 29 12:23:56 rpmi: gnuplot-common-1:5.2.8-alt2 p9+242748.100.3.1 1581434096 installed <13>Sep 29 12:23:56 rpmi: gnuplot-common-x11-1:5.2.8-alt2 p9+242748.100.3.1 1581434096 installed <13>Sep 29 12:23:56 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Sep 29 12:23:56 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Sep 29 12:23:56 rpmi: ca-certificates-2021.10.06-alt1 p9+289862.100.1.1 1637033643 installed <13>Sep 29 12:23:56 rpmi: ca-trust-0.1.2-alt1 p9+233349.100.1.1 1561655062 installed <13>Sep 29 12:23:56 rpmi: p11-kit-trust-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed <13>Sep 29 12:23:56 rpmi: libcrypto1.1-1.1.1w-alt0.p9.1 p9+356668.100.1.1 1725304346 installed <13>Sep 29 12:23:57 rpmi: libssl1.1-1.1.1w-alt0.p9.1 p9+356668.100.1.1 1725304346 installed <13>Sep 29 12:23:57 rpmi: libqt5-network-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-eglfsdeviceintegration-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-xcbqpa-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-eglfskmssupport-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-gui-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-widgets-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-printsupport-5.12.12-alt1 p9+293495.40.4.1 1643815753 installed <13>Sep 29 12:23:57 rpmi: libqt5-svg-5.12.12-alt1 p9+293495.1700.4.1 1643818221 installed <13>Sep 29 12:23:57 rpmi: gnuplot-qt-1:5.2.8-alt2 p9+242748.100.3.1 1581434096 installed <13>Sep 29 12:24:00 rpmi: ocaml-4.07.1-alt3 sisyphus+221456.100.1.1 1550078082 installed <13>Sep 29 12:24:02 rpmi: libgdbm-1.8.3-alt10 1454943313 installed <13>Sep 29 12:24:02 rpmi: python3-3.7.17-alt2 p9+350963.100.1.1 1718376947 installed <13>Sep 29 12:24:02 rpmi: libpython3-3.7.17-alt2 p9+350963.100.1.1 1718376947 installed <13>Sep 29 12:24:03 rpmi: python3-base-3.7.17-alt2 p9+350963.100.1.1 1718376947 installed <13>Sep 29 12:24:03 rpmi: python-module-google-0.4.2-alt2.1 sisyphus+228356.1500.3.1 1556633038 installed <13>Sep 29 12:24:03 rpmi: ocaml-ocamlbuild-1:0.13.1-alt2 sisyphus+226171.100.1.1 1554155542 installed <13>Sep 29 12:24:03 rpmi: ocaml-findlib-1.8.0-alt5 sisyphus+226155.100.1.2 1554177304 installed <13>Sep 29 12:24:04 rpmi: ocaml-camlp4-4.07.1-alt2 sisyphus+226146.100.1.1 1554153910 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/ocaml-menhir-20181113-alt1.nosrc.rpm (w1.gzdio) Installing ocaml-menhir-20181113-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.32874 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf menhir-20181113 + echo 'Source #0 (menhir-20181113.tar):' Source #0 (menhir-20181113.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/menhir-20181113.tar + cd menhir-20181113 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.69525 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20181113 + make PREFIX=/usr all make: Entering directory '/usr/src/RPM/BUILD/menhir-20181113' make[1]: Entering directory '/usr/src/RPM/BUILD/menhir-20181113/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild ocamldep.opt -modules General.mli > General.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli ocamldep.opt -modules General.ml > General.ml.depends ocamldep.opt -modules Convert.mli > Convert.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli ocamldep.opt -modules Convert.ml > Convert.ml.depends ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml ocamldep.opt -modules Engine.mli > Engine.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli ocamldep.opt -modules Engine.ml > Engine.ml.depends ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends ocamldep.opt -modules Printers.mli > Printers.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli ocamldep.opt -modules Printers.ml > Printers.ml.depends ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml touch menhirLib.mli ; if ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs ocamldep.opt -modules menhir.ml > menhir.ml.depends ocamldep.opt -modules back.mli > back.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml ocamldep.opt -modules back.ml > back.ml.depends ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends ocamldep.opt -modules keyword.mli > keyword.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli ocamldep.opt -modules keyword.ml > keyword.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml ocamldep.opt -modules version.ml > version.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli ocamldep.opt -modules action.ml > action.ml.depends ocamldep.opt -modules action.mli > action.mli.depends ocamldep.opt -modules IL.mli > IL.mli.depends ocamldep.opt -modules stretch.mli > stretch.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli ocamldep.opt -modules codeBits.ml > codeBits.ml.depends ocamldep.opt -modules codeBits.mli > codeBits.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli ocamldep.opt -modules settings.ml > settings.ml.depends ocamldep.opt -modules settings.mli > settings.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli ocamldep.opt -modules installation.ml > installation.ml.depends ocamldep.opt -modules installation.mli > installation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli ocamldep.opt -modules stringSet.ml > stringSet.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml ocamldep.opt -modules front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamldep.opt -modules InputFile.mli > InputFile.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli ocamldep.opt -modules anonymous.ml > anonymous.ml.depends ocamldep.opt -modules anonymous.mli > anonymous.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli ocamldep.opt -modules misc.ml > misc.ml.depends ocamldep.opt -modules misc.mli > misc.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules error.ml > error.ml.depends ocamldep.opt -modules error.mli > error.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli ocamldep.opt -modules positions.ml > positions.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml ocamldep.opt -modules stringMap.ml > stringMap.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml ocamldep.opt -modules InputFile.ml > InputFile.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli ocamldep.opt -modules tarjan.ml > tarjan.ml.depends ocamldep.opt -modules tarjan.mli > tarjan.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml ocamldep.opt -modules Driver.ml > Driver.ml.depends ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly ocamlyacc parser.mly ocamldep.opt -modules parser.mli > parser.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli ocamldep.opt -modules parser.ml > parser.ml.depends ocamldep.opt -modules option.ml > option.ml.depends ocamldep.opt -modules option.mli > option.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli ocamldep.opt -modules parserAux.ml > parserAux.ml.depends ocamldep.opt -modules parserAux.mli > parserAux.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ocamllex.opt -q lexpointfree.mll ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml ocamldep.opt -modules Drop.ml > Drop.ml.depends ocamldep.opt -modules Drop.mli > Drop.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml ocamldep.opt -modules IO.ml > IO.ml.depends ocamldep.opt -modules IO.mli > IO.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli ocamldep.opt -modules infer.ml > infer.ml.depends ocamldep.opt -modules infer.mli > infer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml ocamldep.opt -modules interface.ml > interface.ml.depends ocamldep.opt -modules interface.mli > interface.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli ocamldep.opt -modules printer.ml > printer.ml.depends ocamldep.opt -modules printer.mli > printer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli ocamllex.opt -q lineCount.mll ocamldep.opt -modules lineCount.ml > lineCount.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamldep.opt -modules tokenType.ml > tokenType.ml.depends ocamldep.opt -modules tokenType.mli > tokenType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml ocamllex.opt -q lexdep.mll ocamldep.opt -modules lexdep.ml > lexdep.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml ocamllex.opt -q lexmli.mll ocamldep.opt -modules lexmli.ml > lexmli.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends ocamldep.opt -modules gMap.ml > gMap.ml.depends ocamldep.opt -modules gSet.ml > gSet.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli ocamldep.opt -modules Boolean.ml > Boolean.ml.depends ocamldep.opt -modules Boolean.mli > Boolean.mli.depends ocamldep.opt -modules Fix.mli > Fix.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli ocamldep.opt -modules Fix.ml > Fix.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends ocamldep.opt -modules Seq.mli > Seq.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli ocamldep.opt -modules Seq.ml > Seq.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli ocamldep.opt -modules Maps.ml > Maps.ml.depends ocamldep.opt -modules Maps.mli > Maps.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli ocamldep.opt -modules patricia.ml > patricia.ml.depends ocamldep.opt -modules patricia.mli > patricia.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml ocamldep.opt -modules time.ml > time.ml.depends ocamldep.opt -modules time.mli > time.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml ocamllex.opt -q lexer.mll ocamldep.opt -modules lexer.ml > lexer.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli ocamllex.opt -q chopInlined.mll ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml ocamldep.opt -modules listMonad.ml > listMonad.ml.depends ocamldep.opt -modules listMonad.mli > listMonad.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml ocamldep.opt -modules reachability.ml > reachability.ml.depends ocamldep.opt -modules reachability.mli > reachability.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends ocamldep.opt -modules SortInference.mli > SortInference.mli.depends ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends ocamldep.opt -modules Memoize.ml > Memoize.ml.depends ocamldep.opt -modules Memoize.mli > Memoize.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli ocamldep.opt -modules SortInference.ml > SortInference.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml ocamldep.opt -modules Unifier.ml > Unifier.ml.depends ocamldep.opt -modules Unifier.mli > Unifier.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli ocamldep.opt -modules mark.ml > mark.ml.depends ocamldep.opt -modules mark.mli > mark.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli ocamldep.opt -modules unionFind.ml > unionFind.ml.depends ocamldep.opt -modules unionFind.mli > unionFind.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml ocamldep.opt -modules grammar.ml > grammar.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml ocamldep.opt -modules item.ml > item.ml.depends ocamldep.opt -modules item.mli > item.mli.depends ocamldep.opt -modules lookahead.mli > lookahead.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml ocamldep.opt -modules lr0.ml > lr0.ml.depends ocamldep.opt -modules lr0.mli > lr0.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml ocamldep.opt -modules lr1.ml > lr1.ml.depends ocamldep.opt -modules lr1.mli > lr1.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml ocamldep.opt -modules slr.ml > slr.ml.depends ocamldep.opt -modules slr.mli > slr.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli ocamldep.opt -modules codePieces.ml > codePieces.ml.depends ocamldep.opt -modules codePieces.mli > codePieces.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli ocamldep.opt -modules default.ml > default.ml.depends ocamldep.opt -modules default.mli > default.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli ocamldep.opt -modules conflict.ml > conflict.ml.depends ocamldep.opt -modules conflict.mli > conflict.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli ocamldep.opt -modules dot.ml > dot.ml.depends ocamldep.opt -modules dot.mli > dot.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml ocamldep.opt -modules derivation.ml > derivation.ml.depends ocamldep.opt -modules derivation.mli > derivation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml ocamldep.opt -modules invariant.ml > invariant.ml.depends ocamldep.opt -modules invariant.mli > invariant.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli ocamldep.opt -modules inliner.ml > inliner.ml.depends ocamldep.opt -modules inliner.mli > inliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli ocamldep.opt -modules traverse.ml > traverse.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml ocamldep.opt -modules interpret.ml > interpret.ml.depends ocamldep.opt -modules interpret.mli > interpret.mli.depends ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends ocamldep.opt -modules cst.mli > cst.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli ocamldep.opt -modules cst.ml > cst.ml.depends ocamldep.opt -modules pprint.ml > pprint.ml.depends ocamldep.opt -modules pprint.mli > pprint.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml ocamllex.opt -q segment.mll ocamldep.opt -modules segment.ml > segment.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml ocamllex.opt -q sentenceLexer.mll ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ocamlyacc sentenceParser.mly ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli ocamldep.opt -modules astar.ml > astar.ml.depends ocamldep.opt -modules astar.mli > astar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml ocamldep.opt -modules MySet.ml > MySet.ml.depends ocamldep.opt -modules MySet.mli > MySet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli ocamldep.opt -modules Trie.ml > Trie.ml.depends ocamldep.opt -modules Trie.mli > Trie.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(426), max: 12, min: 2, average(total): 4.412(1.136) } make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild ocamldep.opt -modules General.mli > General.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli ocamldep.opt -modules General.ml > General.ml.depends ocamldep.opt -modules Convert.mli > Convert.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli ocamldep.opt -modules Convert.ml > Convert.ml.depends ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml ocamldep.opt -modules Engine.mli > Engine.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli ocamldep.opt -modules Engine.ml > Engine.ml.depends ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends ocamldep.opt -modules Printers.mli > Printers.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli ocamldep.opt -modules Printers.ml > Printers.ml.depends ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml touch menhirLib.mli ; if ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs ocamldep.opt -modules menhir.ml > menhir.ml.depends ocamldep.opt -modules back.mli > back.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml ocamldep.opt -modules back.ml > back.ml.depends ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends ocamldep.opt -modules keyword.mli > keyword.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli ocamldep.opt -modules keyword.ml > keyword.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml ocamldep.opt -modules version.ml > version.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli ocamldep.opt -modules action.ml > action.ml.depends ocamldep.opt -modules action.mli > action.mli.depends ocamldep.opt -modules IL.mli > IL.mli.depends ocamldep.opt -modules stretch.mli > stretch.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli ocamldep.opt -modules codeBits.ml > codeBits.ml.depends ocamldep.opt -modules codeBits.mli > codeBits.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli ocamldep.opt -modules settings.ml > settings.ml.depends ocamldep.opt -modules settings.mli > settings.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli ocamldep.opt -modules installation.ml > installation.ml.depends ocamldep.opt -modules installation.mli > installation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli ocamldep.opt -modules stringSet.ml > stringSet.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml ocamldep.opt -modules front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamldep.opt -modules InputFile.mli > InputFile.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli ocamldep.opt -modules anonymous.ml > anonymous.ml.depends ocamldep.opt -modules anonymous.mli > anonymous.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli ocamldep.opt -modules misc.ml > misc.ml.depends ocamldep.opt -modules misc.mli > misc.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules error.ml > error.ml.depends ocamldep.opt -modules error.mli > error.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli ocamldep.opt -modules positions.ml > positions.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml ocamldep.opt -modules stringMap.ml > stringMap.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml ocamldep.opt -modules InputFile.ml > InputFile.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli ocamldep.opt -modules tarjan.ml > tarjan.ml.depends ocamldep.opt -modules tarjan.mli > tarjan.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml ocamldep.opt -modules Driver.ml > Driver.ml.depends ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.depends ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends ocamldep.opt -modules option.mli > option.mli.depends ocamldep.opt -modules parserAux.mli > parserAux.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 bytes. The trace table occupies roughly 8 bytes. ocamldep.opt -modules parser.mli > parser.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli ocamldep.opt -modules parser.ml > parser.ml.depends ocamldep.opt -modules newRuleSyntax.ml > newRuleSyntax.ml.depends ocamldep.opt -modules parserAux.ml > parserAux.ml.depends ocamllex.opt -q lexpointfree.mll ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml ocamldep.opt -modules option.ml > option.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmx newRuleSyntax.ml ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --list-errors > parser.mly.auto.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 105 error messages. Read 105 sample input sentences and 50 error messages. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 50 error messages. ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml ocamldep.opt -modules Drop.ml > Drop.ml.depends ocamldep.opt -modules Drop.mli > Drop.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml ocamldep.opt -modules IO.ml > IO.ml.depends ocamldep.opt -modules IO.mli > IO.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli ocamldep.opt -modules infer.ml > infer.ml.depends ocamldep.opt -modules infer.mli > infer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml ocamldep.opt -modules interface.ml > interface.ml.depends ocamldep.opt -modules interface.mli > interface.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli ocamldep.opt -modules printer.ml > printer.ml.depends ocamldep.opt -modules printer.mli > printer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli ocamllex.opt -q lineCount.mll ocamldep.opt -modules lineCount.ml > lineCount.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamldep.opt -modules tokenType.ml > tokenType.ml.depends ocamldep.opt -modules tokenType.mli > tokenType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml ocamllex.opt -q lexdep.mll ocamldep.opt -modules lexdep.ml > lexdep.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml ocamllex.opt -q lexmli.mll ocamldep.opt -modules lexmli.ml > lexmli.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends ocamldep.opt -modules gMap.ml > gMap.ml.depends ocamldep.opt -modules gSet.ml > gSet.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli ocamldep.opt -modules Boolean.ml > Boolean.ml.depends ocamldep.opt -modules Boolean.mli > Boolean.mli.depends ocamldep.opt -modules Fix.mli > Fix.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli ocamldep.opt -modules Fix.ml > Fix.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends ocamldep.opt -modules Seq.mli > Seq.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli ocamldep.opt -modules Seq.ml > Seq.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli ocamldep.opt -modules Maps.ml > Maps.ml.depends ocamldep.opt -modules Maps.mli > Maps.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli ocamldep.opt -modules patricia.ml > patricia.ml.depends ocamldep.opt -modules patricia.mli > patricia.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml ocamldep.opt -modules time.ml > time.ml.depends ocamldep.opt -modules time.mli > time.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml ocamllex.opt -q lexer.mll ocamldep.opt -modules lexer.ml > lexer.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli ocamllex.opt -q chopInlined.mll ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml ocamldep.opt -modules listMonad.ml > listMonad.ml.depends ocamldep.opt -modules listMonad.mli > listMonad.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml ocamldep.opt -modules reachability.ml > reachability.ml.depends ocamldep.opt -modules reachability.mli > reachability.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends ocamldep.opt -modules SortInference.mli > SortInference.mli.depends ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends ocamldep.opt -modules Memoize.ml > Memoize.ml.depends ocamldep.opt -modules Memoize.mli > Memoize.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli ocamldep.opt -modules SortInference.ml > SortInference.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml ocamldep.opt -modules Unifier.ml > Unifier.ml.depends ocamldep.opt -modules Unifier.mli > Unifier.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli ocamldep.opt -modules mark.ml > mark.ml.depends ocamldep.opt -modules mark.mli > mark.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli ocamldep.opt -modules unionFind.ml > unionFind.ml.depends ocamldep.opt -modules unionFind.mli > unionFind.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml ocamldep.opt -modules grammar.ml > grammar.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml ocamldep.opt -modules item.ml > item.ml.depends ocamldep.opt -modules item.mli > item.mli.depends ocamldep.opt -modules lookahead.mli > lookahead.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml ocamldep.opt -modules lr0.ml > lr0.ml.depends ocamldep.opt -modules lr0.mli > lr0.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml ocamldep.opt -modules lr1.ml > lr1.ml.depends ocamldep.opt -modules lr1.mli > lr1.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml ocamldep.opt -modules slr.ml > slr.ml.depends ocamldep.opt -modules slr.mli > slr.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli ocamldep.opt -modules codePieces.ml > codePieces.ml.depends ocamldep.opt -modules codePieces.mli > codePieces.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli ocamldep.opt -modules default.ml > default.ml.depends ocamldep.opt -modules default.mli > default.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli ocamldep.opt -modules conflict.ml > conflict.ml.depends ocamldep.opt -modules conflict.mli > conflict.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli ocamldep.opt -modules dot.ml > dot.ml.depends ocamldep.opt -modules dot.mli > dot.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml ocamldep.opt -modules derivation.ml > derivation.ml.depends ocamldep.opt -modules derivation.mli > derivation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml ocamldep.opt -modules invariant.ml > invariant.ml.depends ocamldep.opt -modules invariant.mli > invariant.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli ocamldep.opt -modules inliner.ml > inliner.ml.depends ocamldep.opt -modules inliner.mli > inliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli ocamldep.opt -modules traverse.ml > traverse.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml ocamldep.opt -modules interpret.ml > interpret.ml.depends ocamldep.opt -modules interpret.mli > interpret.mli.depends ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends ocamldep.opt -modules cst.mli > cst.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli ocamldep.opt -modules cst.ml > cst.ml.depends ocamldep.opt -modules pprint.ml > pprint.ml.depends ocamldep.opt -modules pprint.mli > pprint.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml ocamllex.opt -q segment.mll ocamldep.opt -modules segment.ml > segment.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml ocamllex.opt -q sentenceLexer.mll ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep 'ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly Grammar has 6 nonterminal symbols, among which 2 start symbols. Grammar has 6 terminal symbols. Grammar has 11 productions. Built an LR(0) automaton with 21 states. The grammar is SLR(1). Built an LR(1) automaton with 27 states. 13 out of 27 states have a default reduction. 7 out of 27 states are represented. 0 out of 16 symbols keep track of their start position. 0 out of 16 symbols keep track of their end position. The action table is 189 entries; 32 non-zero; 43 compressed. The action table occupies roughly 136 bytes. The goto table is 216 entries; 19 non-zero; 46 compressed. The goto table occupies roughly 144 bytes. The error table occupies roughly 56 bytes. The default_reduction table occupies roughly 48 bytes. The lhs table occupies roughly 40 bytes. The trace table occupies roughly 8 bytes. ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli ocamldep.opt -modules astar.ml > astar.ml.depends ocamldep.opt -modules astar.mli > astar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml ocamldep.opt -modules MySet.ml > MySet.ml.depends ocamldep.opt -modules MySet.mli > MySet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli ocamldep.opt -modules Trie.ml > Trie.ml.depends ocamldep.opt -modules Trie.mli > Trie.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 20(434), max: 12, min: 2, average(total): 4.100(1.143) } make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild cp -p fancy-parser.mly parser.mly ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.depends ocamldep.opt -modules error.mli > error.mli.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamldep.opt -modules misc.mli > misc.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamldep.opt -modules action.mli > action.mli.depends ocamldep.opt -modules IL.mli > IL.mli.depends ocamldep.opt -modules stretch.mli > stretch.mli.depends ocamldep.opt -modules keyword.mli > keyword.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli ocamldep.opt -modules InputFile.mli > InputFile.mli.depends ocamldep.opt -modules settings.mli > settings.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml ocamldep.opt -modules option.mli > option.mli.depends ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules parserAux.mli > parserAux.mli.depends ocamldep.opt -modules General.mli > General.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli ocamldep.opt -modules General.ml > General.ml.depends ocamldep.opt -modules Convert.mli > Convert.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli ocamldep.opt -modules Convert.ml > Convert.ml.depends ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml ocamldep.opt -modules Engine.mli > Engine.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli ocamldep.opt -modules Engine.ml > Engine.ml.depends ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends ocamldep.opt -modules Printers.mli > Printers.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli ocamldep.opt -modules Printers.ml > Printers.ml.depends ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 bytes. The trace table occupies roughly 8 bytes. # Parallel statistics: { count(total): 3(75), max: 12, min: 3, average(total): 7.000(1.240) } Bootstrap successful. make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild ocamldep.opt -modules keyword.mli > keyword.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli ocamldep.opt -modules keyword.ml > keyword.ml.depends ocamldep.opt -modules version.ml > version.ml.depends ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml touch menhirSdk.mli ; if ocamlopt.opt -pack -g -bin-annot keyword.cmx version.cmx cmly_format.cmx cmly_api.cmx cmly_read.cmx -o menhirSdk.cmx ; then rm -f menhirSdk.mli ; else rm -f menhirSdk.mli ; exit 1; fi ocamlopt.opt -a menhirSdk.cmx -o menhirSdk.cmxa ocamlopt.opt -shared -linkall menhirSdk.cmxa -o menhirSdk.cmxs # Parallel statistics: { count(total): 1(23), max: 2, min: 2, average(total): 2.000(1.043) } make[1]: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113/src' Creating menhirLib.ml Creating menhirLib.mli make: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.12995 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/ocaml-menhir-buildroot + : + /bin/rm -rf -- /usr/src/tmp/ocaml-menhir-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd menhir-20181113 + mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml + make OCAMLFIND_DESTDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml PREFIX=/usr/src/tmp/ocaml-menhir-buildroot/usr install make: Entering directory '/usr/src/RPM/BUILD/menhir-20181113' mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/bin install src/_stage2/menhir.native /usr/src/tmp/ocaml-menhir-buildroot/usr/bin/menhir mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir install -m 644 src/standard.mly /usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.o Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmxs Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmx Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmo Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmi Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.ml Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.mli Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/META Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.o Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmx Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmo Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmi Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/META if [ -f doc/manual.pdf ] ; then \ mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir /usr/src/tmp/ocaml-menhir-buildroot/usr/share/man/man1 ; \ cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir ; \ cp -r doc/menhir.1 /usr/src/tmp/ocaml-menhir-buildroot/usr/share/man/man1 ; \ fi make: Leaving directory '/usr/src/RPM/BUILD/menhir-20181113' + mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + mv /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual.html /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual.pdf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual001.png /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual002.png /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual003.png /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113/ + rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir + rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113/src/ + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/ocaml-menhir-buildroot (auto) removed './usr/share/doc/ocaml-menhir-20181113/demos/generate-printers/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/generate-printers-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-two/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-two-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-param/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-param-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-new-syntax-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-inspection/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-inspection-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-incremental/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-incremental-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-ast-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20181113/demos/calc-alias/.gitignore' mode of './usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/ocaml/menhirLib/menhirLib.cmxs' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/ocaml-menhir-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/ocaml-menhir-buildroot/ (default) Compressing files in /usr/src/tmp/ocaml-menhir-buildroot (auto) Adjusting library links in /usr/src/tmp/ocaml-menhir-buildroot ./usr/lib64: Verifying ELF objects in /usr/src/tmp/ocaml-menhir-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=relaxed,unresolved=normal) verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_backtrace_pos verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_input_value verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_young_ptr verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_compare verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_Assert_failure verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_young_limit verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__31 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_Failure verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_End_of_file verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_call_gc verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__max_1031 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_ml_array_bound_error verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__invalid_arg_1008 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__list__flatten_1119 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_c_call verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_fresh_oo_id verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__really_input_string_1268 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__array__init_1022 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc1 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__format__fprintf_2481 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__printf__sprintf_1751 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__$5e_1118 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__close_in_noerr_1296 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_allocN verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__array__to_list_1090 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_raise_exn verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__set__fold_1279 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__list__map_1124 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__open_in_gen_1241 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__set__fun_3498 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__set__add_1098 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__array__map_1066 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__list__iter_1148 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_string_notequal verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc2 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__format__pp_print_string_2037 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_string_equal verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__bytes__make_1014 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_backtrace_pos verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_equal verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_young_ptr verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_compare verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_exn_Assert_failure verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_young_limit verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_make_vect verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc_dummy verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_create_bytes verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_exn_Division_by_zero verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_call_gc verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__max_1031 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_ml_array_bound_error verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__invalid_arg_1008 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__printf__fprintf_1730 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__char__chr_1004 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__fold_left_1109 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__lexing__from_string_1859 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_int_compare verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__mapi_1084 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_update_dummy verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_c_call verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__init_1022 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__stable_sort_1358 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__printf__sprintf_1751 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__blit_1051 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__sub_1041 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_raise_exn verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__map_1124 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__iter_1057 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__string_of_int_1149 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__stable_sort_1813 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlCamlinternalLazy__force_lazy_block_1062 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__iter_1148 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc2 Hardlinking identical .pyc and .pyo files Processing files: ocaml-menhir-20181113-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.35146 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20181113 + DOCDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + export DOCDIR + rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + /bin/mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + cp -prL CHANGES.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + cp -prL demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + cp -prL INSTALLATION.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + cp -prL README.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + cp -prL LICENSE /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181113 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.knK4iD find-provides: running scripts (alternatives,debuginfo,lib,ocaml,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.gNfv40 find-requires: running scripts (cpp,debuginfo,files,lib,ocaml,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: ocaml4-menhir = 20181113-alt1, ocaml-cmi(MenhirLib) = 4.07-569EA5F8, ocaml-cmi(MenhirSdk) = 4.07-C77DB41E, ocaml-cmx(MenhirLib) = 4.07-B6AAEE8B, ocaml-cmx(MenhirSdk) = 4.07-7407F852 Requires: /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.10)(64bit), libc.so.6(GLIBC_2.11)(64bit), libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.15)(64bit), libc.so.6(GLIBC_2.16)(64bit), libc.so.6(GLIBC_2.17)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libc.so.6(GLIBC_2.9)(64bit), libdl.so.2(GLIBC_2.2.5)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), ocaml-cmi(CamlinternalFormatBasics) = 4.07-E065A8B8, ocaml-cmi(CamlinternalLazy) = 4.07-99FEAF3F, ocaml-cmi(Stdlib) = 4.07-785BC435, ocaml-cmi(Stdlib__array) = 4.07-F10B61E5, ocaml-cmi(Stdlib__buffer) = 4.07-47741A30, ocaml-cmi(Stdlib__bytes) = 4.07-32F2C8F5, ocaml-cmi(Stdlib__char) = 4.07-6383A30A, ocaml-cmi(Stdlib__format) = 4.07-DED827A8, ocaml-cmi(Stdlib__int32) = 4.07-9FACE80A, ocaml-cmi(Stdlib__lazy) = 4.07-D20DD5C9, ocaml-cmi(Stdlib__lexing) = 4.07-5DAB01A8, ocaml-cmi(Stdlib__list) = 4.07-6AC77BA2, ocaml-cmi(Stdlib__obj) = 4.07-DEE2AAA1, ocaml-cmi(Stdlib__printf) = 4.07-1E129649, ocaml-cmi(Stdlib__seq) = 4.07-5714D5DA, ocaml-cmi(Stdlib__set) = 4.07-A5267232, ocaml-cmi(Stdlib__string) = 4.07-CF3A35A6, ocaml-cmi(Stdlib__sys) = 4.07-083703B1, ocaml-cmi(Stdlib__uchar) = 4.07-6D473D03, ocaml-cmx(CamlinternalLazy) = 4.07-7F96A3E7, ocaml-cmx(Stdlib) = 4.07-B5073F3F, ocaml-cmx(Stdlib__array) = 4.07-5C70929F, ocaml-cmx(Stdlib__bytes) = 4.07-20964396, ocaml-cmx(Stdlib__char) = 4.07-2175B6CF, ocaml-cmx(Stdlib__format) = 4.07-769C6718, ocaml-cmx(Stdlib__lexing) = 4.07-91F01FBC, ocaml-cmx(Stdlib__list) = 4.07-B7DA3929, ocaml-cmx(Stdlib__printf) = 4.07-0C2D719E, ocaml-cmx(Stdlib__set) = 4.07-4308CC63, ocaml-cmx(Stdlib__string) = 4.07-256215C1, ocaml-cmx(Stdlib__sys) = 4.07-1CBE7BE8, rtld(GNU_HASH) Obsoletes: ocaml4-menhir Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.sfyxis Creating ocaml-menhir-debuginfo package Processing files: ocaml-menhir-debuginfo-20181113-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4w1Z0W find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KOMhcv find-requires: running scripts (debuginfo) Requires: ocaml-menhir = 20181113-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libdl.so.2), debug64(libm.so.6) Adding to ocaml-menhir-debuginfo a strict dependency on ocaml-menhir Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-20181113-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-debuginfo-20181113-alt1.x86_64.rpm (w2.lzdio) 14.37user 10.29system 0:24.24elapsed 101%CPU (0avgtext+0avgdata 28924maxresident)k 0inputs+0outputs (0major+2683001minor)pagefaults 0swaps 4.58user 3.04system 0:43.48elapsed 17%CPU (0avgtext+0avgdata 135444maxresident)k 32776inputs+0outputs (0major+307390minor)pagefaults 0swaps --- ocaml-menhir-20181113-alt1.x86_64.rpm.repo 2019-04-02 05:46:51.000000000 +0000 +++ ocaml-menhir-20181113-alt1.x86_64.rpm.hasher 2024-09-29 12:24:31.407338980 +0000 @@ -244,3 +244,3 @@ Obsoletes: ocaml4-menhir -File: /usr/bin/menhir 100755 root:root 15ef5b9e38046144ae574bd0b3c5b569 +File: /usr/bin/menhir 100755 root:root 40ee72bd13c634a0ab83df975773b39e File: /usr/lib64/ocaml/menhirLib 40755 root:root @@ -250,3 +250,3 @@ File: /usr/lib64/ocaml/menhirLib/menhirLib.cmx 100644 root:root 655eaa68617ec8f07f6a1471be2b24eb -File: /usr/lib64/ocaml/menhirLib/menhirLib.cmxs 100644 root:root 6c5a067333d811bd5bff8224d5631368 +File: /usr/lib64/ocaml/menhirLib/menhirLib.cmxs 100644 root:root 68820f6fd7ab2027da27192d85035201 File: /usr/lib64/ocaml/menhirLib/menhirLib.ml 100644 root:root 87dafe0d9142ee4a5a223d7da60180fc @@ -259,3 +259,3 @@ File: /usr/lib64/ocaml/menhirSdk/menhirSdk.cmx 100644 root:root 4690237cfc3ee46e012726225b3895ba -File: /usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs 100644 root:root 7236b349053404475704b3340c80e8d9 +File: /usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs 100644 root:root 1f91101e57f44f69be9b0d966a16793f File: /usr/lib64/ocaml/menhirSdk/menhirSdk.o 100644 root:root 011beabe926a45473044255c8918b57b @@ -434,2 +434,2 @@ File: /usr/share/menhir/standard.mly 100644 root:root 23ccceda2d831c06f3848145271be1c9 -RPMIdentity: 46c972776c8ca1cae27360b17f557e560f129323f8fd4ffd7da562b187b83b0b512338bc0f66b5ea5104056b6b76adc6720a7703a3ece5e912e9c40d97a50541 +RPMIdentity: 1a8582c9bb08cabd14f217c7464d4f77fb9474c19b73959afa3f7ea7bbb72485e9b7b20c0aa50c67eaefb81c1b53451869ca7bc6dbe00e3462fb4c0a77d548aa --- ocaml-menhir-debuginfo-20181113-alt1.x86_64.rpm.repo 2019-04-02 05:46:51.000000000 +0000 +++ ocaml-menhir-debuginfo-20181113-alt1.x86_64.rpm.hasher 2024-09-29 12:24:31.479340384 +0000 @@ -1,10 +1,10 @@ -/usr/lib/debug/.build-id/41 40755 root:root -/usr/lib/debug/.build-id/41/2a29f26ce859c2c8a19bf5f291790676af1cc1 120777 root:root ../../../../lib64/ocaml/menhirSdk/menhirSdk.cmxs -/usr/lib/debug/.build-id/41/2a29f26ce859c2c8a19bf5f291790676af1cc1.debug 120777 root:root ../../usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug -/usr/lib/debug/.build-id/4f 40755 root:root -/usr/lib/debug/.build-id/4f/eb6b4e5bb986ccd3dfde0a1c1e0b19def3424d 120777 root:root ../../../../lib64/ocaml/menhirLib/menhirLib.cmxs -/usr/lib/debug/.build-id/4f/eb6b4e5bb986ccd3dfde0a1c1e0b19def3424d.debug 120777 root:root ../../usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug -/usr/lib/debug/.build-id/96 40755 root:root -/usr/lib/debug/.build-id/96/79d9f57a8b843d01f6ccd02fefd283582fc322 120777 root:root ../../../../bin/menhir -/usr/lib/debug/.build-id/96/79d9f57a8b843d01f6ccd02fefd283582fc322.debug 120777 root:root ../../usr/bin/menhir.debug +/usr/lib/debug/.build-id/40 40755 root:root +/usr/lib/debug/.build-id/40/22ea8b67f1664b6c70b2997f34f5c5acd6f64d 120777 root:root ../../../../lib64/ocaml/menhirSdk/menhirSdk.cmxs +/usr/lib/debug/.build-id/40/22ea8b67f1664b6c70b2997f34f5c5acd6f64d.debug 120777 root:root ../../usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug +/usr/lib/debug/.build-id/83 40755 root:root +/usr/lib/debug/.build-id/83/3835f4ce12e77f026f1d14285f9d9ad264fe92 120777 root:root ../../../../lib64/ocaml/menhirLib/menhirLib.cmxs +/usr/lib/debug/.build-id/83/3835f4ce12e77f026f1d14285f9d9ad264fe92.debug 120777 root:root ../../usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug +/usr/lib/debug/.build-id/ee 40755 root:root +/usr/lib/debug/.build-id/ee/8c88a8446bda31fa1658f4a9adcf147092fced 120777 root:root ../../../../bin/menhir +/usr/lib/debug/.build-id/ee/8c88a8446bda31fa1658f4a9adcf147092fced.debug 120777 root:root ../../usr/bin/menhir.debug /usr/lib/debug/usr/bin/menhir.debug 100644 root:root @@ -146,17 +146,17 @@ Provides: ocaml-menhir-debuginfo = 20181113-alt1:sisyphus+226168.100.1.4 -File: /usr/lib/debug/.build-id/41 40755 root:root -File: /usr/lib/debug/.build-id/41/2a29f26ce859c2c8a19bf5f291790676af1cc1 120777 root:root ../../../../lib64/ocaml/menhirSdk/menhirSdk.cmxs -File: /usr/lib/debug/.build-id/41/2a29f26ce859c2c8a19bf5f291790676af1cc1.debug 120777 root:root ../../usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug -File: /usr/lib/debug/.build-id/4f 40755 root:root -File: /usr/lib/debug/.build-id/4f/eb6b4e5bb986ccd3dfde0a1c1e0b19def3424d 120777 root:root ../../../../lib64/ocaml/menhirLib/menhirLib.cmxs -File: /usr/lib/debug/.build-id/4f/eb6b4e5bb986ccd3dfde0a1c1e0b19def3424d.debug 120777 root:root ../../usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug -File: /usr/lib/debug/.build-id/96 40755 root:root -File: /usr/lib/debug/.build-id/96/79d9f57a8b843d01f6ccd02fefd283582fc322 120777 root:root ../../../../bin/menhir -File: /usr/lib/debug/.build-id/96/79d9f57a8b843d01f6ccd02fefd283582fc322.debug 120777 root:root ../../usr/bin/menhir.debug -File: /usr/lib/debug/usr/bin/menhir.debug 100644 root:root 558cb084d52fdc6c63aeb8eda7dfa8c4 +File: /usr/lib/debug/.build-id/40 40755 root:root +File: /usr/lib/debug/.build-id/40/22ea8b67f1664b6c70b2997f34f5c5acd6f64d 120777 root:root ../../../../lib64/ocaml/menhirSdk/menhirSdk.cmxs +File: /usr/lib/debug/.build-id/40/22ea8b67f1664b6c70b2997f34f5c5acd6f64d.debug 120777 root:root ../../usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug +File: /usr/lib/debug/.build-id/83 40755 root:root +File: /usr/lib/debug/.build-id/83/3835f4ce12e77f026f1d14285f9d9ad264fe92 120777 root:root ../../../../lib64/ocaml/menhirLib/menhirLib.cmxs +File: /usr/lib/debug/.build-id/83/3835f4ce12e77f026f1d14285f9d9ad264fe92.debug 120777 root:root ../../usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug +File: /usr/lib/debug/.build-id/ee 40755 root:root +File: /usr/lib/debug/.build-id/ee/8c88a8446bda31fa1658f4a9adcf147092fced 120777 root:root ../../../../bin/menhir +File: /usr/lib/debug/.build-id/ee/8c88a8446bda31fa1658f4a9adcf147092fced.debug 120777 root:root ../../usr/bin/menhir.debug +File: /usr/lib/debug/usr/bin/menhir.debug 100644 root:root 7952df8d64dd2b5b2995bdbacaef6baf File: /usr/lib/debug/usr/lib64/ocaml 40755 root:root File: /usr/lib/debug/usr/lib64/ocaml/menhirLib 40755 root:root -File: /usr/lib/debug/usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug 100644 root:root e2fb338ec9a44f4106ce8631e95c6f21 +File: /usr/lib/debug/usr/lib64/ocaml/menhirLib/menhirLib.cmxs.debug 100644 root:root f41fbe9f471458e12cff6b0c41d33cd0 File: /usr/lib/debug/usr/lib64/ocaml/menhirSdk 40755 root:root -File: /usr/lib/debug/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug 100644 root:root 90fb7f13098f12e54df0d03d88eebe5d +File: /usr/lib/debug/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs.debug 100644 root:root f2be7776011b66a8d066521343499c41 File: /usr/src/debug/menhir-20181113 40755 root:root @@ -285,2 +285,2 @@ File: /usr/src/debug/menhir-20181113/src/standard.mly 100644 root:root 23ccceda2d831c06f3848145271be1c9 -RPMIdentity: 86a1c193971a54a9acb3d6c42787180f6dd69576ab4015833f89dfdac4a426b2c85e0e010e9f728bf8a450b56bdee2aae2346ba103be9af1dbf437c564812e08 +RPMIdentity: b2c46be4d6e8f911751ad6575179498f8329cfae8d4a0ea638f8724c60ad99e2167b31f8d75fad8225867a98ce02071ccf91741e89cc5543b8558b58829080de