<86>Aug 21 04:20:32 userdel[12134]: delete user 'rooter' <86>Aug 21 04:20:32 userdel[12134]: removed group 'rooter' owned by 'rooter' <86>Aug 21 04:20:32 userdel[12134]: removed shadow group 'rooter' owned by 'rooter' <86>Aug 21 04:20:32 groupadd[12159]: group added to /etc/group: name=rooter, GID=567 <86>Aug 21 04:20:32 groupadd[12159]: group added to /etc/gshadow: name=rooter <86>Aug 21 04:20:32 groupadd[12159]: new group: name=rooter, GID=567 <86>Aug 21 04:20:32 useradd[12176]: new user: name=rooter, UID=567, GID=567, home=/root, shell=/bin/bash <86>Aug 21 04:20:32 userdel[12213]: delete user 'builder' <86>Aug 21 04:20:32 userdel[12213]: removed group 'builder' owned by 'builder' <86>Aug 21 04:20:32 userdel[12213]: removed shadow group 'builder' owned by 'builder' <86>Aug 21 04:20:32 groupadd[12240]: group added to /etc/group: name=builder, GID=568 <86>Aug 21 04:20:32 groupadd[12240]: group added to /etc/gshadow: name=builder <86>Aug 21 04:20:32 groupadd[12240]: new group: name=builder, GID=568 <86>Aug 21 04:20:32 useradd[12256]: new user: name=builder, UID=568, GID=568, home=/usr/src, shell=/bin/bash <13>Aug 21 04:20:36 rpmi: libxkbcommon-0.8.4-alt1 sisyphus+222759.100.1.1 1551009797 installed <13>Aug 21 04:20:37 rpmi: libpng16-1.6.36-alt1 sisyphus+219478.100.1.1 1547633315 installed <13>Aug 21 04:20:37 rpmi: libICE-1.0.9-alt1 1409902719 installed <13>Aug 21 04:20:37 rpmi: libjpeg-2:2.0.2-alt1 sisyphus+226996.100.1.1 1554902884 installed <13>Aug 21 04:20:37 rpmi: libexpat-2.2.4-alt1 1503305341 installed <13>Aug 21 04:20:37 rpmi: libSM-1.2.3-alt1 sisyphus+226734.100.2.1 1554586157 installed <13>Aug 21 04:20:37 rpmi: ocaml-runtime-4.08.1-alt1 sisyphus+235061.70.23.1 1565087911 installed <13>Aug 21 04:20:37 rpmi: libwebp7-1.0.3-alt1 sisyphus+234493.100.1.1 1563090161 installed <13>Aug 21 04:20:37 rpmi: libmtdev-1.1.5-alt1 sisyphus+220715.100.1.1 1549364508 installed <13>Aug 21 04:20:37 rpmi: libglvnd-7:1.1.1-alt1 sisyphus+224993.100.4.1 1552634540 installed <13>Aug 21 04:20:37 rpmi: libwayland-server-1.17.0-alt1 sisyphus+225894.100.1.1 1553872803 installed <13>Aug 21 04:20:37 rpmi: qt5-base-common-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:37 rpmi: qt5-svg-common-5.12.4-alt1 sisyphus+233177.1700.3.4 1561676733 installed <13>Aug 21 04:20:37 rpmi: rpm-build-ocaml-1.3-alt1 1494941050 installed <13>Aug 21 04:20:37 rpmi: libdatrie-0.2.9-alt1_6 1511686677 installed <13>Aug 21 04:20:37 rpmi: libthai-0.1.28-alt1_1 sisyphus+226107.100.1.1 1554123079 installed <13>Aug 21 04:20:37 rpmi: libfribidi-1.0.5-alt1 1532424343 installed <13>Aug 21 04:20:37 rpmi: libjbig-2.1-alt1 1401380921 installed <13>Aug 21 04:20:37 rpmi: libtiff5-4.0.10.0.93.91480d3d-alt1 sisyphus+231496.100.1.1 1559668975 installed <13>Aug 21 04:20:37 rpmi: libpixman-3:0.38.4-alt1 sisyphus+228006.100.1.1 1556013486 installed <13>Aug 21 04:20:37 rpmi: libts-1.0-alt1.qa1 1366249318 installed <13>Aug 21 04:20:37 rpmi: libwacom-data-0.33-alt1 sisyphus+227101.2200.2.2 1555198848 installed <13>Aug 21 04:20:37 rpmi: libgudev-1:233-alt1 sisyphus+235422.100.1.1 1564855269 installed <13>Aug 21 04:20:37 rpmi: libwacom-0.33-alt1 sisyphus+227101.2200.2.2 1555198848 installed <13>Aug 21 04:20:37 rpmi: libevdev-1.7.0-alt1 sisyphus+231525.100.1.1 1559718158 installed <13>Aug 21 04:20:37 rpmi: udev-rules-1:242-alt11 sisyphus+235806.100.1.1 1565309166 installed <13>Aug 21 04:20:37 rpmi: libinput-1.14.0-alt1 sisyphus+235752.100.1.1 1565247502 installed <13>Aug 21 04:20:37 rpmi: liblz4-1:1.9.1-alt1 sisyphus+228057.100.1.1 1556059262 installed <13>Aug 21 04:20:37 rpmi: libgpg-error-1.36-alt1 sisyphus+225621.300.1.1 1553521088 installed <13>Aug 21 04:20:37 rpmi: libgcrypt20-1.8.4-alt3 sisyphus+232944.100.1.1 1561281796 installed <13>Aug 21 04:20:37 rpmi: libsystemd-1:242-alt11 sisyphus+235806.100.1.1 1565309166 installed <13>Aug 21 04:20:37 rpmi: libdbus-1.12.12-alt2 sisyphus+221234.100.1.2 1549918037 installed <13>Aug 21 04:20:37 rpmi: libavahi-0.6.32-alt1 1500485694 installed <13>Aug 21 04:20:37 rpmi: libcups-2.2.11-alt1 sisyphus+225793.100.1.1 1553701171 installed <13>Aug 21 04:20:37 rpmi: libproxy-0.4.15-alt3 sisyphus+227885.100.1.2 1555818596 installed <13>Aug 21 04:20:37 rpmi: libgraphite2-1.3.13-alt2 sisyphus+226799.100.1.1 1554648233 installed <13>Aug 21 04:20:37 rpmi: libharfbuzz-2.6.0-alt1 sisyphus+236022.40.6.1 1566123315 installed <13>Aug 21 04:20:37 rpmi: libfreetype-2.10.0-alt2 sisyphus+226881.100.2.1 1555676284 installed <13>Aug 21 04:20:37 rpmi: fontconfig-2.13.1-alt1 sisyphus+226691.100.2.2 1554598717 installed Updating fonts cache: <29>Aug 21 04:20:38 fontconfig: Updating fonts cache: succeeded [ DONE ] <13>Aug 21 04:20:38 rpmi: libxshmfence-1.3-alt1 sisyphus+223149.1000.2.1 1551268594 installed <13>Aug 21 04:20:38 rpmi: libwayland-client-1.17.0-alt1 sisyphus+225894.100.1.1 1553872803 installed <13>Aug 21 04:20:38 rpmi: libpciaccess-1:0.16-alt1 sisyphus+234814.100.1.1 1563438297 installed <13>Aug 21 04:20:38 rpmi: libdrm-1:2.4.99-alt1 sisyphus+234110.100.1.1 1562593655 installed <13>Aug 21 04:20:38 rpmi: libgbm-4:19.1.3-alt1 sisyphus+235105.100.1.2 1564525416 installed <13>Aug 21 04:20:38 rpmi: libpcre2-10.33-alt1.1 sisyphus+227856.100.1.2 1555786372 installed <13>Aug 21 04:20:39 rpmi: libicu64-1:6.4.2-alt1 sisyphus+227580.100.1.2 1555784315 installed <13>Aug 21 04:20:40 rpmi: libqt5-core-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:40 rpmi: libqt5-dbus-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:40 rpmi: libX11-locales-3:1.6.8-alt1 sisyphus+232786.200.1.1 1561106874 installed <13>Aug 21 04:20:40 rpmi: libXdmcp-1.1.3-alt1 sisyphus+225206.600.1.2 1552949347 installed <13>Aug 21 04:20:40 rpmi: libXau-1.0.9-alt1 sisyphus+223149.200.2.1 1551268156 installed <13>Aug 21 04:20:40 rpmi: libxcb-1.13.1-alt1 sisyphus+226527.100.2.2 1554593799 installed <13>Aug 21 04:20:40 rpmi: libX11-3:1.6.8-alt1 sisyphus+232786.200.1.1 1561106874 installed <13>Aug 21 04:20:40 rpmi: libXext-1.3.4-alt1 sisyphus+225206.700.1.2 1552949422 installed <13>Aug 21 04:20:40 rpmi: libXrender-0.9.8-alt1 1371312110 installed <13>Aug 21 04:20:40 rpmi: libXft-2.3.3-alt1 sisyphus+225206.1000.3.2 1552987714 installed <13>Aug 21 04:20:40 rpmi: libXxf86vm-1.1.4-alt2 1527672159 installed <13>Aug 21 04:20:40 rpmi: libXdamage-1.1.5-alt1 sisyphus+225206.500.1.2 1552949282 installed <13>Aug 21 04:20:40 rpmi: libXfixes-5.0.3-alt1 sisyphus+226736.100.2.2 1554614842 installed <13>Aug 21 04:20:40 rpmi: libGLX-mesa-4:19.1.3-alt1 sisyphus+235105.100.1.2 1564525416 installed <13>Aug 21 04:20:40 rpmi: libEGL-mesa-4:19.1.3-alt1 sisyphus+235105.100.1.2 1564525416 installed <13>Aug 21 04:20:40 rpmi: libEGL-7:1.1.1-alt1 sisyphus+224993.100.4.1 1552634540 installed <13>Aug 21 04:20:40 rpmi: libGLX-7:1.1.1-alt1 sisyphus+224993.100.4.1 1552634540 installed <13>Aug 21 04:20:40 rpmi: libGL-7:1.1.1-alt1 sisyphus+224993.100.4.1 1552634540 installed <13>Aug 21 04:20:40 rpmi: libcairo-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515520 installed <13>Aug 21 04:20:40 rpmi: libpango-1.44.5-alt1 sisyphus+236022.300.6.1 1566123439 installed <13>Aug 21 04:20:40 rpmi: libXt-1.1.4-alt1 1369984716 installed <13>Aug 21 04:20:40 rpmi: libXpm-3.5.12-alt1 sisyphus+223149.400.2.1 1551268300 installed <13>Aug 21 04:20:40 rpmi: libgd3-2.2.5-alt3 sisyphus+226800.200.2.1 1554649314 installed <13>Aug 21 04:20:40 rpmi: libxcbutil-icccm-0.4.1-alt2 sisyphus+229000.100.1.1 1557152218 installed <13>Aug 21 04:20:40 rpmi: libxcbutil-1:0.4.0-alt1 1413392888 installed <13>Aug 21 04:20:40 rpmi: libxcbutil-image-0.4.0-alt1 1446204177 installed <13>Aug 21 04:20:40 rpmi: libxcbutil-keysyms-0.4.0-alt1 1446204121 installed <13>Aug 21 04:20:40 rpmi: libxcb-render-util-0.3.9-alt3 sisyphus+222674.100.1.1 1550989885 installed <13>Aug 21 04:20:40 rpmi: libxkbcommon-x11-0.8.4-alt1 sisyphus+222759.100.1.1 1551009797 installed <13>Aug 21 04:20:40 rpmi: tex-common-0.2-alt4 1244804096 installed <13>Aug 21 04:20:40 rpmi: gnuplot-common-1:5.2.7-alt1 sisyphus+231169.100.1.1 1559224318 installed <13>Aug 21 04:20:40 rpmi: gnuplot-common-x11-1:5.2.7-alt1 sisyphus+231169.100.1.1 1559224318 installed <13>Aug 21 04:20:40 rpmi: libp11-kit-0.23.15-alt1 sisyphus+226408.100.2.1 1554288187 installed <13>Aug 21 04:20:40 rpmi: libtasn1-4.14-alt1 sisyphus+235791.100.1.1 1565282369 installed <13>Aug 21 04:20:40 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Aug 21 04:20:40 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Aug 21 04:20:40 rpmi: ca-certificates-2019.07.11-alt1 sisyphus+234280.200.1.1 1562839906 installed <13>Aug 21 04:20:40 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed <13>Aug 21 04:20:40 rpmi: p11-kit-trust-0.23.15-alt1 sisyphus+226408.100.2.1 1554288187 installed <13>Aug 21 04:20:40 rpmi: libcrypto1.1-1.1.1b-alt2 sisyphus+227249.100.2.1 1555667802 installed <13>Aug 21 04:20:40 rpmi: libssl1.1-1.1.1b-alt2 sisyphus+227249.100.2.1 1555667802 installed <13>Aug 21 04:20:40 rpmi: libqt5-network-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:40 rpmi: libqt5-eglfsdeviceintegration-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:40 rpmi: libqt5-xcbqpa-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:40 rpmi: libqt5-eglfskmssupport-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:41 rpmi: libqt5-gui-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:41 rpmi: libqt5-widgets-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:41 rpmi: libqt5-printsupport-5.12.4-alt3 sisyphus+235483.100.1.1 1565011625 installed <13>Aug 21 04:20:41 rpmi: libqt5-svg-5.12.4-alt1 sisyphus+233177.1700.3.4 1561676733 installed <13>Aug 21 04:20:41 rpmi: gnuplot-qt-1:5.2.7-alt1 sisyphus+231169.100.1.1 1559224318 installed <13>Aug 21 04:20:52 rpmi: ocaml-4.08.1-alt1 sisyphus+235061.70.23.1 1565087911 installed <13>Aug 21 04:20:56 rpmi: libgdbm-1.8.3-alt10 1454943313 installed <13>Aug 21 04:20:56 rpmi: python3-3.7.3-alt1 sisyphus+225625.574.90.1 1555274084 installed <13>Aug 21 04:20:56 rpmi: libpython3-3.7.3-alt1 sisyphus+225625.574.90.1 1555274084 installed <13>Aug 21 04:20:57 rpmi: python3-base-3.7.3-alt1 sisyphus+225625.574.90.1 1555274084 installed <13>Aug 21 04:20:57 rpmi: python-module-google-0.4.2-alt2.1 sisyphus+228356.1500.3.1 1556633038 installed <13>Aug 21 04:20:57 rpmi: ocaml-ocamlbuild-1:0.14.0-alt1 sisyphus+235061.400.23.1 1565088422 installed <13>Aug 21 04:20:57 rpmi: ocaml-findlib-1.8.1-alt1 sisyphus+235061.540.23.1 1565088537 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/ocaml-menhir-20190620-alt2.nosrc.rpm Installing ocaml-menhir-20190620-alt2.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.67534 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf menhir-20190620 + echo 'Source #0 (menhir-20190620.tar):' Source #0 (menhir-20190620.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/menhir-20190620.tar + cd menhir-20190620 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.67534 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20190620 + make PREFIX=/usr all make: Entering directory '/usr/src/RPM/BUILD/menhir-20190620' make[1]: Entering directory '/usr/src/RPM/BUILD/menhir-20190620/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20190620/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 basicSyntax.ml > basicSyntax.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 basicSyntax.cmo basicSyntax.ml ocamldep.opt -modules positions.ml > positions.ml.depends ocamldep.opt -modules stringMap.ml > stringMap.ml.depends 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 positions.cmx positions.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml + ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml File "InputFile.ml", line 52, characters 2-20: 52 | Pervasives.compare file1.input_file_index file2.input_file_index ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamldep.opt -modules front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends 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 ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.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 parameters.cmx parameters.ml ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml 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 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 ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.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 Compatibility.cmx Compatibility.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.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 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 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 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 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 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 inlining.ml > inlining.ml.depends ocamldep.opt -modules inlining.mli > inlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.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 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.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 patricia.cmx patricia.ml File "patricia.ml", line 569, characters 20-38: 569 | let c = Pervasives.compare key1 key2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "patricia.ml", line 942, characters 20-38: 942 | let c = Pervasives.compare x1 x2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml + ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml File "grammarFunctor.ml", line 395, characters 6-24: 395 | Pervasives.compare (decode i1) (decode i2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 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 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.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 inlining.cmx inlining.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 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 basicPrinter.cmx basicPrinter.ml File "basicPrinter.ml", line 269, characters 50-68: 269 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, v) (m', v') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "basicPrinter.ml", line 348, characters 50-68: 348 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, l) (m', l') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 codeInliner.ml > codeInliner.ml.depends ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.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 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 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 Trie.cmx Trie.ml File "Trie.ml", line 199, characters 4-22: 199 | Pervasives.compare t1.identity t2.identity ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 + ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml File "LRijkstraCore.ml", line 401, characters 16-34: 401 | let c = Pervasives.compare (identity fact1) (identity fact2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 codeInliner.cmx codeInliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.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 Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx basicSyntax.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 lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.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 traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 18(428), max: 12, min: 2, average(total): 4.333(1.140) } make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20190620/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20190620/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 basicSyntax.ml > basicSyntax.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 basicSyntax.cmo basicSyntax.ml ocamldep.opt -modules positions.ml > positions.ml.depends ocamldep.opt -modules stringMap.ml > stringMap.ml.depends 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 positions.cmx positions.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml + ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml File "InputFile.ml", line 52, characters 2-20: 52 | Pervasives.compare file1.input_file_index file2.input_file_index ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamldep.opt -modules front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends 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 ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.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 parameters.cmx parameters.ml ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml 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 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 ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.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 Compatibility.cmx Compatibility.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.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 ocamllex.opt -q lexpointfree.mll ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends ocamldep.opt -modules parserAux.mli > parserAux.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.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 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 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 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 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 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 inlining.ml > inlining.ml.depends ocamldep.opt -modules inlining.mli > inlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.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 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.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 patricia.cmx patricia.ml File "patricia.ml", line 569, characters 20-38: 569 | let c = Pervasives.compare key1 key2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "patricia.ml", line 942, characters 20-38: 942 | let c = Pervasives.compare x1 x2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml + ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml File "grammarFunctor.ml", line 395, characters 6-24: 395 | Pervasives.compare (decode i1) (decode i2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 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 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.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 inlining.cmx inlining.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 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 basicPrinter.cmx basicPrinter.ml File "basicPrinter.ml", line 269, characters 50-68: 269 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, v) (m', v') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "basicPrinter.ml", line 348, characters 50-68: 348 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, l) (m', l') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 codeInliner.ml > codeInliner.ml.depends ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.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 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 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 Trie.cmx Trie.ml File "Trie.ml", line 199, characters 4-22: 199 | Pervasives.compare t1.identity t2.identity ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 + ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml File "LRijkstraCore.ml", line 401, characters 16-34: 401 | let c = Pervasives.compare (identity fact1) (identity fact2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims 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 codeInliner.cmx codeInliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.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 Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx basicSyntax.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 lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.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 traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 20(437), max: 12, min: 2, average(total): 4.150(1.144) } make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20190620/src' make[2]: Entering directory '/usr/src/RPM/BUILD/menhir-20190620/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 ocamllex.opt -q lexpointfree.mll ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends 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 lexpointfree.cmo lexpointfree.ml 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(77), max: 12, min: 3, average(total): 7.333(1.247) } Bootstrap successful. make[2]: Leaving directory '/usr/src/RPM/BUILD/menhir-20190620/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-20190620/src' Creating menhirLib.ml Creating menhirLib.mli make: Leaving directory '/usr/src/RPM/BUILD/menhir-20190620' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.95232 + 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 + cd menhir-20190620 + 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-20190620' 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-20190620' + mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + 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-20190620/ + 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-20190620/src/ + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/ocaml-menhir-buildroot (auto) removed './usr/share/doc/ocaml-menhir-20190620/demos/generate-printers/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/generate-printers-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-two/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-two-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-param/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-param-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-new-syntax-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-inspection/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-inspection-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-incremental/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-incremental-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/demos/calc-ast-dune/.gitignore' removed './usr/share/doc/ocaml-menhir-20190620/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) 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: camlStdlib 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: caml_ml_array_bound_error verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__list__flatten_207 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__array__init_101 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__format__pp_print_string_472 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__set__fun_938 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__really_input_string_280 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__list__map_212 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__array__map_145 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__open_in_gen_253 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__set__fold_385 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__max_43 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__bytes__make_92 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__array__to_list_169 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__close_in_noerr_308 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__list__iter_236 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__set__add_179 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__printf__sprintf_184 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__format__fprintf_1048 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: caml_string_equal verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__$5e_130 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlStdlib__invalid_arg_8 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: caml_ml_array_bound_error verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__char__chr_82 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__init_101 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_163 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__string_of_int_161 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlCamlinternalLazy__force_lazy_block_153 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__sub_120 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__map_212 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__max_43 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__stable_sort_454 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__array__blit_130 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__list__iter_236 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__printf__sprintf_184 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__lexing__from_string_inner_751 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__stable_sort_261 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__iter_136 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__array__fold_left_188 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc2 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__printf__fprintf_164 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlStdlib__invalid_arg_8 Hardlinking identical .pyc and .pyo files Processing files: ocaml-menhir-20190620-alt2 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.83666 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20190620 + DOCDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + export DOCDIR + rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + /bin/mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + cp -prL CHANGES.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + cp -prL demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + cp -prL INSTALLATION.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + cp -prL README.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + cp -prL LICENSE /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20190620 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.sZG7mW 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.CcpOG3 find-requires: running scripts (cpp,debuginfo,files,lib,ocaml,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Provides: ocaml4-menhir = 20190620-alt2, ocaml-cmi(MenhirLib) = 4.08-49236F8E, ocaml-cmi(MenhirSdk) = 4.08-3FCA0515, ocaml-cmx(MenhirLib) = 4.08-B47B89F3, ocaml-cmx(MenhirSdk) = 4.08-E2B883C3 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)(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.08-A2B1A9D8, ocaml-cmi(CamlinternalLazy) = 4.08-32C23357, ocaml-cmi(Stdlib) = 4.08-AD45F251, ocaml-cmi(Stdlib__array) = 4.08-8412DB19, ocaml-cmi(Stdlib__buffer) = 4.08-35866FA9, ocaml-cmi(Stdlib__bytes) = 4.08-6B7074AF, ocaml-cmi(Stdlib__char) = 4.08-1F7AAA00, ocaml-cmi(Stdlib__format) = 4.08-B19F294D, ocaml-cmi(Stdlib__int32) = 4.08-9DE27084, ocaml-cmi(Stdlib__lazy) = 4.08-31C662C7, ocaml-cmi(Stdlib__lexing) = 4.08-CF953E94, ocaml-cmi(Stdlib__list) = 4.08-FA1A1736, ocaml-cmi(Stdlib__obj) = 4.08-9F725E74, ocaml-cmi(Stdlib__printf) = 4.08-B72A44ED, ocaml-cmi(Stdlib__seq) = 4.08-359C9551, ocaml-cmi(Stdlib__set) = 4.08-57951633, ocaml-cmi(Stdlib__string) = 4.08-89DC8C0E, ocaml-cmi(Stdlib__sys) = 4.08-13AA7B95, ocaml-cmi(Stdlib__uchar) = 4.08-DB24A5EB, ocaml-cmx(CamlinternalLazy) = 4.08-12F3F3F3, ocaml-cmx(Stdlib) = 4.08-1B91E596, ocaml-cmx(Stdlib__array) = 4.08-B760E993, ocaml-cmx(Stdlib__bytes) = 4.08-F070D51F, ocaml-cmx(Stdlib__char) = 4.08-0FDB903A, ocaml-cmx(Stdlib__format) = 4.08-22878EEB, ocaml-cmx(Stdlib__lexing) = 4.08-A8B8DA22, ocaml-cmx(Stdlib__list) = 4.08-B76D2738, ocaml-cmx(Stdlib__printf) = 4.08-7480D3FF, ocaml-cmx(Stdlib__set) = 4.08-0B3CF27B, ocaml-cmx(Stdlib__string) = 4.08-7B74775C, ocaml-cmx(Stdlib__sys) = 4.08-199A8AA5, 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.TlQfbh Creating ocaml-menhir-debuginfo package Processing files: ocaml-menhir-debuginfo-20190620-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.99nRmy find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.uXEq3S find-requires: running scripts (debuginfo) Requires: ocaml-menhir = 20190620-alt2, /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-20190620-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-debuginfo-20190620-alt2.x86_64.rpm 42.69user 15.43system 1:01.14elapsed 95%CPU (0avgtext+0avgdata 29472maxresident)k 0inputs+0outputs (0major+2730504minor)pagefaults 0swaps 67.20user 22.67system 1:34.77elapsed 94%CPU (0avgtext+0avgdata 113088maxresident)k 0inputs+0outputs (0major+3176409minor)pagefaults 0swaps