=> Bootstrap dependency digest>=20010302: found digest-20190127
===> Building for menhir-20181113
gmake[1]: Entering directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
gmake[2]: Entering directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
/usr/pkg/bin/ocamlc unix.cma -I /usr/pkg/lib/ocaml/site-lib/ocamlbuild /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/pkg/bin/ocamldep -modules menhir.ml > menhir.ml.depends
/usr/pkg/bin/ocamldep -modules back.mli > back.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/pkg/bin/ocamldep -modules back.ml > back.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_read.mli > cmly_read.mli.depends
/usr/pkg/bin/ocamldep -modules cmly_api.ml > cmly_api.ml.depends
/usr/pkg/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/pkg/bin/ocamldep -modules cmly_write.mli > cmly_write.mli.depends
/usr/pkg/bin/ocamldep -modules codeBackend.mli > codeBackend.mli.depends
/usr/pkg/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/pkg/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/pkg/bin/ocamldep -modules coqBackend.mli > coqBackend.mli.depends
/usr/pkg/bin/ocamldep -modules front.mli > front.mli.depends
/usr/pkg/bin/ocamldep -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/pkg/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/pkg/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/pkg/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/pkg/bin/ocamldep -modules syntax.ml > syntax.ml.depends
/usr/pkg/bin/ocamldep -modules action.mli > action.mli.depends
/usr/pkg/bin/ocamldep -modules InputFile.mli > InputFile.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/pkg/bin/ocamldep -modules settings.mli > settings.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/pkg/bin/ocamldep -modules inliner.mli > inliner.mli.depends
/usr/pkg/bin/ocamldep -modules interface.mli > interface.mli.depends
/usr/pkg/bin/ocamldep -modules interpret.mli > interpret.mli.depends
/usr/pkg/bin/ocamldep -modules grammar.ml > grammar.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/pkg/bin/ocamldep -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/pkg/bin/ocamldep -modules gMap.ml > gMap.ml.depends
/usr/pkg/bin/ocamldep -modules gSet.ml > gSet.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/pkg/bin/ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/pkg/bin/ocamldep -modules cst.mli > cst.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/pkg/bin/ocamldep -modules lr1.mli > lr1.mli.depends
/usr/pkg/bin/ocamldep -modules item.mli > item.mli.depends
/usr/pkg/bin/ocamldep -modules lookahead.mli > lookahead.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/pkg/bin/ocamldep -modules lr0.mli > lr0.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/pkg/bin/ocamldep -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/pkg/bin/ocamldep -modules printer.mli > printer.mli.depends
/usr/pkg/bin/ocamldep -modules tableBackend.mli > tableBackend.mli.depends
/usr/pkg/bin/ocamldep -modules time.mli > time.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o back.cmo back.ml
/usr/pkg/bin/ocamldep -modules cmly_read.ml > cmly_read.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_format.ml > cmly_format.ml.depends
/usr/pkg/bin/ocamldep -modules version.ml > version.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/pkg/bin/ocamldep -modules cmly_write.ml > cmly_write.ml.depends
/usr/pkg/bin/ocamldep -modules option.mli > option.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/pkg/bin/ocamldep -modules codeBackend.ml > codeBackend.ml.depends
/usr/pkg/bin/ocamldep -modules codeBits.mli > codeBits.mli.depends
/usr/pkg/bin/ocamldep -modules codePieces.mli > codePieces.mli.depends
/usr/pkg/bin/ocamldep -modules default.mli > default.mli.depends
/usr/pkg/bin/ocamldep -modules error.mli > error.mli.depends
/usr/pkg/bin/ocamldep -modules invariant.mli > invariant.mli.depends
/usr/pkg/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/pkg/bin/ocamldep -modules tokenType.mli > tokenType.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/pkg/bin/ocamldep -modules coqBackend.ml > coqBackend.ml.depends
/usr/pkg/bin/ocamldep -modules front.ml > front.ml.depends
/usr/pkg/bin/ocamldep -modules anonymous.mli > anonymous.mli.depends
/usr/pkg/bin/ocamldep -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/pkg/bin/ocamldep -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
/usr/pkg/bin/ocamlyacc parser.mly
/usr/pkg/bin/ocamldep -modules parser.mli > parser.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/pkg/bin/ocamldep -modules Drop.mli > Drop.mli.depends
/usr/pkg/bin/ocamldep -modules IO.mli > IO.mli.depends
/usr/pkg/bin/ocamldep -modules infer.mli > infer.mli.depends
/usr/pkg/bin/ocamldep -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/pkg/bin/ocamllex -q lexer.mll
/usr/pkg/bin/ocamldep -modules lexer.ml > lexer.ml.depends
/usr/pkg/bin/ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/pkg/bin/ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/pkg/bin/ocamldep -modules reachability.mli > reachability.mli.depends
/usr/pkg/bin/ocamldep -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/pkg/bin/ocamldep -modules SortInference.mli > SortInference.mli.depends
/usr/pkg/bin/ocamldep -modules GroundSort.mli > GroundSort.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/pkg/bin/ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/pkg/bin/ocamldep -modules inliner.ml > inliner.ml.depends
/usr/pkg/bin/ocamldep -modules traverse.ml > traverse.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/pkg/bin/ocamldep -modules interface.ml > interface.ml.depends
/usr/pkg/bin/ocamldep -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/pkg/bin/ocamldep -modules interpret.ml > interpret.ml.depends
/usr/pkg/bin/ocamldep -modules General.mli > General.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/pkg/bin/ocamldep -modules General.ml > General.ml.depends
/usr/pkg/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/pkg/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/pkg/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/pkg/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/pkg/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/pkg/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/pkg/bin/ocamldep -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/pkg/bin/ocamldep -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/pkg/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/pkg/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/pkg/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/pkg/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/pkg/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/pkg/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/pkg/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/pkg/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/pkg/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/pkg/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/pkg/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/pkg/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/pkg/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/pkg/bin/ocamllex -q segment.mll
/usr/pkg/bin/ocamldep -modules segment.ml > segment.ml.depends
/usr/pkg/bin/ocamllex -q sentenceLexer.mll
/usr/pkg/bin/ocamldep -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/pkg/bin/ocamlyacc sentenceParser.mly
/usr/pkg/bin/ocamldep -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/pkg/bin/ocamldep -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/pkg/bin/ocamlc -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/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/pkg/bin/ocamldep -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/pkg/bin/ocamldep -modules astar.mli > astar.mli.depends
/usr/pkg/bin/ocamldep -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/pkg/bin/ocamldep -modules printer.ml > printer.ml.depends
/usr/pkg/bin/ocamllex -q lineCount.mll
/usr/pkg/bin/ocamldep -modules lineCount.ml > lineCount.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/pkg/bin/ocamldep -modules settings.ml > settings.ml.depends
/usr/pkg/bin/ocamldep -modules installation.mli > installation.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/pkg/bin/ocamldep -modules tableBackend.ml > tableBackend.ml.depends
/usr/pkg/bin/ocamldep -modules time.ml > time.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_write.cmo cmly_write.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBackend.cmo codeBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o coqBackend.cmo coqBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o front.cmo front.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o inliner.cmo inliner.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interface.cmo interface.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interpret.cmo interpret.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmo LRijkstra.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o printer.cmo printer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o settings.cmo settings.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tableBackend.cmo tableBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o time.cmo time.ml
/usr/pkg/bin/ocamldep -modules keyword.ml > keyword.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml
/usr/pkg/bin/ocamldep -modules action.ml > action.ml.depends
/usr/pkg/bin/ocamldep -modules item.ml > item.ml.depends
/usr/pkg/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/pkg/bin/ocamldep -modules patricia.mli > patricia.mli.depends
/usr/pkg/bin/ocamldep -modules tarjan.mli > tarjan.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/pkg/bin/ocamldep -modules lr0.ml > lr0.ml.depends
/usr/pkg/bin/ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/pkg/bin/ocamldep -modules lr1.ml > lr1.ml.depends
/usr/pkg/bin/ocamldep -modules slr.mli > slr.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/pkg/bin/ocamldep -modules option.ml > option.ml.depends
/usr/pkg/bin/ocamldep -modules positions.ml > positions.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o action.cmo action.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o item.cmo item.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr0.cmo lr0.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1.cmo lr1.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o option.cmo option.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o positions.cmo positions.ml
/usr/pkg/bin/ocamldep -modules codeBits.ml > codeBits.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBits.cmo codeBits.ml
/usr/pkg/bin/ocamldep -modules installation.ml > installation.ml.depends
/usr/pkg/bin/ocamldep -modules stringSet.ml > stringSet.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o installation.cmo installation.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringSet.cmo stringSet.ml
/usr/pkg/bin/ocamldep -modules anonymous.ml > anonymous.ml.depends
/usr/pkg/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/pkg/bin/ocamldep -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
cp -p yaccDriver.ml Driver.ml
/usr/pkg/bin/ocamldep -modules Driver.ml > Driver.ml.depends
/usr/pkg/bin/ocamldep -modules Drop.ml > Drop.ml.depends
/usr/pkg/bin/ocamldep -modules error.ml > error.ml.depends
/usr/pkg/bin/ocamldep -modules IO.ml > IO.ml.depends
/usr/pkg/bin/ocamldep -modules infer.ml > infer.ml.depends
/usr/pkg/bin/ocamllex -q lexdep.mll
/usr/pkg/bin/ocamldep -modules lexdep.ml > lexdep.ml.depends
/usr/pkg/bin/ocamllex -q lexmli.mll
/usr/pkg/bin/ocamldep -modules lexmli.ml > lexmli.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/pkg/bin/ocamldep -modules InputFile.ml > InputFile.ml.depends
/usr/pkg/bin/ocamldep -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/pkg/bin/ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/pkg/bin/ocamllex -q chopInlined.mll
/usr/pkg/bin/ocamldep -modules chopInlined.ml > chopInlined.ml.depends
/usr/pkg/bin/ocamldep -modules listMonad.mli > listMonad.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/pkg/bin/ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/pkg/bin/ocamldep -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/pkg/bin/ocamldep -modules reachability.ml > reachability.ml.depends
/usr/pkg/bin/ocamldep -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/pkg/bin/ocamldep -modules Memoize.mli > Memoize.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/pkg/bin/ocamldep -modules SortInference.ml > SortInference.ml.depends
/usr/pkg/bin/ocamldep -modules SortUnification.mli > SortUnification.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/pkg/bin/ocamldep -modules tokenType.ml > tokenType.ml.depends
/usr/pkg/bin/ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o anonymous.cmo anonymous.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmo CheckSafeParameterizedGrammar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Driver.cmo Driver.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Drop.cmo Drop.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o error.cmo error.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IO.cmo IO.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o infer.cmo infer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InputFile.cmo InputFile.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keywordExpansion.cmo keywordExpansion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmo nonTerminalDefinitionInlining.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o partialGrammar.cmo partialGrammar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o reachability.cmo reachability.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SelectiveExpansion.cmo SelectiveExpansion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortInference.cmo SortInference.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tokenType.cmo tokenType.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmo unparameterizedPrinter.ml
/usr/pkg/bin/ocamldep -modules misc.ml > misc.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o misc.cmo misc.ml
/usr/pkg/bin/ocamldep -modules stringMap.ml > stringMap.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringMap.cmo stringMap.ml
/usr/pkg/bin/ocamldep -modules tarjan.ml > tarjan.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tarjan.cmo tarjan.ml
/usr/pkg/bin/ocamldep -modules parser.ml > parser.ml.depends
/usr/pkg/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parser.cmo parser.ml
/usr/pkg/bin/ocamldep -modules parserAux.ml > parserAux.ml.depends
/usr/pkg/bin/ocamllex -q lexpointfree.mll
/usr/pkg/bin/ocamldep -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserAux.cmo parserAux.ml
/usr/pkg/bin/ocamldep -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonterminalType.cmo nonterminalType.ml
/usr/pkg/bin/ocamldep -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/pkg/bin/ocamldep -modules Boolean.mli > Boolean.mli.depends
/usr/pkg/bin/ocamldep -modules Fix.mli > Fix.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/pkg/bin/ocamldep -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/pkg/bin/ocamldep -modules Seq.mli > Seq.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/pkg/bin/ocamldep -modules FixSolver.mli > FixSolver.mli.depends
/usr/pkg/bin/ocamldep -modules Maps.mli > Maps.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammarFunctor.cmo grammarFunctor.ml
/usr/pkg/bin/ocamldep -modules Boolean.ml > Boolean.ml.depends
/usr/pkg/bin/ocamldep -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/pkg/bin/ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/pkg/bin/ocamldep -modules Fix.ml > Fix.ml.depends
/usr/pkg/bin/ocamldep -modules FixSolver.ml > FixSolver.ml.depends
/usr/pkg/bin/ocamldep -modules Maps.ml > Maps.ml.depends
/usr/pkg/bin/ocamldep -modules patricia.ml > patricia.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Boolean.cmo Boolean.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CompletedNatWitness.cmo CompletedNatWitness.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o compressedBitSet.cmo compressedBitSet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Fix.cmo Fix.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o FixSolver.cmo FixSolver.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Maps.cmo Maps.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o patricia.cmo patricia.ml
/usr/pkg/bin/ocamldep -modules Seq.ml > Seq.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Seq.cmo Seq.ml
/usr/pkg/bin/ocamldep -modules listMonad.ml > listMonad.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o listMonad.cmo listMonad.ml
/usr/pkg/bin/ocamldep -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o expandTokenAliases.cmo expandTokenAliases.ml
/usr/pkg/bin/ocamldep -modules GroundSort.ml > GroundSort.ml.depends
/usr/pkg/bin/ocamldep -modules Memoize.ml > Memoize.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o GroundSort.cmo GroundSort.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Memoize.cmo Memoize.ml
/usr/pkg/bin/ocamldep -modules SortUnification.ml > SortUnification.ml.depends
/usr/pkg/bin/ocamldep -modules Unifier.mli > Unifier.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortUnification.cmo SortUnification.ml
/usr/pkg/bin/ocamldep -modules Unifier.ml > Unifier.ml.depends
/usr/pkg/bin/ocamldep -modules unionFind.mli > unionFind.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Unifier.cmo Unifier.ml
/usr/pkg/bin/ocamldep -modules mark.ml > mark.ml.depends
/usr/pkg/bin/ocamldep -modules unionFind.ml > unionFind.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o mark.cmo mark.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unionFind.cmo unionFind.ml
/usr/pkg/bin/ocamldep -modules slr.ml > slr.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o slr.cmo slr.ml
/usr/pkg/bin/ocamldep -modules codePieces.ml > codePieces.ml.depends
/usr/pkg/bin/ocamldep -modules default.ml > default.ml.depends
/usr/pkg/bin/ocamldep -modules conflict.mli > conflict.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/pkg/bin/ocamldep -modules invariant.ml > invariant.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codePieces.cmo codePieces.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o default.cmo default.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o invariant.cmo invariant.ml
/usr/pkg/bin/ocamldep -modules conflict.ml > conflict.ml.depends
/usr/pkg/bin/ocamldep -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/pkg/bin/ocamldep -modules derivation.mli > derivation.mli.depends
/usr/pkg/bin/ocamldep -modules lr1partial.mli > lr1partial.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o conflict.cmo conflict.ml
/usr/pkg/bin/ocamldep -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/pkg/bin/ocamldep -modules dot.mli > dot.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/pkg/bin/ocamldep -modules derivation.ml > derivation.ml.depends
/usr/pkg/bin/ocamldep -modules lr1partial.ml > lr1partial.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o DependencyGraph.cmo DependencyGraph.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o derivation.cmo derivation.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1partial.cmo lr1partial.ml
/usr/pkg/bin/ocamldep -modules dot.ml > dot.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o dot.cmo dot.ml
/usr/pkg/bin/ocamldep -modules cst.ml > cst.ml.depends
/usr/pkg/bin/ocamldep -modules pprint.mli > pprint.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/pkg/bin/ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cst.cmo cst.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o referenceInterpreter.cmo referenceInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParser.cmo sentenceParser.ml
/usr/pkg/bin/ocamldep -modules pprint.ml > pprint.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o pprint.cmo pprint.ml
/usr/pkg/bin/ocamldep -modules astar.ml > astar.ml.depends
/usr/pkg/bin/ocamldep -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/pkg/bin/ocamldep -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/pkg/bin/ocamldep -modules MySet.mli > MySet.mli.depends
/usr/pkg/bin/ocamldep -modules Trie.mli > Trie.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o astar.cmo astar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmo LRijkstraCore.ml
/usr/pkg/bin/ocamldep -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/pkg/bin/ocamldep -modules resizableArray.mli > resizableArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/pkg/bin/ocamldep -modules MySet.ml > MySet.ml.depends
/usr/pkg/bin/ocamldep -modules Trie.ml > Trie.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmo LowIntegerPriorityQueue.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o MySet.cmo MySet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Trie.cmo Trie.ml
/usr/pkg/bin/ocamldep -modules resizableArray.ml > resizableArray.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o resizableArray.cmo resizableArray.ml
/usr/pkg/bin/ocamlc unix.cma -g resizableArray.cmo LowIntegerPriorityQueue.cmo MySet.cmo option.cmo dot.cmo positions.cmo installation.cmo stringSet.cmo version.cmo settings.cmo error.cmo menhirLib.cmo stringMap.cmo misc.cmo InputFile.cmo codeBits.cmo keyword.cmo action.cmo syntax.cmo parameters.cmo tarjan.cmo CheckSafeParameterizedGrammar.cmo lexpointfree.cmo parserAux.cmo parser.cmo Driver.cmo unparameterizedSyntax.cmo Drop.cmo IO.cmo GroundSort.cmo Memoize.cmo mark.cmo unionFind.cmo Unifier.cmo SortUnification.cmo SortInference.cmo SelectiveExpansion.cmo anonymous.cmo nonterminalType.cmo lineCount.cmo printer.cmo tokenType.cmo interface.cmo lexdep.cmo lexmli.cmo infer.cmo Fix.cmo Boolean.cmo Seq.cmo CompletedNatWitness.cmo FixSolver.cmo Maps.cmo gSet.cmo compressedBitSet.cmo gMap.cmo patricia.cmo time.cmo grammarFunctor.cmo keywordExpansion.cmo lexer.cmo chopInlined.cmo listMonad.cmo nonTerminalDefinitionInlining.cmo expandTokenAliases.cmo partialGrammar.cmo reachability.cmo unparameterizedPrinter.cmo front.cmo grammar.cmo DependencyGraph.cmo item.cmo derivation.cmo lr0.cmo slr.cmo lr1.cmo lr1partial.cmo conflict.cmo default.cmo Trie.cmo LRijkstraCore.cmo astar.cmo pprint.cmo cst.cmo invariant.cmo referenceInterpreter.cmo segment.cmo sentenceParserAux.cmo sentenceParser.cmo sentenceLexer.cmo interpret.cmo LRijkstra.cmo cmly_api.cmo cmly_format.cmo cmly_read.cmo cmly_write.cmo codePieces.cmo codeBackend.cmo coqBackend.cmo traverse.cmo inliner.cmo tableBackend.cmo back.cmo menhir.cmo -o menhir.byte
# Parallel statistics: { count(total): 27(338), max: 16, min: 2, average(total): 4.963(1.317) }
gmake[2]: Leaving directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
gmake[2]: Entering directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
/usr/pkg/bin/ocamlc unix.cma -I /usr/pkg/lib/ocaml/site-lib/ocamlbuild /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/pkg/bin/ocamldep -modules menhir.ml > menhir.ml.depends
/usr/pkg/bin/ocamldep -modules back.mli > back.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/pkg/bin/ocamldep -modules back.ml > back.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_read.mli > cmly_read.mli.depends
/usr/pkg/bin/ocamldep -modules cmly_api.ml > cmly_api.ml.depends
/usr/pkg/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/pkg/bin/ocamldep -modules cmly_write.mli > cmly_write.mli.depends
/usr/pkg/bin/ocamldep -modules codeBackend.mli > codeBackend.mli.depends
/usr/pkg/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/pkg/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/pkg/bin/ocamldep -modules coqBackend.mli > coqBackend.mli.depends
/usr/pkg/bin/ocamldep -modules front.mli > front.mli.depends
/usr/pkg/bin/ocamldep -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/pkg/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/pkg/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/pkg/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/pkg/bin/ocamldep -modules syntax.ml > syntax.ml.depends
/usr/pkg/bin/ocamldep -modules action.mli > action.mli.depends
/usr/pkg/bin/ocamldep -modules InputFile.mli > InputFile.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/pkg/bin/ocamldep -modules settings.mli > settings.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/pkg/bin/ocamldep -modules inliner.mli > inliner.mli.depends
/usr/pkg/bin/ocamldep -modules interface.mli > interface.mli.depends
/usr/pkg/bin/ocamldep -modules interpret.mli > interpret.mli.depends
/usr/pkg/bin/ocamldep -modules grammar.ml > grammar.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/pkg/bin/ocamldep -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/pkg/bin/ocamldep -modules gMap.ml > gMap.ml.depends
/usr/pkg/bin/ocamldep -modules gSet.ml > gSet.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/pkg/bin/ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/pkg/bin/ocamldep -modules cst.mli > cst.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/pkg/bin/ocamldep -modules lr1.mli > lr1.mli.depends
/usr/pkg/bin/ocamldep -modules item.mli > item.mli.depends
/usr/pkg/bin/ocamldep -modules lookahead.mli > lookahead.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/pkg/bin/ocamldep -modules lr0.mli > lr0.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/pkg/bin/ocamldep -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/pkg/bin/ocamldep -modules printer.mli > printer.mli.depends
/usr/pkg/bin/ocamldep -modules tableBackend.mli > tableBackend.mli.depends
/usr/pkg/bin/ocamldep -modules time.mli > time.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o back.cmo back.ml
/usr/pkg/bin/ocamldep -modules cmly_read.ml > cmly_read.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_format.ml > cmly_format.ml.depends
/usr/pkg/bin/ocamldep -modules version.ml > version.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/pkg/bin/ocamldep -modules cmly_write.ml > cmly_write.ml.depends
/usr/pkg/bin/ocamldep -modules option.mli > option.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/pkg/bin/ocamldep -modules codeBackend.ml > codeBackend.ml.depends
/usr/pkg/bin/ocamldep -modules codeBits.mli > codeBits.mli.depends
/usr/pkg/bin/ocamldep -modules codePieces.mli > codePieces.mli.depends
/usr/pkg/bin/ocamldep -modules default.mli > default.mli.depends
/usr/pkg/bin/ocamldep -modules error.mli > error.mli.depends
/usr/pkg/bin/ocamldep -modules invariant.mli > invariant.mli.depends
/usr/pkg/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/pkg/bin/ocamldep -modules tokenType.mli > tokenType.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/pkg/bin/ocamldep -modules coqBackend.ml > coqBackend.ml.depends
/usr/pkg/bin/ocamldep -modules front.ml > front.ml.depends
/usr/pkg/bin/ocamldep -modules anonymous.mli > anonymous.mli.depends
/usr/pkg/bin/ocamldep -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/pkg/bin/ocamldep -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/pkg/bin/ocamldep -modules' parser.mly > parser.mly.depends
/usr/pkg/bin/ocamldep -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/pkg/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/pkg/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/pkg/bin/ocamldep -modules General.mli > General.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/pkg/bin/ocamldep -modules General.ml > General.ml.depends
/usr/pkg/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/pkg/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/pkg/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/pkg/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/pkg/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/pkg/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/pkg/bin/ocamldep -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/pkg/bin/ocamldep -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/pkg/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/pkg/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/pkg/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/pkg/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/pkg/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/pkg/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/pkg/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/pkg/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/pkg/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/pkg/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/pkg/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/pkg/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/pkg/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/pkg/bin/ocamlc -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
../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -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/pkg/bin/ocamldep -modules parser.mli > parser.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/pkg/bin/ocamldep -modules Drop.mli > Drop.mli.depends
/usr/pkg/bin/ocamldep -modules IO.mli > IO.mli.depends
/usr/pkg/bin/ocamldep -modules infer.mli > infer.mli.depends
/usr/pkg/bin/ocamldep -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/pkg/bin/ocamllex -q lexer.mll
/usr/pkg/bin/ocamldep -modules lexer.ml > lexer.ml.depends
/usr/pkg/bin/ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/pkg/bin/ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/pkg/bin/ocamldep -modules reachability.mli > reachability.mli.depends
/usr/pkg/bin/ocamldep -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/pkg/bin/ocamldep -modules SortInference.mli > SortInference.mli.depends
/usr/pkg/bin/ocamldep -modules GroundSort.mli > GroundSort.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/pkg/bin/ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/pkg/bin/ocamldep -modules inliner.ml > inliner.ml.depends
/usr/pkg/bin/ocamldep -modules traverse.ml > traverse.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/pkg/bin/ocamldep -modules interface.ml > interface.ml.depends
/usr/pkg/bin/ocamldep -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/pkg/bin/ocamldep -modules interpret.ml > interpret.ml.depends
/usr/pkg/bin/ocamllex -q segment.mll
/usr/pkg/bin/ocamldep -modules segment.ml > segment.ml.depends
/usr/pkg/bin/ocamllex -q sentenceLexer.mll
/usr/pkg/bin/ocamldep -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/pkg/bin/ocamldep -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/pkg/bin/ocamldep -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -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/pkg/bin/ocamldep -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/pkg/bin/ocamldep -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/pkg/bin/ocamldep -modules astar.mli > astar.mli.depends
/usr/pkg/bin/ocamldep -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/pkg/bin/ocamldep -modules printer.ml > printer.ml.depends
/usr/pkg/bin/ocamllex -q lineCount.mll
/usr/pkg/bin/ocamldep -modules lineCount.ml > lineCount.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/pkg/bin/ocamldep -modules settings.ml > settings.ml.depends
/usr/pkg/bin/ocamldep -modules installation.mli > installation.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/pkg/bin/ocamldep -modules tableBackend.ml > tableBackend.ml.depends
/usr/pkg/bin/ocamldep -modules time.ml > time.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_write.cmo cmly_write.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBackend.cmo codeBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o coqBackend.cmo coqBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o front.cmo front.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o inliner.cmo inliner.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interface.cmo interface.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o interpret.cmo interpret.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmo LRijkstra.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o printer.cmo printer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o settings.cmo settings.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tableBackend.cmo tableBackend.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o time.cmo time.ml
/usr/pkg/bin/ocamldep -modules keyword.ml > keyword.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml
/usr/pkg/bin/ocamldep -modules action.ml > action.ml.depends
/usr/pkg/bin/ocamldep -modules item.ml > item.ml.depends
/usr/pkg/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/pkg/bin/ocamldep -modules patricia.mli > patricia.mli.depends
/usr/pkg/bin/ocamldep -modules tarjan.mli > tarjan.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/pkg/bin/ocamldep -modules lr0.ml > lr0.ml.depends
/usr/pkg/bin/ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/pkg/bin/ocamldep -modules lr1.ml > lr1.ml.depends
/usr/pkg/bin/ocamldep -modules slr.mli > slr.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/pkg/bin/ocamldep -modules option.ml > option.ml.depends
/usr/pkg/bin/ocamldep -modules positions.ml > positions.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o action.cmo action.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o item.cmo item.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr0.cmo lr0.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1.cmo lr1.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o option.cmo option.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o positions.cmo positions.ml
/usr/pkg/bin/ocamldep -modules codeBits.ml > codeBits.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codeBits.cmo codeBits.ml
/usr/pkg/bin/ocamldep -modules installation.ml > installation.ml.depends
/usr/pkg/bin/ocamldep -modules stringSet.ml > stringSet.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o installation.cmo installation.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringSet.cmo stringSet.ml
/usr/pkg/bin/ocamldep -modules anonymous.ml > anonymous.ml.depends
/usr/pkg/bin/ocamldep -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
cp -p fancyDriver.ml Driver.ml
/usr/pkg/bin/ocamldep -modules Driver.ml > Driver.ml.depends
../_stage1/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.byte -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.byte -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.byte -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.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.byte -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/pkg/bin/ocamldep -modules parserMessages.ml > parserMessages.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
/usr/pkg/bin/ocamldep -modules Drop.ml > Drop.ml.depends
/usr/pkg/bin/ocamldep -modules error.ml > error.ml.depends
/usr/pkg/bin/ocamldep -modules IO.ml > IO.ml.depends
/usr/pkg/bin/ocamldep -modules infer.ml > infer.ml.depends
/usr/pkg/bin/ocamllex -q lexdep.mll
/usr/pkg/bin/ocamldep -modules lexdep.ml > lexdep.ml.depends
/usr/pkg/bin/ocamllex -q lexmli.mll
/usr/pkg/bin/ocamldep -modules lexmli.ml > lexmli.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/pkg/bin/ocamldep -modules InputFile.ml > InputFile.ml.depends
/usr/pkg/bin/ocamldep -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/pkg/bin/ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/pkg/bin/ocamllex -q chopInlined.mll
/usr/pkg/bin/ocamldep -modules chopInlined.ml > chopInlined.ml.depends
/usr/pkg/bin/ocamldep -modules listMonad.mli > listMonad.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/pkg/bin/ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/pkg/bin/ocamldep -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/pkg/bin/ocamldep -modules reachability.ml > reachability.ml.depends
/usr/pkg/bin/ocamldep -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/pkg/bin/ocamldep -modules Memoize.mli > Memoize.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/pkg/bin/ocamldep -modules SortInference.ml > SortInference.ml.depends
/usr/pkg/bin/ocamldep -modules SortUnification.mli > SortUnification.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/pkg/bin/ocamldep -modules tokenType.ml > tokenType.ml.depends
/usr/pkg/bin/ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o anonymous.cmo anonymous.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmo CheckSafeParameterizedGrammar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Driver.cmo Driver.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Drop.cmo Drop.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o error.cmo error.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IO.cmo IO.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o infer.cmo infer.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InputFile.cmo InputFile.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keywordExpansion.cmo keywordExpansion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmo nonTerminalDefinitionInlining.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o partialGrammar.cmo partialGrammar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o reachability.cmo reachability.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SelectiveExpansion.cmo SelectiveExpansion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortInference.cmo SortInference.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tokenType.cmo tokenType.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmo unparameterizedPrinter.ml
/usr/pkg/bin/ocamldep -modules misc.ml > misc.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o misc.cmo misc.ml
/usr/pkg/bin/ocamldep -modules stringMap.ml > stringMap.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringMap.cmo stringMap.ml
/usr/pkg/bin/ocamldep -modules tarjan.ml > tarjan.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o tarjan.cmo tarjan.ml
/usr/pkg/bin/ocamldep -modules parser.ml > parser.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parser.cmo parser.ml
/usr/pkg/bin/ocamldep -modules newRuleSyntax.ml > newRuleSyntax.ml.depends
/usr/pkg/bin/ocamldep -modules parserAux.ml > parserAux.ml.depends
/usr/pkg/bin/ocamllex -q lexpointfree.mll
/usr/pkg/bin/ocamldep -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o newRuleSyntax.cmo newRuleSyntax.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserAux.cmo parserAux.ml
/usr/pkg/bin/ocamldep -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o nonterminalType.cmo nonterminalType.ml
/usr/pkg/bin/ocamldep -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/pkg/bin/ocamldep -modules Boolean.mli > Boolean.mli.depends
/usr/pkg/bin/ocamldep -modules Fix.mli > Fix.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/pkg/bin/ocamldep -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/pkg/bin/ocamldep -modules Seq.mli > Seq.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/pkg/bin/ocamldep -modules FixSolver.mli > FixSolver.mli.depends
/usr/pkg/bin/ocamldep -modules Maps.mli > Maps.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o grammarFunctor.cmo grammarFunctor.ml
/usr/pkg/bin/ocamldep -modules Boolean.ml > Boolean.ml.depends
/usr/pkg/bin/ocamldep -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/pkg/bin/ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/pkg/bin/ocamldep -modules Fix.ml > Fix.ml.depends
/usr/pkg/bin/ocamldep -modules FixSolver.ml > FixSolver.ml.depends
/usr/pkg/bin/ocamldep -modules Maps.ml > Maps.ml.depends
/usr/pkg/bin/ocamldep -modules patricia.ml > patricia.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Boolean.cmo Boolean.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o CompletedNatWitness.cmo CompletedNatWitness.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o compressedBitSet.cmo compressedBitSet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Fix.cmo Fix.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o FixSolver.cmo FixSolver.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Maps.cmo Maps.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o patricia.cmo patricia.ml
/usr/pkg/bin/ocamldep -modules Seq.ml > Seq.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Seq.cmo Seq.ml
/usr/pkg/bin/ocamldep -modules listMonad.ml > listMonad.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o listMonad.cmo listMonad.ml
/usr/pkg/bin/ocamldep -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o expandTokenAliases.cmo expandTokenAliases.ml
/usr/pkg/bin/ocamldep -modules GroundSort.ml > GroundSort.ml.depends
/usr/pkg/bin/ocamldep -modules Memoize.ml > Memoize.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o GroundSort.cmo GroundSort.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Memoize.cmo Memoize.ml
/usr/pkg/bin/ocamldep -modules SortUnification.ml > SortUnification.ml.depends
/usr/pkg/bin/ocamldep -modules Unifier.mli > Unifier.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o SortUnification.cmo SortUnification.ml
/usr/pkg/bin/ocamldep -modules Unifier.ml > Unifier.ml.depends
/usr/pkg/bin/ocamldep -modules unionFind.mli > unionFind.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Unifier.cmo Unifier.ml
/usr/pkg/bin/ocamldep -modules mark.ml > mark.ml.depends
/usr/pkg/bin/ocamldep -modules unionFind.ml > unionFind.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o mark.cmo mark.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o unionFind.cmo unionFind.ml
/usr/pkg/bin/ocamldep -modules slr.ml > slr.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o slr.cmo slr.ml
/usr/pkg/bin/ocamldep -modules codePieces.ml > codePieces.ml.depends
/usr/pkg/bin/ocamldep -modules default.ml > default.ml.depends
/usr/pkg/bin/ocamldep -modules conflict.mli > conflict.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/pkg/bin/ocamldep -modules invariant.ml > invariant.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o codePieces.cmo codePieces.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o default.cmo default.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o invariant.cmo invariant.ml
/usr/pkg/bin/ocamldep -modules conflict.ml > conflict.ml.depends
/usr/pkg/bin/ocamldep -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/pkg/bin/ocamldep -modules derivation.mli > derivation.mli.depends
/usr/pkg/bin/ocamldep -modules lr1partial.mli > lr1partial.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o conflict.cmo conflict.ml
/usr/pkg/bin/ocamldep -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/pkg/bin/ocamldep -modules dot.mli > dot.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/pkg/bin/ocamldep -modules derivation.ml > derivation.ml.depends
/usr/pkg/bin/ocamldep -modules lr1partial.ml > lr1partial.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o DependencyGraph.cmo DependencyGraph.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o derivation.cmo derivation.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o lr1partial.cmo lr1partial.ml
/usr/pkg/bin/ocamldep -modules dot.ml > dot.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o dot.cmo dot.ml
/usr/pkg/bin/ocamldep -modules cst.ml > cst.ml.depends
/usr/pkg/bin/ocamldep -modules pprint.mli > pprint.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/pkg/bin/ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cst.cmo cst.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o referenceInterpreter.cmo referenceInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o sentenceParser.cmo sentenceParser.ml
/usr/pkg/bin/ocamldep -modules pprint.ml > pprint.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o pprint.cmo pprint.ml
/usr/pkg/bin/ocamldep -modules astar.ml > astar.ml.depends
/usr/pkg/bin/ocamldep -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/pkg/bin/ocamldep -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/pkg/bin/ocamldep -modules MySet.mli > MySet.mli.depends
/usr/pkg/bin/ocamldep -modules Trie.mli > Trie.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o astar.cmo astar.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmo LRijkstraCore.ml
/usr/pkg/bin/ocamldep -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/pkg/bin/ocamldep -modules resizableArray.mli > resizableArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/pkg/bin/ocamldep -modules MySet.ml > MySet.ml.depends
/usr/pkg/bin/ocamldep -modules Trie.ml > Trie.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmo LowIntegerPriorityQueue.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o MySet.cmo MySet.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Trie.cmo Trie.ml
/usr/pkg/bin/ocamldep -modules resizableArray.ml > resizableArray.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o resizableArray.cmo resizableArray.ml
/usr/pkg/bin/ocamlc unix.cma -g resizableArray.cmo LowIntegerPriorityQueue.cmo MySet.cmo option.cmo dot.cmo positions.cmo installation.cmo stringSet.cmo version.cmo settings.cmo error.cmo menhirLib.cmo stringMap.cmo misc.cmo InputFile.cmo codeBits.cmo keyword.cmo action.cmo syntax.cmo parameters.cmo tarjan.cmo CheckSafeParameterizedGrammar.cmo lexpointfree.cmo parserAux.cmo newRuleSyntax.cmo parser.cmo parserMessages.cmo Driver.cmo unparameterizedSyntax.cmo Drop.cmo IO.cmo GroundSort.cmo Memoize.cmo mark.cmo unionFind.cmo Unifier.cmo SortUnification.cmo SortInference.cmo SelectiveExpansion.cmo anonymous.cmo nonterminalType.cmo lineCount.cmo printer.cmo tokenType.cmo interface.cmo lexdep.cmo lexmli.cmo infer.cmo Fix.cmo Boolean.cmo Seq.cmo CompletedNatWitness.cmo FixSolver.cmo Maps.cmo gSet.cmo compressedBitSet.cmo gMap.cmo patricia.cmo time.cmo grammarFunctor.cmo keywordExpansion.cmo lexer.cmo chopInlined.cmo listMonad.cmo nonTerminalDefinitionInlining.cmo expandTokenAliases.cmo partialGrammar.cmo reachability.cmo unparameterizedPrinter.cmo front.cmo grammar.cmo DependencyGraph.cmo item.cmo derivation.cmo lr0.cmo slr.cmo lr1.cmo lr1partial.cmo conflict.cmo default.cmo Trie.cmo LRijkstraCore.cmo astar.cmo pprint.cmo cst.cmo invariant.cmo referenceInterpreter.cmo segment.cmo sentenceParserAux.cmo sentenceParser.cmo sentenceLexer.cmo interpret.cmo LRijkstra.cmo cmly_api.cmo cmly_format.cmo cmly_read.cmo cmly_write.cmo codePieces.cmo codeBackend.cmo coqBackend.cmo traverse.cmo inliner.cmo tableBackend.cmo back.cmo menhir.cmo -o menhir.byte
# Parallel statistics: { count(total): 29(346), max: 16, min: 2, average(total): 4.793(1.318) }
gmake[2]: Leaving directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
gmake[2]: Entering directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
/usr/pkg/bin/ocamlc unix.cma -I /usr/pkg/lib/ocaml/site-lib/ocamlbuild /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
cp -p fancy-parser.mly parser.mly
../_stage2/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/pkg/bin/ocamldep -modules' parser.mly > parser.mly.depends
/usr/pkg/bin/ocamldep -modules error.mli > error.mli.depends
/usr/pkg/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/pkg/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/pkg/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/pkg/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/pkg/bin/ocamldep -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/pkg/bin/ocamldep -modules syntax.ml > syntax.ml.depends
/usr/pkg/bin/ocamldep -modules action.mli > action.mli.depends
/usr/pkg/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/pkg/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/pkg/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/pkg/bin/ocamldep -modules InputFile.mli > InputFile.mli.depends
/usr/pkg/bin/ocamldep -modules settings.mli > settings.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/pkg/bin/ocamldep -modules option.mli > option.mli.depends
/usr/pkg/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/pkg/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/pkg/bin/ocamldep -modules General.mli > General.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/pkg/bin/ocamldep -modules General.ml > General.ml.depends
/usr/pkg/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/pkg/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/pkg/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/pkg/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/pkg/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/pkg/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/pkg/bin/ocamldep -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/pkg/bin/ocamldep -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/pkg/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/pkg/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/pkg/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/pkg/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/pkg/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/pkg/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/pkg/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/pkg/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/pkg/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/pkg/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/pkg/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/pkg/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/pkg/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/pkg/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/pkg/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/pkg/bin/ocamlc -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.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.byte -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/pkg/bin/ocamlc -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.
gmake[2]: Leaving directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
/usr/pkg/bin/ocamlc unix.cma -I /usr/pkg/lib/ocaml/site-lib/ocamlbuild /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/pkg/lib/ocaml/site-lib/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/pkg/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/pkg/bin/ocamldep -modules keyword.ml > keyword.ml.depends
/usr/pkg/bin/ocamldep -modules version.ml > version.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_format.ml > cmly_format.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_api.ml > cmly_api.ml.depends
/usr/pkg/bin/ocamldep -modules cmly_read.mli > cmly_read.mli.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/pkg/bin/ocamldep -modules cmly_read.ml > cmly_read.ml.depends
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml
/usr/pkg/bin/ocamlc -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
/usr/pkg/bin/ocamlc -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo
# Parallel statistics: { count(total): 1(15), max: 2, min: 2, average(total): 2.000(1.067) }
gmake[1]: Leaving directory '/tmp/pkgbuild/devel/menhir/work.alpha/menhir-20181113/src'
Creating menhirLib.ml
Creating menhirLib.mli