D: [iurt_root_command] chroot Installing /home/pterjan/rpmbuild/SRPMS/menhir-20181113-9.mga9.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.lQ0CBJ + umask 022 + cd /home/pterjan/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/pterjan/rpmbuild/BUILD + rm -rf menhir-20181113 + /usr/bin/bzip2 -dc /home/pterjan/rpmbuild/SOURCES/menhir-20181113.tar.bz2 + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd menhir-20181113 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.3rKeol + umask 022 + cd /home/pterjan/rpmbuild/BUILD + cd menhir-20181113 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + /usr/bin/make PREFIX=/usr make[1]: Entering directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' make[2]: Entering directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin /usr/bin/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 /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/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 /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml touch menhirLib.mli ; if /usr/bin/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 /usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa /usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs /usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends /usr/bin/ocamldep.opt -modules back.mli > back.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml /usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends /usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends /usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli /usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml File "InputFile.ml", line 52, characters 2-20: 52 | Pervasives.compare file1.input_file_index file2.input_file_index ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly /usr/bin/ocamlyacc parser.mly /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules option.ml > option.ml.depends /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli /usr/bin/ocamllex.opt -q lexpointfree.mll /usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml /usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends /usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli /usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends /usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends /usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli /usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml /usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends /usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml /usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends /usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli /usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends /usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli /usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends /usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml /usr/bin/ocamldep.opt -modules time.ml > time.ml.depends /usr/bin/ocamldep.opt -modules time.mli > time.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml File "patricia.ml", line 569, characters 20-38: 569 | let c = Pervasives.compare key1 key2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "patricia.ml", line 942, characters 20-38: 942 | let c = Pervasives.compare x1 x2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml File "grammarFunctor.ml", line 395, characters 6-24: 395 | Pervasives.compare (decode i1) (decode i2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/ocamllex.opt -q chopInlined.mll /usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml /usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends /usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends /usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli /usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends /usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml File "unparameterizedPrinter.ml", line 269, characters 50-68: 269 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, v) (m', v') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "unparameterizedPrinter.ml", line 348, characters 50-68: 348 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, l) (m', l') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends /usr/bin/ocamlyacc sentenceParser.mly /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml /usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends /usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli /usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends /usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml /usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends /usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli /usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends /usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml /usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends /usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli /usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends /usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml File "Trie.ml", line 199, characters 4-22: 199 | Pervasives.compare t1.identity t2.identity ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml File "LRijkstraCore.ml", line 401, characters 16-34: 401 | let c = Pervasives.compare (identity fact1) (identity fact2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends /usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(426), max: 12, min: 2, average(total): 4.412(1.136) } make[2]: Leaving directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' make[2]: Entering directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin /usr/bin/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 /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/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 /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml touch menhirLib.mli ; if /usr/bin/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 /usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa /usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs /usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends /usr/bin/ocamldep.opt -modules back.mli > back.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml /usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends /usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends /usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli /usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml File "InputFile.ml", line 52, characters 2-20: 52 | Pervasives.compare file1.input_file_index file2.input_file_index ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 bytes. The trace table occupies roughly 8 bytes. /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules newRuleSyntax.ml > newRuleSyntax.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamllex.opt -q lexpointfree.mll /usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml /usr/bin/ocamldep.opt -modules option.ml > option.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmx newRuleSyntax.ml ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --list-errors > parser.mly.auto.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 105 error messages. Read 105 sample input sentences and 50 error messages. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 50 error messages. /usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml /usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends /usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli /usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends /usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends /usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli /usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml /usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends /usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml /usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends /usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli /usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends /usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli /usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends /usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml /usr/bin/ocamldep.opt -modules time.ml > time.ml.depends /usr/bin/ocamldep.opt -modules time.mli > time.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml File "patricia.ml", line 569, characters 20-38: 569 | let c = Pervasives.compare key1 key2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "patricia.ml", line 942, characters 20-38: 942 | let c = Pervasives.compare x1 x2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml File "grammarFunctor.ml", line 395, characters 6-24: 395 | Pervasives.compare (decode i1) (decode i2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/ocamllex.opt -q chopInlined.mll /usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml /usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends /usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends /usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli /usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends /usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml File "unparameterizedPrinter.ml", line 269, characters 50-68: 269 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, v) (m', v') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "unparameterizedPrinter.ml", line 348, characters 50-68: 348 | compare_pairs InputFile.compare_input_files Pervasives.compare (m, l) (m', l') ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends /usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/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. /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml /usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends /usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli /usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends /usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml /usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends /usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli /usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends /usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml /usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends /usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli /usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends /usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml File "Trie.ml", line 199, characters 4-22: 199 | Pervasives.compare t1.identity t2.identity ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml + /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml File "LRijkstraCore.ml", line 401, characters 16-34: 401 | let c = Pervasives.compare (identity fact1) (identity fact2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends /usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 20(434), max: 12, min: 2, average(total): 4.100(1.143) } make[2]: Leaving directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' make[2]: Entering directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin /usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild cp -p fancy-parser.mly parser.mly ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli /usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 bytes. The trace table occupies roughly 8 bytes. # Parallel statistics: { count(total): 3(75), max: 12, min: 3, average(total): 7.000(1.240) } Bootstrap successful. make[2]: Leaving directory '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' Warning: Won't be able to compile a native plugin /usr/bin/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 /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml /usr/bin/ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml touch menhirSdk.mli ; if /usr/bin/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 /usr/bin/ocamlopt.opt -a menhirSdk.cmx -o menhirSdk.cmxa /usr/bin/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 '/home/pterjan/rpmbuild/BUILD/menhir-20181113/src' Creating menhirLib.ml Creating menhirLib.mli + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.J7mJgu + umask 022 + cd /home/pterjan/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 '!=' / ']' + rm -rf /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 ++ dirname /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 + mkdir -p /home/pterjan/rpmbuild/BUILDROOT + mkdir /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 + cd menhir-20181113 + '[' 1 -eq 1 ']' + export DESTDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 + DESTDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 + export OCAMLFIND_DESTDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml + mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib + mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/stublibs + make install PREFIX=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/bin install src/_stage2/menhir.native /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/bin/menhir mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/menhir install -m 644 src/standard.mly /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.o Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.cmxs Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.cmx Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.cmo Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.cmi Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.ml Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.mli Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/META Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.o Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmx Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmo Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmi Installed /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/META if [ -f doc/manual.pdf ] ; then \ mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/man/man1 ; \ cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir ; \ cp -r doc/menhir.1 /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/man/man1 ; \ fi + /usr/bin/find-debuginfo -j16 --strict-build-id -m -i --build-id-seed 20181113-9.mga9 --unique-debug-suffix -20181113-9.mga9.x86_64 --unique-debug-src-base menhir-20181113-9.mga9.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /home/pterjan/rpmbuild/BUILD/menhir-20181113 extracting debug info from /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirLib/menhirLib.cmxs extracting debug info from /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/bin/menhir extracting debug info from /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs dwz: ./usr/bin/menhir-20181113-9.mga9.x86_64.debug: Unknown debugging section .debug_line_str original debug info size: 2320kB, size after compression: 2324kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 1 CRC32s did match. cpio: src/_sdk/stdlib.ml: Cannot stat: No such file or directory cpio: src/_sdk/string.ml: Cannot stat: No such file or directory cpio: src/_stage2/buffer.ml: Cannot stat: No such file or directory cpio: src/_stage2/bytes.ml: Cannot stat: No such file or directory cpio: src/_stage2/hashtbl.ml: Cannot stat: No such file or directory cpio: src/_stage2/lexing.ml: Cannot stat: No such file or directory cpio: src/_stage2/list.ml: Cannot stat: No such file or directory cpio: src/_stage2/map.ml: Cannot stat: No such file or directory cpio: src/_stage2/printf.ml: Cannot stat: No such file or directory cpio: src/_stage2/queue.ml: Cannot stat: No such file or directory cpio: src/_stage2/set.ml: Cannot stat: No such file or directory cpio: src/_stage2/stack.ml: Cannot stat: No such file or directory cpio: src/_stage2/stdlib.ml: Cannot stat: No such file or directory cpio: src/_stage2/string.ml: Cannot stat: No such file or directory cpio: src/_stage2/unix.ml: Cannot stat: No such file or directory 3284 blocks + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/share/doc/menhir/demos/obsolete/ocamldep.wrapper from /usr/bin/env ocaml to #!/usr/bin/ocaml + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: menhir-20181113-9.mga9.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.LBPViV + umask 022 + cd /home/pterjan/rpmbuild/BUILD + cd menhir-20181113 + DOCDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr demos/ /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr CHANGES.md /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr README.md /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr doc/manual.html /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr doc/manual.pdf /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + cp -pr doc/manual001.png doc/manual002.png doc/manual003.png /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/doc/menhir + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.SQsblG + umask 022 + cd /home/pterjan/rpmbuild/BUILD + cd menhir-20181113 + LICENSEDIR=/home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/licenses/menhir + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/licenses/menhir + cp -pr LICENSE /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64/usr/share/licenses/menhir + RPM_EC=0 ++ jobs -p + exit 0 Provides: menhir = 20181113-9.mga9 menhir(x86-64) = 20181113-9.mga9 ocaml(MenhirLib) = 7d6884414c9388e4658b35e5d3a8a595 ocaml(MenhirSdk) = 508a17baa2f07c40d7c954ff7a70d61c ocaml-menhir = 20181113-9.mga9 ocamlx(MenhirLib) = fc76689741424a7ba02144f13b3bd811 ocamlx(MenhirSdk) = 751904724552ba5c17c2e554f3a4431a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(CamlinternalLazy) = 82103148a05e285950684f44991b3567 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38 ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Bytes) = cbde478960c3a756d3d7c559b25871ed ocaml(Stdlib__Char) = 61e527e7ba78bf9450c29456437722da ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 ocaml(Stdlib__Lazy) = dee386391ddbe73d02c1439b3b21df37 ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738 ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Sys) = 77e29567f2d5143158a3c6ae227ebb37 ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocaml-compiler ocamlx(CamlinternalLazy) = 996253023a701ed9829a1b68222ea67d ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Array) = aab10518c3f1158148fe7713d20dc740 ocamlx(Stdlib__Bytes) = 33e3746ac47aa01c0ae846774479f668 ocamlx(Stdlib__Char) = 64ea034a825e47025f1dc8bfe9ae8e10 ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6 ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Set) = efe49a5ad96e68a687d220f58858ab41 ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5 ocamlx(Stdlib__Sys) = 3aa3655700ec2d80629d3a9555109f96 Processing files: menhir-debugsource-20181113-9.mga9.x86_64 Provides: menhir-debugsource = 20181113-9.mga9 menhir-debugsource(x86-64) = 20181113-9.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: menhir-debuginfo-20181113-9.mga9.x86_64 Provides: debuginfo(build-id) = 49ae22333a8946cf0748a60382c98b268fd0f12f debuginfo(build-id) = b21d545f025efb7d9700530817c6f6ed4b67e79c debuginfo(build-id) = cb671884cc7100b1966d1b83b425aabedb791610 menhir-debuginfo = 20181113-9.mga9 menhir-debuginfo(x86-64) = 20181113-9.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: menhir-debugsource(x86-64) = 20181113-9.mga9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/menhir-debugsource-20181113-9.mga9.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/menhir-debuginfo-20181113-9.mga9.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/menhir-20181113-9.mga9.x86_64.rpm Executing(%clean): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.T22kCs + umask 022 + cd /home/pterjan/rpmbuild/BUILD + cd menhir-20181113 + /usr/bin/rm -rf /home/pterjan/rpmbuild/BUILDROOT/menhir-20181113-9.mga9.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.wZ5bGH + umask 022 + cd /home/pterjan/rpmbuild/BUILD + rm -rf menhir-20181113 + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!