Mock Version: 1.2.14 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/ocaml-menhir.spec'], env={'SHELL': '/bin/bash', 'TERM': 'vt100', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOSTNAME': 'mock', 'HOME': '/builddir'}logger=chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-15749/root'timeout=0shell=FalseprintOutput=Falseuid=1000user='mockbuild'gid=135) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/ocaml-menhir.spec'] with env {'SHELL': '/bin/bash', 'TERM': 'vt100', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOSTNAME': 'mock', 'HOME': '/builddir'} and shell False Building target platforms: armv6hl Building for target armv6hl Wrote: /builddir/build/SRPMS/ocaml-menhir-20150914-1bs02npfc23.src.rpm Child return code was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --target armv6hl --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/ocaml-menhir.spec "], env={'SHELL': '/bin/bash', 'TERM': 'vt100', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOSTNAME': 'mock', 'HOME': '/builddir'}logger=chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-15749/root'timeout=0shell=FalseprintOutput=Falseprivate_network=Trueuid=1000user='mockbuild'gid=135) Executing command: ['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --target armv6hl --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/ocaml-menhir.spec "] with env {'SHELL': '/bin/bash', 'TERM': 'vt100', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOSTNAME': 'mock', 'HOME': '/builddir'} and shell False Building target platforms: armv6hl Building for target armv6hl Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Eyf8Eq + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf menhir-20150914 + /usr/bin/gzip -dc /builddir/build/SOURCES/menhir-20150914.tar.gz + /usr/bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd menhir-20150914 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 AUTHORS + touch -r AUTHORS AUTHORS.fixed + mv -f AUTHORS.fixed AUTHORS + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 menhir.1 + touch -r menhir.1 menhir.1.fixed + mv -f menhir.1.fixed menhir.1 + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/standard.mly + touch -r src/standard.mly src/standard.mly.fixed + mv -f src/standard.mly.fixed src/standard.mly + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Boolean.ml + touch -r src/Boolean.ml src/Boolean.ml.fixed + mv -f src/Boolean.ml.fixed src/Boolean.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/CompletedNat.ml + touch -r src/CompletedNat.ml src/CompletedNat.ml.fixed + mv -f src/CompletedNat.ml.fixed src/CompletedNat.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/CompletedNatWitness.ml + touch -r src/CompletedNatWitness.ml src/CompletedNatWitness.ml.fixed + mv -f src/CompletedNatWitness.ml.fixed src/CompletedNatWitness.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/ErrorReporting.ml + touch -r src/ErrorReporting.ml src/ErrorReporting.ml.fixed + mv -f src/ErrorReporting.ml.fixed src/ErrorReporting.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Fix.ml + touch -r src/Fix.ml src/Fix.ml.fixed + mv -f src/Fix.ml.fixed src/Fix.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/IO.ml + touch -r src/IO.ml src/IO.ml.fixed + mv -f src/IO.ml.fixed src/IO.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/IncrementalEngine.ml + touch -r src/IncrementalEngine.ml src/IncrementalEngine.ml.fixed + mv -f src/IncrementalEngine.ml.fixed src/IncrementalEngine.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/LinearizedArray.ml + touch -r src/LinearizedArray.ml src/LinearizedArray.ml.fixed + mv -f src/LinearizedArray.ml.fixed src/LinearizedArray.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Maps.ml + touch -r src/Maps.ml src/Maps.ml.fixed + mv -f src/Maps.ml.fixed src/Maps.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Printers.ml + touch -r src/Printers.ml src/Printers.ml.fixed + mv -f src/Printers.ml.fixed src/Printers.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/action.ml + touch -r src/action.ml src/action.ml.fixed + mv -f src/action.ml.fixed src/action.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/back.ml + touch -r src/back.ml src/back.ml.fixed + mv -f src/back.ml.fixed src/back.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/checkOCamlVersion.ml + touch -r src/checkOCamlVersion.ml src/checkOCamlVersion.ml.fixed + mv -f src/checkOCamlVersion.ml.fixed src/checkOCamlVersion.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codeBackend.ml + touch -r src/codeBackend.ml src/codeBackend.ml.fixed + mv -f src/codeBackend.ml.fixed src/codeBackend.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codeBits.ml + touch -r src/codeBits.ml src/codeBits.ml.fixed + mv -f src/codeBits.ml.fixed src/codeBits.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codePieces.ml + touch -r src/codePieces.ml src/codePieces.ml.fixed + mv -f src/codePieces.ml.fixed src/codePieces.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/compressedBitSet.ml + touch -r src/compressedBitSet.ml src/compressedBitSet.ml.fixed + mv -f src/compressedBitSet.ml.fixed src/compressedBitSet.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/conflict.ml + touch -r src/conflict.ml src/conflict.ml.fixed + mv -f src/conflict.ml.fixed src/conflict.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/convert.ml + touch -r src/convert.ml src/convert.ml.fixed + mv -f src/convert.ml.fixed src/convert.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/coqBackend.ml + touch -r src/coqBackend.ml src/coqBackend.ml.fixed + mv -f src/coqBackend.ml.fixed src/coqBackend.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/cst.ml + touch -r src/cst.ml src/cst.ml.fixed + mv -f src/cst.ml.fixed src/cst.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/derivation.ml + touch -r src/derivation.ml src/derivation.ml.fixed + mv -f src/derivation.ml.fixed src/derivation.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/dot.ml + touch -r src/dot.ml src/dot.ml.fixed + mv -f src/dot.ml.fixed src/dot.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/engine.ml + touch -r src/engine.ml src/engine.ml.fixed + mv -f src/engine.ml.fixed src/engine.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/engineTypes.ml + touch -r src/engineTypes.ml src/engineTypes.ml.fixed + mv -f src/engineTypes.ml.fixed src/engineTypes.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/error.ml + touch -r src/error.ml src/error.ml.fixed + mv -f src/error.ml.fixed src/error.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/front.ml + touch -r src/front.ml src/front.ml.fixed + mv -f src/front.ml.fixed src/front.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/gMap.ml + touch -r src/gMap.ml src/gMap.ml.fixed + mv -f src/gMap.ml.fixed src/gMap.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/gSet.ml + touch -r src/gSet.ml src/gSet.ml.fixed + mv -f src/gSet.ml.fixed src/gSet.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/general.ml + touch -r src/general.ml src/general.ml.fixed + mv -f src/general.ml.fixed src/general.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/grammar.ml + touch -r src/grammar.ml src/grammar.ml.fixed + mv -f src/grammar.ml.fixed src/grammar.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/infer.ml + touch -r src/infer.ml src/infer.ml.fixed + mv -f src/infer.ml.fixed src/infer.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/infiniteArray.ml + touch -r src/infiniteArray.ml src/infiniteArray.ml.fixed + mv -f src/infiniteArray.ml.fixed src/infiniteArray.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/inliner.ml + touch -r src/inliner.ml src/inliner.ml.fixed + mv -f src/inliner.ml.fixed src/inliner.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/inspectionTableFormat.ml + touch -r src/inspectionTableFormat.ml src/inspectionTableFormat.ml.fixed + mv -f src/inspectionTableFormat.ml.fixed src/inspectionTableFormat.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/inspectionTableInterpreter.ml + touch -r src/inspectionTableInterpreter.ml src/inspectionTableInterpreter.ml.fixed + mv -f src/inspectionTableInterpreter.ml.fixed src/inspectionTableInterpreter.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/installation.ml + touch -r src/installation.ml src/installation.ml.fixed + mv -f src/installation.ml.fixed src/installation.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/interface.ml + touch -r src/interface.ml src/interface.ml.fixed + mv -f src/interface.ml.fixed src/interface.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/interpret.ml + touch -r src/interpret.ml src/interpret.ml.fixed + mv -f src/interpret.ml.fixed src/interpret.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/invariant.ml + touch -r src/invariant.ml src/invariant.ml.fixed + mv -f src/invariant.ml.fixed src/invariant.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/item.ml + touch -r src/item.ml src/item.ml.fixed + mv -f src/item.ml.fixed src/item.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/keyword.ml + touch -r src/keyword.ml src/keyword.ml.fixed + mv -f src/keyword.ml.fixed src/keyword.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/listMonad.ml + touch -r src/listMonad.ml src/listMonad.ml.fixed + mv -f src/listMonad.ml.fixed src/listMonad.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr0.ml + touch -r src/lr0.ml src/lr0.ml.fixed + mv -f src/lr0.ml.fixed src/lr0.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr1.ml + touch -r src/lr1.ml src/lr1.ml.fixed + mv -f src/lr1.ml.fixed src/lr1.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr1partial.ml + touch -r src/lr1partial.ml src/lr1partial.ml.fixed + mv -f src/lr1partial.ml.fixed src/lr1partial.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/mark.ml + touch -r src/mark.ml src/mark.ml.fixed + mv -f src/mark.ml.fixed src/mark.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/menhir.ml + touch -r src/menhir.ml src/menhir.ml.fixed + mv -f src/menhir.ml.fixed src/menhir.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/misc.ml + touch -r src/misc.ml src/misc.ml.fixed + mv -f src/misc.ml.fixed src/misc.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/myocamlbuild.ml + touch -r src/myocamlbuild.ml src/myocamlbuild.ml.fixed + mv -f src/myocamlbuild.ml.fixed src/myocamlbuild.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonTerminalDefinitionInlining.ml + touch -r src/nonTerminalDefinitionInlining.ml src/nonTerminalDefinitionInlining.ml.fixed + mv -f src/nonTerminalDefinitionInlining.ml.fixed src/nonTerminalDefinitionInlining.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonpositiveCycles.ml + touch -r src/nonpositiveCycles.ml src/nonpositiveCycles.ml.fixed + mv -f src/nonpositiveCycles.ml.fixed src/nonpositiveCycles.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonterminalType.ml + touch -r src/nonterminalType.ml src/nonterminalType.ml.fixed + mv -f src/nonterminalType.ml.fixed src/nonterminalType.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/option.ml + touch -r src/option.ml src/option.ml.fixed + mv -f src/option.ml.fixed src/option.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/packedIntArray.ml + touch -r src/packedIntArray.ml src/packedIntArray.ml.fixed + mv -f src/packedIntArray.ml.fixed src/packedIntArray.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/parameterizedGrammar.ml + touch -r src/parameterizedGrammar.ml src/parameterizedGrammar.ml.fixed + mv -f src/parameterizedGrammar.ml.fixed src/parameterizedGrammar.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/parameters.ml + touch -r src/parameters.ml src/parameters.ml.fixed + mv -f src/parameters.ml.fixed src/parameters.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/parserAux.ml + touch -r src/parserAux.ml src/parserAux.ml.fixed + mv -f src/parserAux.ml.fixed src/parserAux.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/partialGrammar.ml + touch -r src/partialGrammar.ml src/partialGrammar.ml.fixed + mv -f src/partialGrammar.ml.fixed src/partialGrammar.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/patricia.ml + touch -r src/patricia.ml src/patricia.ml.fixed + mv -f src/patricia.ml.fixed src/patricia.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/positions.ml + touch -r src/positions.ml src/positions.ml.fixed + mv -f src/positions.ml.fixed src/positions.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/pprint.ml + touch -r src/pprint.ml src/pprint.ml.fixed + mv -f src/pprint.ml.fixed src/pprint.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/printer.ml + touch -r src/printer.ml src/printer.ml.fixed + mv -f src/printer.ml.fixed src/printer.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/rawPrinter.ml + touch -r src/rawPrinter.ml src/rawPrinter.ml.fixed + mv -f src/rawPrinter.ml.fixed src/rawPrinter.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/reachability.ml + touch -r src/reachability.ml src/reachability.ml.fixed + mv -f src/reachability.ml.fixed src/reachability.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/reductionGraphs.ml + touch -r src/reductionGraphs.ml src/reductionGraphs.ml.fixed + mv -f src/reductionGraphs.ml.fixed src/reductionGraphs.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/referenceInterpreter.ml + touch -r src/referenceInterpreter.ml src/referenceInterpreter.ml.fixed + mv -f src/referenceInterpreter.ml.fixed src/referenceInterpreter.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/rowDisplacement.ml + touch -r src/rowDisplacement.ml src/rowDisplacement.ml.fixed + mv -f src/rowDisplacement.ml.fixed src/rowDisplacement.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/settings.ml + touch -r src/settings.ml src/settings.ml.fixed + mv -f src/settings.ml.fixed src/settings.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/slr.ml + touch -r src/slr.ml src/slr.ml.fixed + mv -f src/slr.ml.fixed src/slr.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/stringMap.ml + touch -r src/stringMap.ml src/stringMap.ml.fixed + mv -f src/stringMap.ml.fixed src/stringMap.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/stringSet.ml + touch -r src/stringSet.ml src/stringSet.ml.fixed + mv -f src/stringSet.ml.fixed src/stringSet.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tableBackend.ml + touch -r src/tableBackend.ml src/tableBackend.ml.fixed + mv -f src/tableBackend.ml.fixed src/tableBackend.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tableFormat.ml + touch -r src/tableFormat.ml src/tableFormat.ml.fixed + mv -f src/tableFormat.ml.fixed src/tableFormat.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tableInterpreter.ml + touch -r src/tableInterpreter.ml src/tableInterpreter.ml.fixed + mv -f src/tableInterpreter.ml.fixed src/tableInterpreter.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tarjan.ml + touch -r src/tarjan.ml src/tarjan.ml.fixed + mv -f src/tarjan.ml.fixed src/tarjan.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/time.ml + touch -r src/time.ml src/time.ml.fixed + mv -f src/time.ml.fixed src/time.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tokenType.ml + touch -r src/tokenType.ml src/tokenType.ml.fixed + mv -f src/tokenType.ml.fixed src/tokenType.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/traverse.ml + touch -r src/traverse.ml src/traverse.ml.fixed + mv -f src/traverse.ml.fixed src/traverse.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/unionFind.ml + touch -r src/unionFind.ml src/unionFind.ml.fixed + mv -f src/unionFind.ml.fixed src/unionFind.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/unparameterizedPrinter.ml + touch -r src/unparameterizedPrinter.ml src/unparameterizedPrinter.ml.fixed + mv -f src/unparameterizedPrinter.ml.fixed src/unparameterizedPrinter.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/unparameterizedSyntax.ml + touch -r src/unparameterizedSyntax.ml src/unparameterizedSyntax.ml.fixed + mv -f src/unparameterizedSyntax.ml.fixed src/unparameterizedSyntax.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/version.ml + touch -r src/version.ml src/version.ml.fixed + mv -f src/version.ml.fixed src/version.ml + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Boolean.mli + touch -r src/Boolean.mli src/Boolean.mli.fixed + mv -f src/Boolean.mli.fixed src/Boolean.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/CompletedNat.mli + touch -r src/CompletedNat.mli src/CompletedNat.mli.fixed + mv -f src/CompletedNat.mli.fixed src/CompletedNat.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/CompletedNatWitness.mli + touch -r src/CompletedNatWitness.mli src/CompletedNatWitness.mli.fixed + mv -f src/CompletedNatWitness.mli.fixed src/CompletedNatWitness.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/ErrorReporting.mli + touch -r src/ErrorReporting.mli src/ErrorReporting.mli.fixed + mv -f src/ErrorReporting.mli.fixed src/ErrorReporting.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Fix.mli + touch -r src/Fix.mli src/Fix.mli.fixed + mv -f src/Fix.mli.fixed src/Fix.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/IL.mli + touch -r src/IL.mli src/IL.mli.fixed + mv -f src/IL.mli.fixed src/IL.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/IO.mli + touch -r src/IO.mli src/IO.mli.fixed + mv -f src/IO.mli.fixed src/IO.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/LinearizedArray.mli + touch -r src/LinearizedArray.mli src/LinearizedArray.mli.fixed + mv -f src/LinearizedArray.mli.fixed src/LinearizedArray.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Maps.mli + touch -r src/Maps.mli src/Maps.mli.fixed + mv -f src/Maps.mli.fixed src/Maps.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/Printers.mli + touch -r src/Printers.mli src/Printers.mli.fixed + mv -f src/Printers.mli.fixed src/Printers.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/action.mli + touch -r src/action.mli src/action.mli.fixed + mv -f src/action.mli.fixed src/action.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/back.mli + touch -r src/back.mli src/back.mli.fixed + mv -f src/back.mli.fixed src/back.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codeBackend.mli + touch -r src/codeBackend.mli src/codeBackend.mli.fixed + mv -f src/codeBackend.mli.fixed src/codeBackend.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codeBits.mli + touch -r src/codeBits.mli src/codeBits.mli.fixed + mv -f src/codeBits.mli.fixed src/codeBits.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/codePieces.mli + touch -r src/codePieces.mli src/codePieces.mli.fixed + mv -f src/codePieces.mli.fixed src/codePieces.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/compressedBitSet.mli + touch -r src/compressedBitSet.mli src/compressedBitSet.mli.fixed + mv -f src/compressedBitSet.mli.fixed src/compressedBitSet.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/concreteSyntax.mli + touch -r src/concreteSyntax.mli src/concreteSyntax.mli.fixed + mv -f src/concreteSyntax.mli.fixed src/concreteSyntax.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/conflict.mli + touch -r src/conflict.mli src/conflict.mli.fixed + mv -f src/conflict.mli.fixed src/conflict.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/convert.mli + touch -r src/convert.mli src/convert.mli.fixed + mv -f src/convert.mli.fixed src/convert.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/coqBackend.mli + touch -r src/coqBackend.mli src/coqBackend.mli.fixed + mv -f src/coqBackend.mli.fixed src/coqBackend.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/cst.mli + touch -r src/cst.mli src/cst.mli.fixed + mv -f src/cst.mli.fixed src/cst.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/derivation.mli + touch -r src/derivation.mli src/derivation.mli.fixed + mv -f src/derivation.mli.fixed src/derivation.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/dot.mli + touch -r src/dot.mli src/dot.mli.fixed + mv -f src/dot.mli.fixed src/dot.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/engine.mli + touch -r src/engine.mli src/engine.mli.fixed + mv -f src/engine.mli.fixed src/engine.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/error.mli + touch -r src/error.mli src/error.mli.fixed + mv -f src/error.mli.fixed src/error.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/front.mli + touch -r src/front.mli src/front.mli.fixed + mv -f src/front.mli.fixed src/front.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/general.mli + touch -r src/general.mli src/general.mli.fixed + mv -f src/general.mli.fixed src/general.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/grammar.mli + touch -r src/grammar.mli src/grammar.mli.fixed + mv -f src/grammar.mli.fixed src/grammar.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/infer.mli + touch -r src/infer.mli src/infer.mli.fixed + mv -f src/infer.mli.fixed src/infer.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/infiniteArray.mli + touch -r src/infiniteArray.mli src/infiniteArray.mli.fixed + mv -f src/infiniteArray.mli.fixed src/infiniteArray.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/inliner.mli + touch -r src/inliner.mli src/inliner.mli.fixed + mv -f src/inliner.mli.fixed src/inliner.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/inspectionTableInterpreter.mli + touch -r src/inspectionTableInterpreter.mli src/inspectionTableInterpreter.mli.fixed + mv -f src/inspectionTableInterpreter.mli.fixed src/inspectionTableInterpreter.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/installation.mli + touch -r src/installation.mli src/installation.mli.fixed + mv -f src/installation.mli.fixed src/installation.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/interface.mli + touch -r src/interface.mli src/interface.mli.fixed + mv -f src/interface.mli.fixed src/interface.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/internalSyntax.mli + touch -r src/internalSyntax.mli src/internalSyntax.mli.fixed + mv -f src/internalSyntax.mli.fixed src/internalSyntax.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/interpret.mli + touch -r src/interpret.mli src/interpret.mli.fixed + mv -f src/interpret.mli.fixed src/interpret.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/invariant.mli + touch -r src/invariant.mli src/invariant.mli.fixed + mv -f src/invariant.mli.fixed src/invariant.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/item.mli + touch -r src/item.mli src/item.mli.fixed + mv -f src/item.mli.fixed src/item.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/keyword.mli + touch -r src/keyword.mli src/keyword.mli.fixed + mv -f src/keyword.mli.fixed src/keyword.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/listMonad.mli + touch -r src/listMonad.mli src/listMonad.mli.fixed + mv -f src/listMonad.mli.fixed src/listMonad.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lookahead.mli + touch -r src/lookahead.mli src/lookahead.mli.fixed + mv -f src/lookahead.mli.fixed src/lookahead.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr0.mli + touch -r src/lr0.mli src/lr0.mli.fixed + mv -f src/lr0.mli.fixed src/lr0.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr1.mli + touch -r src/lr1.mli src/lr1.mli.fixed + mv -f src/lr1.mli.fixed src/lr1.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/lr1partial.mli + touch -r src/lr1partial.mli src/lr1partial.mli.fixed + mv -f src/lr1partial.mli.fixed src/lr1partial.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/mark.mli + touch -r src/mark.mli src/mark.mli.fixed + mv -f src/mark.mli.fixed src/mark.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/misc.mli + touch -r src/misc.mli src/misc.mli.fixed + mv -f src/misc.mli.fixed src/misc.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonTerminalDefinitionInlining.mli + touch -r src/nonTerminalDefinitionInlining.mli src/nonTerminalDefinitionInlining.mli.fixed + mv -f src/nonTerminalDefinitionInlining.mli.fixed src/nonTerminalDefinitionInlining.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonpositiveCycles.mli + touch -r src/nonpositiveCycles.mli src/nonpositiveCycles.mli.fixed + mv -f src/nonpositiveCycles.mli.fixed src/nonpositiveCycles.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/nonterminalType.mli + touch -r src/nonterminalType.mli src/nonterminalType.mli.fixed + mv -f src/nonterminalType.mli.fixed src/nonterminalType.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/option.mli + touch -r src/option.mli src/option.mli.fixed + mv -f src/option.mli.fixed src/option.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/packedIntArray.mli + touch -r src/packedIntArray.mli src/packedIntArray.mli.fixed + mv -f src/packedIntArray.mli.fixed src/packedIntArray.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/parameterizedGrammar.mli + touch -r src/parameterizedGrammar.mli src/parameterizedGrammar.mli.fixed + mv -f src/parameterizedGrammar.mli.fixed src/parameterizedGrammar.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/parserAux.mli + touch -r src/parserAux.mli src/parserAux.mli.fixed + mv -f src/parserAux.mli.fixed src/parserAux.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/partialGrammar.mli + touch -r src/partialGrammar.mli src/partialGrammar.mli.fixed + mv -f src/partialGrammar.mli.fixed src/partialGrammar.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/patricia.mli + touch -r src/patricia.mli src/patricia.mli.fixed + mv -f src/patricia.mli.fixed src/patricia.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/positions.mli + touch -r src/positions.mli src/positions.mli.fixed + mv -f src/positions.mli.fixed src/positions.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/pprint.mli + touch -r src/pprint.mli src/pprint.mli.fixed + mv -f src/pprint.mli.fixed src/pprint.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/printer.mli + touch -r src/printer.mli src/printer.mli.fixed + mv -f src/printer.mli.fixed src/printer.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/rawPrinter.mli + touch -r src/rawPrinter.mli src/rawPrinter.mli.fixed + mv -f src/rawPrinter.mli.fixed src/rawPrinter.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/reachability.mli + touch -r src/reachability.mli src/reachability.mli.fixed + mv -f src/reachability.mli.fixed src/reachability.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/referenceInterpreter.mli + touch -r src/referenceInterpreter.mli src/referenceInterpreter.mli.fixed + mv -f src/referenceInterpreter.mli.fixed src/referenceInterpreter.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/rowDisplacement.mli + touch -r src/rowDisplacement.mli src/rowDisplacement.mli.fixed + mv -f src/rowDisplacement.mli.fixed src/rowDisplacement.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/settings.mli + touch -r src/settings.mli src/settings.mli.fixed + mv -f src/settings.mli.fixed src/settings.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/slr.mli + touch -r src/slr.mli src/slr.mli.fixed + mv -f src/slr.mli.fixed src/slr.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/stretch.mli + touch -r src/stretch.mli src/stretch.mli.fixed + mv -f src/stretch.mli.fixed src/stretch.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/stringMap.mli + touch -r src/stringMap.mli src/stringMap.mli.fixed + mv -f src/stringMap.mli.fixed src/stringMap.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/stringSet.mli + touch -r src/stringSet.mli src/stringSet.mli.fixed + mv -f src/stringSet.mli.fixed src/stringSet.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/syntax.mli + touch -r src/syntax.mli src/syntax.mli.fixed + mv -f src/syntax.mli.fixed src/syntax.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tableBackend.mli + touch -r src/tableBackend.mli src/tableBackend.mli.fixed + mv -f src/tableBackend.mli.fixed src/tableBackend.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tableInterpreter.mli + touch -r src/tableInterpreter.mli src/tableInterpreter.mli.fixed + mv -f src/tableInterpreter.mli.fixed src/tableInterpreter.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tarjan.mli + touch -r src/tarjan.mli src/tarjan.mli.fixed + mv -f src/tarjan.mli.fixed src/tarjan.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/time.mli + touch -r src/time.mli src/time.mli.fixed + mv -f src/time.mli.fixed src/time.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/tokenType.mli + touch -r src/tokenType.mli src/tokenType.mli.fixed + mv -f src/tokenType.mli.fixed src/tokenType.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/unionFind.mli + touch -r src/unionFind.mli src/unionFind.mli.fixed + mv -f src/unionFind.mli.fixed src/unionFind.mli + for f in AUTHORS menhir.1 src/standard.mly 'src/*.ml' 'src/*.mli' + iconv -f ISO8859-1 -t UTF-8 src/unparameterizedPrinter.mli + touch -r src/unparameterizedPrinter.mli src/unparameterizedPrinter.mli.fixed + mv -f src/unparameterizedPrinter.mli.fixed src/unparameterizedPrinter.mli + sed -i 's/-j 0/-cflag -g -lflag -g &/' src/Makefile + rm -fr demos/obsolete + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ssSFWX + umask 022 + cd /builddir/build/BUILD + cd menhir-20150914 + make PREFIX=/usr TARGET=native rm -f src/installation.ml echo "let libdir = \"/usr/share/menhir\"" > src/installation.ml if ocamlfind ocamlc -v >/dev/null 2>&1 ; then \ echo "let ocamlfind = true" >> src/installation.ml ; \ else \ echo "let ocamlfind = false" >> src/installation.ml ; \ fi make -C src library bootstrap make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/src' ocamlbuild -classic-display -cflag -g -lflag -g -j 0 -cflags "-safe-string -bin-annot" menhirLib.cmo menhirLib.cmx /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules convert.mli > convert.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o convert.cmi convert.mli /usr/bin/ocamldep.opt -modules convert.ml > convert.ml.depends /usr/bin/ocamldep.opt -modules engine.mli > engine.mli.depends /usr/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules general.mli > general.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o general.cmi general.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engineTypes.cmo engineTypes.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o engine.cmi engine.mli /usr/bin/ocamldep.opt -modules engine.ml > engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o ErrorReporting.cmi ErrorReporting.mli /usr/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends /usr/bin/ocamldep.opt -modules general.ml > general.ml.depends /usr/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o infiniteArray.cmi infiniteArray.mli /usr/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends /usr/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o packedIntArray.cmi packedIntArray.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableFormat.cmo inspectionTableFormat.ml /usr/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableFormat.cmo tableFormat.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o rowDisplacement.cmi rowDisplacement.mli /usr/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o tableInterpreter.cmi tableInterpreter.mli /usr/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o convert.cmo convert.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engine.cmo engine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o ErrorReporting.cmo ErrorReporting.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o general.cmo general.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o infiniteArray.cmo infiniteArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o packedIntArray.cmo packedIntArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o rowDisplacement.cmo rowDisplacement.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableInterpreter.cmo tableInterpreter.ml /usr/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o general.cmx general.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engine.cmx engine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o convert.cmx convert.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml touch menhirLib.mli ; if /usr/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi # Parallel statistics: { count(total): 3(55), max: 11, min: 2, average(total): 6.000(1.273) } Checking that Objective Caml is recent enough... /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o checkOCamlVersion.cmo checkOCamlVersion.ml /usr/bin/ocamlc.opt -g str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte # No parallelism done Version 4.02.2 is OK. /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.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/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o action.cmi action.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lineCount.cmo lineCount.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o version.cmx version.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lineCount.cmx lineCount.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o keyword.cmx keyword.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o printer.cmx printer.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o codeBits.cmi codeBits.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamldep.opt -modules grammar.mli > grammar.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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o gSet.cmo gSet.ml /usr/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o mark.cmi mark.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o syntax.cmi syntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o grammar.cmi grammar.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o codePieces.cmi codePieces.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o action.cmx action.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o CompletedNatWitness.cmi CompletedNatWitness.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o gSet.cmx gSet.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o dot.cmi dot.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o option.cmi option.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o option.cmx option.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o error.cmi error.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o mark.cmx mark.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 stringMap.mli > stringMap.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o front.cmi front.mli /usr/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o error.cmx error.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o infer.cmi infer.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o interface.cmi interface.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o stringMap.cmx stringMap.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unparameterizedSyntax.cmx unparameterizedSyntax.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexmli.cmx lexmli.ml /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends cp 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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o concreteSyntax.cmi concreteSyntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o parameters.cmo parameters.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o parserAux.cmi parserAux.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parameters.cmx parameters.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parser.cmx parser.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends /usr/bin/ocamldep.opt -modules internalSyntax.mli > internalSyntax.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o internalSyntax.cmi internalSyntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parameterizedGrammar.cmi parameterizedGrammar.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tarjan.cmi tarjan.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o tarjan.cmx tarjan.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unionFind.cmx unionFind.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o partialGrammar.cmi partialGrammar.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o reachability.cmi reachability.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o time.cmi time.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parameterizedGrammar.cmx parameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o time.cmx time.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o gMap.cmx gMap.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o CompletedNatWitness.cmx CompletedNatWitness.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o dot.cmx dot.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o front.cmx front.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o lookahead.cmi lookahead.mli /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o item.cmi item.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr0.cmi lr0.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr1.cmi lr1.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o invariant.cmi invariant.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o conflict.cmi conflict.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules convert.mli > convert.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o convert.cmi convert.mli /usr/bin/ocamldep.opt -modules convert.ml > convert.ml.depends /usr/bin/ocamldep.opt -modules engine.mli > engine.mli.depends /usr/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules general.mli > general.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o general.cmi general.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engineTypes.cmo engineTypes.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o engine.cmi engine.mli /usr/bin/ocamldep.opt -modules engine.ml > engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o ErrorReporting.cmi ErrorReporting.mli /usr/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends /usr/bin/ocamldep.opt -modules general.ml > general.ml.depends /usr/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o infiniteArray.cmi infiniteArray.mli /usr/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends /usr/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o packedIntArray.cmi packedIntArray.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableFormat.cmo inspectionTableFormat.ml /usr/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableFormat.cmo tableFormat.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o rowDisplacement.cmi rowDisplacement.mli /usr/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o tableInterpreter.cmi tableInterpreter.mli /usr/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o convert.cmo convert.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engine.cmo engine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o ErrorReporting.cmo ErrorReporting.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o general.cmo general.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o infiniteArray.cmo infiniteArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o packedIntArray.cmo packedIntArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o rowDisplacement.cmo rowDisplacement.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableInterpreter.cmo tableInterpreter.ml /usr/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o general.cmx general.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engine.cmx engine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o convert.cmx convert.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml touch menhirLib.mli ; if /usr/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o slr.cmx slr.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lr1.cmx lr1.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o conflict.cmx conflict.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o cst.cmi cst.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o cst.cmx cst.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/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o sentenceLexer.cmx sentenceLexer.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o interpret.cmx interpret.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt -g unix.cmxa -g Fix.cmx Boolean.cmx CompletedNatWitness.cmx IO.cmx Maps.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx mark.cmx error.cmx stringMap.cmx misc.cmx unparameterizedSyntax.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx time.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(310), max: 11, min: 2, average(total): 3.647(1.145) } /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.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/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o action.cmi action.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lineCount.cmo lineCount.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o version.cmx version.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lineCount.cmx lineCount.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o keyword.cmx keyword.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o printer.cmx printer.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o codeBits.cmi codeBits.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamldep.opt -modules grammar.mli > grammar.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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o gSet.cmo gSet.ml /usr/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o mark.cmi mark.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o syntax.cmi syntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o grammar.cmi grammar.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o codePieces.cmi codePieces.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o action.cmx action.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o CompletedNatWitness.cmi CompletedNatWitness.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o gSet.cmx gSet.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o dot.cmi dot.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o option.cmi option.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o option.cmx option.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o error.cmi error.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o mark.cmx mark.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 stringMap.mli > stringMap.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o front.cmi front.mli /usr/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o error.cmx error.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o infer.cmi infer.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o interface.cmi interface.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o stringMap.cmx stringMap.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unparameterizedSyntax.cmx unparameterizedSyntax.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexmli.cmx lexmli.ml /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends cp fancy-parser.mly parser.mly /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o concreteSyntax.cmi concreteSyntax.mli /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o parameters.cmo parameters.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parserAux.cmi parserAux.mli /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer parser.mly + /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 26 terminal symbols. Grammar has 91 productions. Built an LR(0) automaton with 128 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 151 states. 5 shift/reduce conflicts were silently solved. 47 out of 151 states are represented. 28 out of 63 symbols keep track of their start position. 25 out of 63 symbols keep track of their end position. 75 out of 151 states have a default reduction. 46 out of 92 productions exploit shiftreduce optimization. 22 out of 151 states can peek at an error. 434 functions before inlining, 109 functions after inlining. /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parameters.cmx parameters.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parser.cmx parser.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends /usr/bin/ocamldep.opt -modules internalSyntax.mli > internalSyntax.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o internalSyntax.cmi internalSyntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parameterizedGrammar.cmi parameterizedGrammar.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tarjan.cmi tarjan.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o tarjan.cmx tarjan.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unionFind.cmx unionFind.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o partialGrammar.cmi partialGrammar.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o reachability.cmi reachability.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o time.cmi time.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o parameterizedGrammar.cmx parameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o time.cmx time.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o gMap.cmx gMap.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o CompletedNatWitness.cmx CompletedNatWitness.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o dot.cmx dot.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o front.cmx front.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o lookahead.cmi lookahead.mli /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o item.cmi item.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr0.cmi lr0.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr1.cmi lr1.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o invariant.cmi invariant.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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o conflict.cmi conflict.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules convert.mli > convert.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o convert.cmi convert.mli /usr/bin/ocamldep.opt -modules convert.ml > convert.ml.depends /usr/bin/ocamldep.opt -modules engine.mli > engine.mli.depends /usr/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules general.mli > general.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o general.cmi general.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engineTypes.cmo engineTypes.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o engine.cmi engine.mli /usr/bin/ocamldep.opt -modules engine.ml > engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o ErrorReporting.cmi ErrorReporting.mli /usr/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends /usr/bin/ocamldep.opt -modules general.ml > general.ml.depends /usr/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o infiniteArray.cmi infiniteArray.mli /usr/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends /usr/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o packedIntArray.cmi packedIntArray.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableFormat.cmo inspectionTableFormat.ml /usr/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableFormat.cmo tableFormat.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o rowDisplacement.cmi rowDisplacement.mli /usr/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o tableInterpreter.cmi tableInterpreter.mli /usr/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o convert.cmo convert.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o engine.cmo engine.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o ErrorReporting.cmo ErrorReporting.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o general.cmo general.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o infiniteArray.cmo infiniteArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o packedIntArray.cmo packedIntArray.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o rowDisplacement.cmo rowDisplacement.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o tableInterpreter.cmo tableInterpreter.ml /usr/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o general.cmx general.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o engine.cmx engine.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o convert.cmx convert.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml touch menhirLib.mli ; if /usr/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o slr.cmx slr.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lr1.cmx lr1.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o conflict.cmx conflict.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -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/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o cst.cmi cst.mli /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer sentenceParser.mly + /builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer sentenceParser.mly Grammar has 2 nonterminal symbols, among which 1 start symbols. Grammar has 5 terminal symbols. Grammar has 5 productions. Built an LR(0) automaton with 11 states. The grammar is SLR(1). Built an LR(1) automaton with 11 states. 3 out of 11 states are represented. 0 out of 10 symbols keep track of their start position. 0 out of 10 symbols keep track of their end position. 5 out of 11 states have a default reduction. 4 out of 6 productions exploit shiftreduce optimization. 0 out of 11 states can peek at an error. 36 functions before inlining, 7 functions after inlining. /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o sentenceLexer.cmx sentenceLexer.ml /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o interpret.cmx interpret.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -safe-string -bin-annot -g -inline 1000 -w @1..49-4-9-41-44 -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt -g unix.cmxa -g Fix.cmx Boolean.cmx CompletedNatWitness.cmx IO.cmx Maps.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx mark.cmx error.cmx stringMap.cmx misc.cmx unparameterizedSyntax.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx time.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 18(311), max: 11, min: 2, average(total): 3.556(1.148) } /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild cp fancy-parser.mly parser.mly /builddir/build/BUILD/menhir-20150914/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.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/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o IL.cmi IL.mli /usr/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends /usr/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o action.cmi action.mli /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o mark.cmi mark.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o syntax.cmi syntax.mli /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /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 -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o stringMap.cmi stringMap.mli /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o concreteSyntax.cmi concreteSyntax.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o error.cmi error.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o misc.cmi misc.mli /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -g -w @1..49-4-9-41-44 -o parameters.cmo parameters.ml /usr/bin/ocamlc.opt -c -g -safe-string -bin-annot -w @1..49-4-9-41-44 -o parserAux.cmi parserAux.mli /builddir/build/BUILD/menhir-20150914/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer parser.mly + /builddir/build/BUILD/menhir-20150914/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /builddir/build/BUILD/menhir-20150914/src --strict --fixed-exception --ocamlc '/usr/bin/ocamlc.opt -g -safe-string -bin-annot -w @1..49-4-9-41-44' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 26 terminal symbols. Grammar has 91 productions. Built an LR(0) automaton with 128 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 151 states. 5 shift/reduce conflicts were silently solved. 47 out of 151 states are represented. 28 out of 63 symbols keep track of their start position. 25 out of 63 symbols keep track of their end position. 75 out of 151 states have a default reduction. 46 out of 92 productions exploit shiftreduce optimization. 22 out of 151 states can peek at an error. 434 functions before inlining, 109 functions after inlining. # Parallel statistics: { count(total): 2(27), max: 5, min: 2, average(total): 3.500(1.185) } Bootstrap successful. make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/src' + make -C demos clean make: Entering directory '/builddir/build/BUILD/menhir-20150914/demos' /bin/rm -f *~ .*~ make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/demos/calc' rm -f *~ .*~ ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native --infer" -clean make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos/calc' make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/demos/calc-two' rm -f *~ .*~ ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native --infer" -clean make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos/calc-two' make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/demos/calc-param' rm -f *~ .*~ ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native --infer" -clean make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos/calc-param' make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/demos/calc-incremental' rm -f *~ .*~ ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native --table" -package menhirLib -clean make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos/calc-incremental' make[1]: Entering directory '/builddir/build/BUILD/menhir-20150914/demos/calc-inspection' rm -f *~ .*~ ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20150914/src/_stage1/menhir.native --table --inspection -v -la 2" -package menhirLib -clean make[1]: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos/calc-inspection' make: Leaving directory '/builddir/build/BUILD/menhir-20150914/demos' Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.f0T1gS + exit 0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm ++ dirname /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm + cd menhir-20150914 + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml + make install PREFIX=/builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr TARGET=native mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/bin mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/menhir mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/menhir mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/man/man1 install src/_stage2/menhir.native /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/bin/menhir install -m 644 src/standard.mly /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/menhir cp -r manual.pdf demos /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/menhir cp -r menhir.1 /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/man/man1 Installing MenhirLib via ocamlfind. Installed /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml/menhirLib/menhirLib.o Installed /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml/menhirLib/menhirLib.cmx Installed /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml/menhirLib/menhirLib.cmo Installed /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml/menhirLib/menhirLib.cmi Installed /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/lib/ocaml/menhirLib/META + rm -fr /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/menhir + /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 /builddir/build/BUILD/menhir-20150914 extracting debug info from /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/bin/menhir dwz: Too few files for multifile optimization /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. cpio: menhir-20150914/src/_stage2/buffer.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/bytes.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/hashtbl.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/list.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/pervasives.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/set.ml: Cannot stat: No such file or directory cpio: menhir-20150914/src/_stage2/string.ml: Cannot stat: No such file or directory cpio: ocaml-4.02.2/stdlib: Cannot stat: No such file or directory cpio: ocaml-4.02.2/stdlib/std_exit.ml: Cannot stat: No such file or directory 2425 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Processing files: ocaml-menhir-20150914-1bs02npfc23.armv6hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.F6Xa4t + umask 022 + cd /builddir/build/BUILD + cd menhir-20150914 + DOCDIR=/builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + cp -pr AUTHORS /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + cp -pr CHANGES /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + cp -pr manual.pdf /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + cp -pr demos /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/doc/ocaml-menhir + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.dv1hcc + umask 022 + cd /builddir/build/BUILD + cd menhir-20150914 + LICENSEDIR=/builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/licenses/ocaml-menhir + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/licenses/ocaml-menhir + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm/usr/share/licenses/ocaml-menhir + exit 0 Provides: ocaml-menhir = 20150914-1bs02npfc23 ocaml-menhir(armv6hl-32) = 20150914-1bs02npfc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.15) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libdl.so.2 libdl.so.2(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.4) rtld(GNU_HASH) Processing files: ocaml-menhir-devel-20150914-1bs02npfc23.armv6hl Provides: ocaml(MenhirLib) = 52daf3c1219fa3d45df73e0222cd6bb1 ocaml-menhir-devel = 20150914-1bs02npfc23 ocaml-menhir-devel(armv6hl-32) = 20150914-1bs02npfc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Array) = ae800d8cf9903f1d36856950940430e6 ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b ocaml(Bytes) = 4c433013a088edac8556bb94512e4988 ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24 ocaml(CamlinternalLazy) = 122717041759525de93c0247d8e18b5a ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12 ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a ocaml(Lazy) = 7dba0bf02f60e5ff44e9e4057263f28d ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62 ocaml(List) = 8988208489274193e4e3f69dc6ec2f75 ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2 ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186 ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590 ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c ocaml(runtime) = 4.02.2 Processing files: ocaml-menhir-debuginfo-20150914-1bs02npfc23.armv6hl Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm Wrote: /builddir/build/RPMS/ocaml-menhir-20150914-1bs02npfc23.armv6hl.rpm Wrote: /builddir/build/RPMS/ocaml-menhir-devel-20150914-1bs02npfc23.armv6hl.rpm Wrote: /builddir/build/RPMS/ocaml-menhir-debuginfo-20150914-1bs02npfc23.armv6hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.R2Kqjm + umask 022 + cd /builddir/build/BUILD + cd menhir-20150914 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-menhir-20150914-1bs02npfc23.arm + exit 0 Child return code was: 0 LEAVE do -->