<86>Apr 21 01:53:22 userdel[12620]: delete user 'rooter' <86>Apr 21 01:53:22 userdel[12620]: removed group 'rooter' owned by 'rooter' <86>Apr 21 01:53:22 userdel[12620]: removed shadow group 'rooter' owned by 'rooter' <86>Apr 21 01:53:22 groupadd[12696]: group added to /etc/group: name=rooter, GID=639 <86>Apr 21 01:53:22 groupadd[12696]: group added to /etc/gshadow: name=rooter <86>Apr 21 01:53:22 groupadd[12696]: new group: name=rooter, GID=639 <86>Apr 21 01:53:23 useradd[12723]: new user: name=rooter, UID=639, GID=639, home=/root, shell=/bin/bash <86>Apr 21 01:53:23 userdel[12786]: delete user 'builder' <86>Apr 21 01:53:23 userdel[12786]: removed group 'builder' owned by 'builder' <86>Apr 21 01:53:23 userdel[12786]: removed shadow group 'builder' owned by 'builder' <86>Apr 21 01:53:23 groupadd[12877]: group added to /etc/group: name=builder, GID=640 <86>Apr 21 01:53:23 groupadd[12877]: group added to /etc/gshadow: name=builder <86>Apr 21 01:53:23 groupadd[12877]: new group: name=builder, GID=640 <86>Apr 21 01:53:23 useradd[12899]: new user: name=builder, UID=640, GID=640, home=/usr/src, shell=/bin/bash <13>Apr 21 01:53:26 rpmi: ocaml-runtime-4.04.2-alt1.M80P.1 1499834467 installed <13>Apr 21 01:53:26 rpmi: rpm-build-ocaml-1.3-alt1 1494941050 installed <13>Apr 21 01:53:30 rpmi: ocaml-4.04.2-alt1.M80P.1 1499834467 installed <13>Apr 21 01:53:30 rpmi: rpm-macros-ubt-0.2-alt1.M80P.1 1488269670 installed <13>Apr 21 01:53:30 rpmi: libverto-0.2.6-alt1_6 1455633234 installed <13>Apr 21 01:53:30 rpmi: libkeyutils-1.5.10-alt0.M80P.2 p8+216694.100.6.1 1547827915 installed <13>Apr 21 01:53:30 rpmi: libgdbm-1.8.3-alt10 1454943313 installed <13>Apr 21 01:53:30 rpmi: libexpat-2.2.4-alt0.M80P.1 1503871120 installed <13>Apr 21 01:53:30 rpmi: libcom_err-1.42.13-alt2 1449075846 installed <13>Apr 21 01:53:30 rpmi: ca-certificates-2016.02.25-alt1 1462368370 installed <13>Apr 21 01:53:30 rpmi: libcrypto10-1.0.2n-alt0.M80P.1 1512766129 installed <13>Apr 21 01:53:30 rpmi: rpm-build-ubt-0.3.1-alt1.M80P.1 1513692283 installed <13>Apr 21 01:53:32 rpmi: ocaml-camlp4-4.04.2-alt1.M80P.1 1499835126 installed <13>Apr 21 01:53:32 rpmi: ocaml-findlib-1.7.3-alt2.M80P.1 1499835321 installed <13>Apr 21 01:53:32 rpmi: ocaml-ocamlbuild-1:0.11.0-alt3.M80P.1 1499835935 installed <13>Apr 21 01:53:32 rpmi: python-module-google-0.4.0-alt2.1 1457968526 installed <13>Apr 21 01:53:32 rpmi: libssl10-1.0.2n-alt0.M80P.1 1512766129 installed <86>Apr 21 01:53:32 groupadd[31841]: group added to /etc/group: name=_keytab, GID=499 <86>Apr 21 01:53:32 groupadd[31841]: group added to /etc/gshadow: name=_keytab <86>Apr 21 01:53:32 groupadd[31841]: new group: name=_keytab, GID=499 <13>Apr 21 01:53:32 rpmi: libkrb5-1.14.6-alt1.M80P.1 1525355673 installed <13>Apr 21 01:53:32 rpmi: python3-base-3.5.4-alt2.M80P.1 1527753911 installed <13>Apr 21 01:53:33 rpmi: python3-3.5.4-alt2.M80P.1 1527753911 installed <13>Apr 21 01:53:33 rpmi: rpm-build-python3-0.1.10.10-alt1.M80P.1 1530521451 installed Installing ocaml-menhir-20181005-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.24809 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf menhir-20181005 + echo 'Source #0 (menhir-20181005.tar):' Source #0 (menhir-20181005.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/menhir-20181005.tar + cd menhir-20181005 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.54021 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20181005 + make PREFIX=/usr all make: Entering directory `/usr/src/RPM/BUILD/menhir-20181005' make[1]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/src' make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/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 front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamldep.opt -modules InputFile.mli > InputFile.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli ocamldep.opt -modules anonymous.ml > anonymous.ml.depends ocamldep.opt -modules anonymous.mli > anonymous.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli ocamldep.opt -modules misc.ml > misc.ml.depends ocamldep.opt -modules misc.mli > misc.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules error.ml > error.ml.depends ocamldep.opt -modules error.mli > error.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli ocamldep.opt -modules positions.ml > positions.ml.depends ocamldep.opt -modules settings.ml > settings.ml.depends ocamldep.opt -modules settings.mli > settings.mli.depends 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 positions.cmx positions.ml ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml ocamldep.opt -modules stringMap.ml > stringMap.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml ocamldep.opt -modules InputFile.ml > InputFile.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli ocamldep.opt -modules tarjan.ml > tarjan.ml.depends ocamldep.opt -modules tarjan.mli > tarjan.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml ocamldep.opt -modules Driver.ml > Driver.ml.depends ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly ocamlyacc parser.mly ocamldep.opt -modules parser.mli > parser.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli ocamldep.opt -modules parser.ml > parser.ml.depends ocamldep.opt -modules 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml ocamldep.opt -modules Drop.ml > Drop.ml.depends ocamldep.opt -modules Drop.mli > Drop.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml ocamldep.opt -modules IO.ml > IO.ml.depends ocamldep.opt -modules IO.mli > IO.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli ocamldep.opt -modules infer.ml > infer.ml.depends ocamldep.opt -modules infer.mli > infer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli ocamldep.opt -modules printer.ml > printer.ml.depends ocamldep.opt -modules printer.mli > printer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli ocamllex.opt -q lineCount.mll ocamldep.opt -modules lineCount.ml > lineCount.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamldep.opt -modules tokenType.ml > tokenType.ml.depends ocamldep.opt -modules tokenType.mli > tokenType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml ocamllex.opt -q lexdep.mll ocamldep.opt -modules lexdep.ml > lexdep.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml ocamllex.opt -q lexmli.mll ocamldep.opt -modules lexmli.ml > lexmli.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends ocamldep.opt -modules gMap.ml > gMap.ml.depends ocamldep.opt -modules gSet.ml > gSet.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli ocamldep.opt -modules Boolean.ml > Boolean.ml.depends ocamldep.opt -modules Boolean.mli > Boolean.mli.depends ocamldep.opt -modules Fix.mli > Fix.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli ocamldep.opt -modules Fix.ml > Fix.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends ocamldep.opt -modules Seq.mli > Seq.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli ocamldep.opt -modules Seq.ml > Seq.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli ocamldep.opt -modules Maps.ml > Maps.ml.depends ocamldep.opt -modules Maps.mli > Maps.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli ocamldep.opt -modules patricia.ml > patricia.ml.depends ocamldep.opt -modules patricia.mli > patricia.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml ocamldep.opt -modules time.ml > time.ml.depends ocamldep.opt -modules time.mli > time.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml ocamllex.opt -q lexer.mll ocamldep.opt -modules lexer.ml > lexer.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli ocamldep.opt -modules listMonad.ml > listMonad.ml.depends ocamldep.opt -modules listMonad.mli > listMonad.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli ocamldep.opt -modules reachability.ml > reachability.ml.depends ocamldep.opt -modules reachability.mli > reachability.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends ocamldep.opt -modules SortInference.mli > SortInference.mli.depends ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends ocamldep.opt -modules Memoize.ml > Memoize.ml.depends ocamldep.opt -modules Memoize.mli > Memoize.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli ocamldep.opt -modules SortInference.ml > SortInference.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml ocamldep.opt -modules Unifier.ml > Unifier.ml.depends ocamldep.opt -modules Unifier.mli > Unifier.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli ocamldep.opt -modules mark.ml > mark.ml.depends ocamldep.opt -modules mark.mli > mark.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli ocamldep.opt -modules unionFind.ml > unionFind.ml.depends ocamldep.opt -modules unionFind.mli > unionFind.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml ocamldep.opt -modules grammar.ml > grammar.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml ocamldep.opt -modules item.ml > item.ml.depends ocamldep.opt -modules item.mli > item.mli.depends ocamldep.opt -modules lookahead.mli > lookahead.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml ocamldep.opt -modules lr0.ml > lr0.ml.depends ocamldep.opt -modules lr0.mli > lr0.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml ocamldep.opt -modules lr1.ml > lr1.ml.depends ocamldep.opt -modules lr1.mli > lr1.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml ocamldep.opt -modules slr.ml > slr.ml.depends ocamldep.opt -modules slr.mli > slr.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli ocamldep.opt -modules codePieces.ml > codePieces.ml.depends ocamldep.opt -modules codePieces.mli > codePieces.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli ocamldep.opt -modules default.ml > default.ml.depends ocamldep.opt -modules default.mli > default.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli ocamldep.opt -modules conflict.ml > conflict.ml.depends ocamldep.opt -modules conflict.mli > conflict.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli ocamldep.opt -modules dot.ml > dot.ml.depends ocamldep.opt -modules dot.mli > dot.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml ocamldep.opt -modules derivation.ml > derivation.ml.depends ocamldep.opt -modules derivation.mli > derivation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml ocamldep.opt -modules invariant.ml > invariant.ml.depends ocamldep.opt -modules invariant.mli > invariant.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli ocamldep.opt -modules inliner.ml > inliner.ml.depends ocamldep.opt -modules inliner.mli > inliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli ocamldep.opt -modules traverse.ml > traverse.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml ocamldep.opt -modules interpret.ml > interpret.ml.depends ocamldep.opt -modules interpret.mli > interpret.mli.depends ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends ocamldep.opt -modules cst.mli > cst.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli ocamldep.opt -modules cst.ml > cst.ml.depends ocamldep.opt -modules pprint.ml > pprint.ml.depends ocamldep.opt -modules pprint.mli > pprint.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml ocamllex.opt -q segment.mll ocamldep.opt -modules segment.ml > segment.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml ocamllex.opt -q sentenceLexer.mll ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ocamlyacc sentenceParser.mly ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli ocamldep.opt -modules astar.ml > astar.ml.depends ocamldep.opt -modules astar.mli > astar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml ocamldep.opt -modules MySet.ml > MySet.ml.depends ocamldep.opt -modules MySet.mli > MySet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli ocamldep.opt -modules Trie.ml > Trie.ml.depends ocamldep.opt -modules Trie.mli > Trie.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(414), max: 12, min: 2, average(total): 4.412(1.140) } make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src' make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/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 front.ml > front.ml.depends ocamldep.opt -modules front.mli > front.mli.depends ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamldep.opt -modules InputFile.mli > InputFile.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli ocamldep.opt -modules anonymous.ml > anonymous.ml.depends ocamldep.opt -modules anonymous.mli > anonymous.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli ocamldep.opt -modules misc.ml > misc.ml.depends ocamldep.opt -modules misc.mli > misc.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules error.ml > error.ml.depends ocamldep.opt -modules error.mli > error.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli ocamldep.opt -modules positions.ml > positions.ml.depends ocamldep.opt -modules settings.ml > settings.ml.depends ocamldep.opt -modules settings.mli > settings.mli.depends 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 positions.cmx positions.ml ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml ocamldep.opt -modules stringMap.ml > stringMap.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml ocamldep.opt -modules InputFile.ml > InputFile.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli ocamldep.opt -modules tarjan.ml > tarjan.ml.depends ocamldep.opt -modules tarjan.mli > tarjan.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml ocamldep.opt -modules Driver.ml > Driver.ml.depends ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.depends ocamldep.opt -modules parserAux.mli > parserAux.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. The action table is 5859 entries; 475 non-zero; 614 compressed. The action table occupies roughly 1328 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 632 bytes. The error table occupies roughly 768 bytes. The default_reduction table occupies roughly 224 bytes. The lhs table occupies roughly 120 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 parserAux.ml > parserAux.ml.depends ocamldep.opt -modules option.ml > option.ml.depends ocamldep.opt -modules option.mli > option.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. Read 68 sample input sentences and 68 error messages. Read 68 sample input sentences and 23 error messages. ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. Read 68 sample input sentences and 23 error messages. ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml ocamldep.opt -modules Drop.ml > Drop.ml.depends ocamldep.opt -modules Drop.mli > Drop.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml ocamldep.opt -modules IO.ml > IO.ml.depends ocamldep.opt -modules IO.mli > IO.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli ocamldep.opt -modules infer.ml > infer.ml.depends ocamldep.opt -modules infer.mli > infer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli 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 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 ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli ocamldep.opt -modules printer.ml > printer.ml.depends ocamldep.opt -modules printer.mli > printer.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli ocamllex.opt -q lineCount.mll ocamldep.opt -modules lineCount.ml > lineCount.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml ocamldep.opt -modules tokenType.ml > tokenType.ml.depends ocamldep.opt -modules tokenType.mli > tokenType.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml ocamllex.opt -q lexdep.mll ocamldep.opt -modules lexdep.ml > lexdep.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml ocamllex.opt -q lexmli.mll ocamldep.opt -modules lexmli.ml > lexmli.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends ocamldep.opt -modules gMap.ml > gMap.ml.depends ocamldep.opt -modules gSet.ml > gSet.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli ocamldep.opt -modules Boolean.ml > Boolean.ml.depends ocamldep.opt -modules Boolean.mli > Boolean.mli.depends ocamldep.opt -modules Fix.mli > Fix.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli ocamldep.opt -modules Fix.ml > Fix.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends ocamldep.opt -modules Seq.mli > Seq.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli ocamldep.opt -modules Seq.ml > Seq.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli ocamldep.opt -modules Maps.ml > Maps.ml.depends ocamldep.opt -modules Maps.mli > Maps.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli ocamldep.opt -modules patricia.ml > patricia.ml.depends ocamldep.opt -modules patricia.mli > patricia.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml ocamldep.opt -modules time.ml > time.ml.depends ocamldep.opt -modules time.mli > time.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml ocamllex.opt -q lexer.mll ocamldep.opt -modules lexer.ml > lexer.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli ocamldep.opt -modules listMonad.ml > listMonad.ml.depends ocamldep.opt -modules listMonad.mli > listMonad.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli ocamldep.opt -modules reachability.ml > reachability.ml.depends ocamldep.opt -modules reachability.mli > reachability.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends ocamldep.opt -modules SortInference.mli > SortInference.mli.depends ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends ocamldep.opt -modules Memoize.ml > Memoize.ml.depends ocamldep.opt -modules Memoize.mli > Memoize.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli ocamldep.opt -modules SortInference.ml > SortInference.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml ocamldep.opt -modules Unifier.ml > Unifier.ml.depends ocamldep.opt -modules Unifier.mli > Unifier.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli ocamldep.opt -modules mark.ml > mark.ml.depends ocamldep.opt -modules mark.mli > mark.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli ocamldep.opt -modules unionFind.ml > unionFind.ml.depends ocamldep.opt -modules unionFind.mli > unionFind.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml ocamldep.opt -modules grammar.ml > grammar.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml ocamldep.opt -modules item.ml > item.ml.depends ocamldep.opt -modules item.mli > item.mli.depends ocamldep.opt -modules lookahead.mli > lookahead.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml ocamldep.opt -modules lr0.ml > lr0.ml.depends ocamldep.opt -modules lr0.mli > lr0.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml ocamldep.opt -modules lr1.ml > lr1.ml.depends ocamldep.opt -modules lr1.mli > lr1.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml ocamldep.opt -modules slr.ml > slr.ml.depends ocamldep.opt -modules slr.mli > slr.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli ocamldep.opt -modules codePieces.ml > codePieces.ml.depends ocamldep.opt -modules codePieces.mli > codePieces.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli ocamldep.opt -modules default.ml > default.ml.depends ocamldep.opt -modules default.mli > default.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli ocamldep.opt -modules conflict.ml > conflict.ml.depends ocamldep.opt -modules conflict.mli > conflict.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli ocamldep.opt -modules dot.ml > dot.ml.depends ocamldep.opt -modules dot.mli > dot.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml ocamldep.opt -modules derivation.ml > derivation.ml.depends ocamldep.opt -modules derivation.mli > derivation.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml ocamldep.opt -modules invariant.ml > invariant.ml.depends ocamldep.opt -modules invariant.mli > invariant.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli ocamldep.opt -modules inliner.ml > inliner.ml.depends ocamldep.opt -modules inliner.mli > inliner.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli ocamldep.opt -modules traverse.ml > traverse.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml ocamldep.opt -modules interpret.ml > interpret.ml.depends ocamldep.opt -modules interpret.mli > interpret.mli.depends ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends ocamldep.opt -modules cst.mli > cst.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli ocamldep.opt -modules cst.ml > cst.ml.depends ocamldep.opt -modules pprint.ml > pprint.ml.depends ocamldep.opt -modules pprint.mli > pprint.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml ocamllex.opt -q segment.mll ocamldep.opt -modules segment.ml > segment.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml ocamllex.opt -q sentenceLexer.mll ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly Grammar has 6 nonterminal symbols, among which 2 start symbols. Grammar has 6 terminal symbols. Grammar has 11 productions. Built an LR(0) automaton with 21 states. The grammar is SLR(1). Built an LR(1) automaton with 27 states. 13 out of 27 states have a default reduction. 7 out of 27 states are represented. 0 out of 16 symbols keep track of their start position. 0 out of 16 symbols keep track of their end position. The action table is 189 entries; 32 non-zero; 43 compressed. The action table occupies roughly 136 bytes. The goto table is 216 entries; 19 non-zero; 46 compressed. The goto table occupies roughly 144 bytes. The error table occupies roughly 56 bytes. The default_reduction table occupies roughly 48 bytes. The lhs table occupies roughly 40 bytes. The trace table occupies roughly 8 bytes. ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli ocamldep.opt -modules astar.ml > astar.ml.depends ocamldep.opt -modules astar.mli > astar.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml ocamldep.opt -modules MySet.ml > MySet.ml.depends ocamldep.opt -modules MySet.mli > MySet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli ocamldep.opt -modules Trie.ml > Trie.ml.depends ocamldep.opt -modules Trie.mli > Trie.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx option.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 18(421), max: 12, min: 2, average(total): 4.278(1.140) } make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src' make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.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 error.mli > error.mli.depends ocamldep.opt -modules positions.mli > positions.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli ocamldep.opt -modules misc.mli > misc.mli.depends ocamldep.opt -modules stringMap.mli > stringMap.mli.depends ocamldep.opt -modules stringSet.mli > stringSet.mli.depends ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli ocamldep.opt -modules parameters.ml > parameters.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli ocamldep.opt -modules syntax.ml > syntax.ml.depends ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli ocamldep.opt -modules InputFile.mli > InputFile.mli.depends 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 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 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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. The action table is 5859 entries; 475 non-zero; 614 compressed. The action table occupies roughly 1328 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 632 bytes. The error table occupies roughly 768 bytes. The default_reduction table occupies roughly 224 bytes. The lhs table occupies roughly 120 bytes. The trace table occupies roughly 8 bytes. # Parallel statistics: { count(total): 2(73), max: 12, min: 4, average(total): 8.000(1.192) } Bootstrap successful. make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/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-20181005/src' Creating menhirLib.ml Creating menhirLib.mli make: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.70532 + 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-20181005 + 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-20181005' 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 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 manual.pdf manual.html demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir && \ cp -r menhir.1 /usr/src/tmp/ocaml-menhir-buildroot/usr/share/man/man1 ; \ fi make: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005' + mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + 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/ocaml-menhir-20181005/ + 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-20181005/src/ + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/ocaml-menhir-buildroot (auto) 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) 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: camlPervasives__29 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: caml_exn_Failure verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_End_of_file verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_call_gc verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlFormat__fprintf_1850 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: camlSet__fun_2403 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__open_in_gen_1232 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlSet__add_1268 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlList__map_1231 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: camlList__flatten_1227 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: camlFormat__pp_print_string_1485 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__really_input_string_1259 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc1 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlArray__init_1212 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__close_in_noerr_1286 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlArray__map_1256 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_allocN 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: camlArray__to_list_1280 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__max_1030 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: camlPrintf__sprintf_1304 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__$5e_1117 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlSet__fold_1435 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlBytes__make_1211 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc2 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlList__iter_1252 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__invalid_arg_1007 verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_string_equal 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: camlPervasives 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: camlArray__stable_sort_1370 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__blit_1241 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__string_of_int_1146 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__stable_sort_1429 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__sub_1231 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__map_1231 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: 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: camlArray__init_1212 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc3 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__fold_left_1297 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlLexing__from_string_1261 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__iter_1247 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlChar__chr_1201 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: camlCamlinternalLazy__force_lazy_block_1258 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPrintf__fprintf_1285 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__max_1030 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__mapi_1274 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPrintf__sprintf_1304 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc2 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__iter_1252 verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__invalid_arg_1007 Hardlinking identical .pyc and .opt-?.pyc files Hardlinking identical .pyc and .pyo files Processing files: ocaml-menhir-20181005-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.34158 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd menhir-20181005 + DOCDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + export DOCDIR + rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + /bin/mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL CHANGES.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL INSTALLATION.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL README.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL LICENSE /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL Makefile /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + cp -prL manual.pdf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.10iMr3 find-provides: running scripts (alternatives,debuginfo,lib,ocaml,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wkpQ0D find-requires: running scripts (cpp,debuginfo,files,lib,ocaml,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks) Provides: ocaml4-menhir, ocaml-cmi(MenhirLib) = 4.04-4B0369DA, ocaml-cmi(MenhirSdk) = 4.04-010F6453, ocaml-cmx(MenhirLib) = 4.04-8E6ACFE1, ocaml-cmx(MenhirSdk) = 4.04-F1474849 Requires: /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.15)(64bit), libc.so.6(GLIBC_2.17)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libdl.so.2(GLIBC_2.2.5)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), ocaml-cmi(Array) = 4.04-83626447, ocaml-cmi(Buffer) = 4.04-C932A669, ocaml-cmi(Bytes) = 4.04-38ABB0DC, ocaml-cmi(CamlinternalFormatBasics) = 4.04-CBD5F2D6, ocaml-cmi(CamlinternalLazy) = 4.04-6C185D0C, ocaml-cmi(Char) = 4.04-2B18A802, ocaml-cmi(Format) = 4.04-AED1D740, ocaml-cmi(Int32) = 4.04-F4400E9E, ocaml-cmi(Lazy) = 4.04-7E97F2D9, ocaml-cmi(Lexing) = 4.04-4D9C7EB0, ocaml-cmi(List) = 4.04-CD293869, ocaml-cmi(Obj) = 4.04-C4EF78F7, ocaml-cmi(Pervasives) = 4.04-EEF96F96, ocaml-cmi(Printf) = 4.04-38545368, ocaml-cmi(Set) = 4.04-CF3455F4, ocaml-cmi(String) = 4.04-609A5859, ocaml-cmi(Sys) = 4.04-6FB70405, ocaml-cmx(Array) = 4.04-B9A77B7F, ocaml-cmx(Bytes) = 4.04-6E892554, ocaml-cmx(CamlinternalLazy) = 4.04-F7EC0871, ocaml-cmx(Char) = 4.04-A0409786, ocaml-cmx(Format) = 4.04-76F5E72B, ocaml-cmx(Lexing) = 4.04-391FB00A, ocaml-cmx(List) = 4.04-86C7F6E3, ocaml-cmx(Pervasives) = 4.04-B713A8F4, ocaml-cmx(Printf) = 4.04-8DCC1A7A, ocaml-cmx(Set) = 4.04-AD17FE5F, ocaml-cmx(String) = 4.04-ADABD02E, ocaml-cmx(Sys) = 4.04-C32816EE, 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.rToowh Creating ocaml-menhir-debuginfo package Processing files: ocaml-menhir-debuginfo-20181005-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.MdGpXX find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.hd44hH find-requires: running scripts (debuginfo) Requires: ocaml-menhir = 20181005-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libdl.so.2), debug64(libm.so.6) Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-20181005-alt1.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm 17.72user 5.56system 0:30.73elapsed 75%CPU (0avgtext+0avgdata 30400maxresident)k 0inputs+0outputs (0major+2132413minor)pagefaults 0swaps 26.51user 7.55system 0:44.06elapsed 77%CPU (0avgtext+0avgdata 122220maxresident)k 0inputs+0outputs (0major+2369729minor)pagefaults 0swaps --- ocaml-menhir-20181005-alt1.x86_64.rpm.repo 2018-10-22 17:56:57.000000000 +0000 +++ ocaml-menhir-20181005-alt1.x86_64.rpm.hasher 2019-04-21 01:54:05.019119794 +0000 @@ -550,3 +550,2 @@ Provides: ocaml-cmx(MenhirSdk) = 4.04-F1474849 -Provides: .p8.214423.100.2.1-ocaml-menhir-20181005-alt1 Provides: ocaml-menhir = 20181005-alt1 --- ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm.repo 2018-10-22 17:56:57.000000000 +0000 +++ ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm.hasher 2019-04-21 01:54:05.052119781 +0000 @@ -123,3 +123,3 @@ /usr/src/debug/menhir-20181005/src/standard.mly 100644 -Requires: .p8.214423.100.2.1-ocaml-menhir-20181005-alt1 +Requires: ocaml-menhir = 20181005-alt1 Requires: /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug