<86>Jan  6 01:58:00 userdel[55532]: delete user 'rooter'
<86>Jan  6 01:58:00 userdel[55532]: removed group 'rooter' owned by 'rooter'
<86>Jan  6 01:58:00 userdel[55532]: removed shadow group 'rooter' owned by 'rooter'
<86>Jan  6 01:58:00 groupadd[55669]: group added to /etc/group: name=rooter, GID=681
<86>Jan  6 01:58:00 groupadd[55669]: group added to /etc/gshadow: name=rooter
<86>Jan  6 01:58:00 groupadd[55669]: new group: name=rooter, GID=681
<86>Jan  6 01:58:00 useradd[55690]: new user: name=rooter, UID=681, GID=681, home=/root, shell=/bin/bash
<86>Jan  6 01:58:00 userdel[55710]: delete user 'builder'
<86>Jan  6 01:58:00 groupadd[55980]: group added to /etc/group: name=builder, GID=682
<86>Jan  6 01:58:00 groupadd[55980]: group added to /etc/gshadow: name=builder
<86>Jan  6 01:58:00 groupadd[55980]: new group: name=builder, GID=682
<86>Jan  6 01:58:00 useradd[56072]: new user: name=builder, UID=682, GID=682, home=/usr/src, shell=/bin/bash
<13>Jan  6 01:58:04 rpmi: ocaml-runtime-4.04.2-alt1.M80P.1 1499834467 installed
<13>Jan  6 01:58:04 rpmi: rpm-build-ocaml-1.3-alt1 1494941050 installed
<13>Jan  6 01:58:11 rpmi: ocaml-4.04.2-alt1.M80P.1 1499834467 installed
<13>Jan  6 01:58:11 rpmi: rpm-macros-ubt-0.2-alt1.M80P.1 1488269670 installed
<13>Jan  6 01:58:11 rpmi: libverto-0.2.6-alt1_6 1455633234 installed
<13>Jan  6 01:58:11 rpmi: libkeyutils-1.5.10-alt0.M80P.1 1490025499 installed
<13>Jan  6 01:58:11 rpmi: libgdbm-1.8.3-alt10 1454943313 installed
<13>Jan  6 01:58:11 rpmi: libexpat-2.2.4-alt0.M80P.1 1503871120 installed
<13>Jan  6 01:58:11 rpmi: libcom_err-1.42.13-alt2 1449075846 installed
<13>Jan  6 01:58:11 rpmi: ca-certificates-2016.02.25-alt1 1462368370 installed
<13>Jan  6 01:58:11 rpmi: libcrypto10-1.0.2n-alt0.M80P.1 1512766129 installed
<13>Jan  6 01:58:11 rpmi: rpm-build-ubt-0.3.1-alt1.M80P.1 1513692283 installed
<13>Jan  6 01:58:13 rpmi: ocaml-camlp4-4.04.2-alt1.M80P.1 1499835126 installed
<13>Jan  6 01:58:13 rpmi: ocaml-findlib-1.7.3-alt2.M80P.1 1499835321 installed
<13>Jan  6 01:58:13 rpmi: ocaml-ocamlbuild-1:0.11.0-alt3.M80P.1 1499835935 installed
<13>Jan  6 01:58:13 rpmi: python-module-google-0.4.0-alt2.1 1457968526 installed
<13>Jan  6 01:58:13 rpmi: libssl10-1.0.2n-alt0.M80P.1 1512766129 installed
<86>Jan  6 01:58:13 groupadd[123606]: group added to /etc/group: name=_keytab, GID=499
<86>Jan  6 01:58:13 groupadd[123606]: group added to /etc/gshadow: name=_keytab
<86>Jan  6 01:58:13 groupadd[123606]: new group: name=_keytab, GID=499
<13>Jan  6 01:58:13 rpmi: libkrb5-1.14.6-alt1.M80P.1 1525355673 installed
<13>Jan  6 01:58:14 rpmi: python3-base-3.5.4-alt2.M80P.1 1527753911 installed
<13>Jan  6 01:58:14 rpmi: python3-3.5.4-alt2.M80P.1 1527753911 installed
<13>Jan  6 01:58:14 rpmi: rpm-build-python3-0.1.10.10-alt1.M80P.1 1530521451 installed
Installing ocaml-menhir-20181005-alt1.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.97668
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf menhir-20181005
+ echo 'Source #0 (menhir-20181005.tar):'
Source #0 (menhir-20181005.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/menhir-20181005.tar
+ cd menhir-20181005
+ /bin/chmod -c -Rf u+rwX,go-w .
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.97668
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd menhir-20181005
+ make PREFIX=/usr all
make: Entering directory `/usr/src/RPM/BUILD/menhir-20181005'
make[1]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/src'
make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/src'
Warning: Won't be able to compile a native plugin
ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
ocamldep.opt -modules General.mli > General.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
ocamldep.opt -modules General.ml > General.ml.depends
ocamldep.opt -modules Convert.mli > Convert.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
ocamldep.opt -modules Convert.ml > Convert.ml.depends
ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
ocamldep.opt -modules Engine.mli > Engine.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
ocamldep.opt -modules Engine.ml > Engine.ml.depends
ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
ocamldep.opt -modules Printers.mli > Printers.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
ocamldep.opt -modules Printers.ml > Printers.ml.depends
ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
ocamldep.opt -modules menhir.ml > menhir.ml.depends
ocamldep.opt -modules back.mli > back.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
ocamldep.opt -modules back.ml > back.ml.depends
ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
ocamldep.opt -modules keyword.mli > keyword.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
ocamldep.opt -modules keyword.ml > keyword.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
ocamldep.opt -modules version.ml > version.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
ocamldep.opt -modules action.ml > action.ml.depends
ocamldep.opt -modules action.mli > action.mli.depends
ocamldep.opt -modules IL.mli > IL.mli.depends
ocamldep.opt -modules stretch.mli > stretch.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
ocamldep.opt -modules front.ml > front.ml.depends
ocamldep.opt -modules front.mli > front.mli.depends
ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
ocamldep.opt -modules positions.mli > positions.mli.depends
ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
ocamldep.opt -modules syntax.ml > syntax.ml.depends
ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
ocamldep.opt -modules misc.ml > misc.ml.depends
ocamldep.opt -modules misc.mli > misc.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
ocamldep.opt -modules error.ml > error.ml.depends
ocamldep.opt -modules error.mli > error.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
ocamldep.opt -modules positions.ml > positions.ml.depends
ocamldep.opt -modules settings.ml > settings.ml.depends
ocamldep.opt -modules settings.mli > settings.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
ocamldep.opt -modules installation.ml > installation.ml.depends
ocamldep.opt -modules installation.mli > installation.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
ocamldep.opt -modules parameters.ml > parameters.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p yaccDriver.ml Driver.ml
ocamldep.opt -modules Driver.ml > Driver.ml.depends
ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
ocamlyacc parser.mly
ocamldep.opt -modules parser.mli > parser.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
ocamldep.opt -modules parser.ml > parser.ml.depends
ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
ocamldep.opt -modules option.ml > option.ml.depends
ocamldep.opt -modules option.mli > option.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
ocamldep.opt -modules Drop.ml > Drop.ml.depends
ocamldep.opt -modules Drop.mli > Drop.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
ocamldep.opt -modules IO.ml > IO.ml.depends
ocamldep.opt -modules IO.mli > IO.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
ocamldep.opt -modules infer.ml > infer.ml.depends
ocamldep.opt -modules infer.mli > infer.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
ocamldep.opt -modules interface.ml > interface.ml.depends
ocamldep.opt -modules interface.mli > interface.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
ocamldep.opt -modules printer.ml > printer.ml.depends
ocamldep.opt -modules printer.mli > printer.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
ocamllex.opt -q lineCount.mll
ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
ocamllex.opt -q lexdep.mll
ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
ocamllex.opt -q lexmli.mll
ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
ocamldep.opt -modules gMap.ml > gMap.ml.depends
ocamldep.opt -modules gSet.ml > gSet.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
ocamldep.opt -modules Fix.mli > Fix.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
ocamldep.opt -modules Fix.ml > Fix.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
ocamldep.opt -modules Seq.mli > Seq.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
ocamldep.opt -modules Seq.ml > Seq.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
ocamldep.opt -modules Maps.ml > Maps.ml.depends
ocamldep.opt -modules Maps.mli > Maps.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
ocamldep.opt -modules patricia.ml > patricia.ml.depends
ocamldep.opt -modules patricia.mli > patricia.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
ocamldep.opt -modules time.ml > time.ml.depends
ocamldep.opt -modules time.mli > time.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
ocamllex.opt -q lexer.mll
ocamldep.opt -modules lexer.ml > lexer.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
ocamldep.opt -modules reachability.ml > reachability.ml.depends
ocamldep.opt -modules reachability.mli > reachability.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
ocamldep.opt -modules mark.ml > mark.ml.depends
ocamldep.opt -modules mark.mli > mark.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
ocamldep.opt -modules grammar.ml > grammar.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
ocamldep.opt -modules item.ml > item.ml.depends
ocamldep.opt -modules item.mli > item.mli.depends
ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
ocamldep.opt -modules lr0.ml > lr0.ml.depends
ocamldep.opt -modules lr0.mli > lr0.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
ocamldep.opt -modules lr1.ml > lr1.ml.depends
ocamldep.opt -modules lr1.mli > lr1.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
ocamldep.opt -modules slr.ml > slr.ml.depends
ocamldep.opt -modules slr.mli > slr.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
ocamldep.opt -modules default.ml > default.ml.depends
ocamldep.opt -modules default.mli > default.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
ocamldep.opt -modules conflict.ml > conflict.ml.depends
ocamldep.opt -modules conflict.mli > conflict.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
ocamldep.opt -modules dot.ml > dot.ml.depends
ocamldep.opt -modules dot.mli > dot.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
ocamldep.opt -modules derivation.ml > derivation.ml.depends
ocamldep.opt -modules derivation.mli > derivation.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
ocamldep.opt -modules invariant.ml > invariant.ml.depends
ocamldep.opt -modules invariant.mli > invariant.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
ocamldep.opt -modules inliner.ml > inliner.ml.depends
ocamldep.opt -modules inliner.mli > inliner.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
ocamldep.opt -modules traverse.ml > traverse.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
ocamldep.opt -modules interpret.ml > interpret.ml.depends
ocamldep.opt -modules interpret.mli > interpret.mli.depends
ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
ocamldep.opt -modules cst.mli > cst.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
ocamldep.opt -modules cst.ml > cst.ml.depends
ocamldep.opt -modules pprint.ml > pprint.ml.depends
ocamldep.opt -modules pprint.mli > pprint.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
ocamllex.opt -q segment.mll
ocamldep.opt -modules segment.ml > segment.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
ocamllex.opt -q sentenceLexer.mll
ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
ocamlyacc sentenceParser.mly
ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
ocamldep.opt -modules astar.ml > astar.ml.depends
ocamldep.opt -modules astar.mli > astar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
ocamldep.opt -modules MySet.ml > MySet.ml.depends
ocamldep.opt -modules MySet.mli > MySet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
ocamldep.opt -modules Trie.ml > Trie.ml.depends
ocamldep.opt -modules Trie.mli > Trie.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml
ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 17(414), max: 12, min: 2, average(total): 4.412(1.140) }
make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src'
make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/src'
Warning: Won't be able to compile a native plugin
ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
ocamldep.opt -modules General.mli > General.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
ocamldep.opt -modules General.ml > General.ml.depends
ocamldep.opt -modules Convert.mli > Convert.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
ocamldep.opt -modules Convert.ml > Convert.ml.depends
ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
ocamldep.opt -modules Engine.mli > Engine.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
ocamldep.opt -modules Engine.ml > Engine.ml.depends
ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
ocamldep.opt -modules Printers.mli > Printers.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
ocamldep.opt -modules Printers.ml > Printers.ml.depends
ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
ocamldep.opt -modules menhir.ml > menhir.ml.depends
ocamldep.opt -modules back.mli > back.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
ocamldep.opt -modules back.ml > back.ml.depends
ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
ocamldep.opt -modules keyword.mli > keyword.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
ocamldep.opt -modules keyword.ml > keyword.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
ocamldep.opt -modules version.ml > version.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
ocamldep.opt -modules action.ml > action.ml.depends
ocamldep.opt -modules action.mli > action.mli.depends
ocamldep.opt -modules IL.mli > IL.mli.depends
ocamldep.opt -modules stretch.mli > stretch.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
ocamldep.opt -modules front.ml > front.ml.depends
ocamldep.opt -modules front.mli > front.mli.depends
ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
ocamldep.opt -modules positions.mli > positions.mli.depends
ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
ocamldep.opt -modules syntax.ml > syntax.ml.depends
ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
ocamldep.opt -modules misc.ml > misc.ml.depends
ocamldep.opt -modules misc.mli > misc.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
ocamldep.opt -modules error.ml > error.ml.depends
ocamldep.opt -modules error.mli > error.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
ocamldep.opt -modules positions.ml > positions.ml.depends
ocamldep.opt -modules settings.ml > settings.ml.depends
ocamldep.opt -modules settings.mli > settings.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
ocamldep.opt -modules installation.ml > installation.ml.depends
ocamldep.opt -modules installation.mli > installation.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
ocamldep.opt -modules parameters.ml > parameters.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p fancyDriver.ml Driver.ml
ocamldep.opt -modules Driver.ml > Driver.ml.depends
ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.depends
ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
The action table is 5859 entries; 475 non-zero; 614 compressed.
The action table occupies roughly 1328 bytes.
The goto table is 6615 entries; 153 non-zero; 343 compressed.
The goto table occupies roughly 632 bytes.
The error table occupies roughly 768 bytes.
The default_reduction table occupies roughly 224 bytes.
The lhs table occupies roughly 120 bytes.
The trace table occupies roughly 8 bytes.
ocamldep.opt -modules parser.mli > parser.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
ocamldep.opt -modules parser.ml > parser.ml.depends
ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
ocamldep.opt -modules option.ml > option.ml.depends
ocamldep.opt -modules option.mli > option.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
Read 68 sample input sentences and 68 error messages.
Read 68 sample input sentences and 23 error messages.
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
Read 68 sample input sentences and 23 error messages.
ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml
ocamldep.opt -modules Drop.ml > Drop.ml.depends
ocamldep.opt -modules Drop.mli > Drop.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
ocamldep.opt -modules IO.ml > IO.ml.depends
ocamldep.opt -modules IO.mli > IO.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
ocamldep.opt -modules infer.ml > infer.ml.depends
ocamldep.opt -modules infer.mli > infer.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
ocamldep.opt -modules interface.ml > interface.ml.depends
ocamldep.opt -modules interface.mli > interface.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
ocamldep.opt -modules printer.ml > printer.ml.depends
ocamldep.opt -modules printer.mli > printer.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
ocamllex.opt -q lineCount.mll
ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
ocamllex.opt -q lexdep.mll
ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
ocamllex.opt -q lexmli.mll
ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
ocamldep.opt -modules gMap.ml > gMap.ml.depends
ocamldep.opt -modules gSet.ml > gSet.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
ocamldep.opt -modules Fix.mli > Fix.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
ocamldep.opt -modules Fix.ml > Fix.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
ocamldep.opt -modules Seq.mli > Seq.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
ocamldep.opt -modules Seq.ml > Seq.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
ocamldep.opt -modules Maps.ml > Maps.ml.depends
ocamldep.opt -modules Maps.mli > Maps.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
ocamldep.opt -modules patricia.ml > patricia.ml.depends
ocamldep.opt -modules patricia.mli > patricia.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
ocamldep.opt -modules time.ml > time.ml.depends
ocamldep.opt -modules time.mli > time.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
ocamllex.opt -q lexer.mll
ocamldep.opt -modules lexer.ml > lexer.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
ocamldep.opt -modules reachability.ml > reachability.ml.depends
ocamldep.opt -modules reachability.mli > reachability.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
ocamldep.opt -modules mark.ml > mark.ml.depends
ocamldep.opt -modules mark.mli > mark.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
ocamldep.opt -modules grammar.ml > grammar.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
ocamldep.opt -modules item.ml > item.ml.depends
ocamldep.opt -modules item.mli > item.mli.depends
ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
ocamldep.opt -modules lr0.ml > lr0.ml.depends
ocamldep.opt -modules lr0.mli > lr0.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
ocamldep.opt -modules lr1.ml > lr1.ml.depends
ocamldep.opt -modules lr1.mli > lr1.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
ocamldep.opt -modules slr.ml > slr.ml.depends
ocamldep.opt -modules slr.mli > slr.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
ocamldep.opt -modules default.ml > default.ml.depends
ocamldep.opt -modules default.mli > default.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
ocamldep.opt -modules conflict.ml > conflict.ml.depends
ocamldep.opt -modules conflict.mli > conflict.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
ocamldep.opt -modules dot.ml > dot.ml.depends
ocamldep.opt -modules dot.mli > dot.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
ocamldep.opt -modules derivation.ml > derivation.ml.depends
ocamldep.opt -modules derivation.mli > derivation.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
ocamldep.opt -modules invariant.ml > invariant.ml.depends
ocamldep.opt -modules invariant.mli > invariant.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
ocamldep.opt -modules inliner.ml > inliner.ml.depends
ocamldep.opt -modules inliner.mli > inliner.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
ocamldep.opt -modules traverse.ml > traverse.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
ocamldep.opt -modules interpret.ml > interpret.ml.depends
ocamldep.opt -modules interpret.mli > interpret.mli.depends
ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
ocamldep.opt -modules cst.mli > cst.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
ocamldep.opt -modules cst.ml > cst.ml.depends
ocamldep.opt -modules pprint.ml > pprint.ml.depends
ocamldep.opt -modules pprint.mli > pprint.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
ocamllex.opt -q segment.mll
ocamldep.opt -modules segment.ml > segment.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
ocamllex.opt -q sentenceLexer.mll
ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep 'ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
Grammar has 6 nonterminal symbols, among which 2 start symbols.
Grammar has 6 terminal symbols.
Grammar has 11 productions.
Built an LR(0) automaton with 21 states.
The grammar is SLR(1).
Built an LR(1) automaton with 27 states.
13 out of 27 states have a default reduction.
7 out of 27 states are represented.
0 out of 16 symbols keep track of their start position.
0 out of 16 symbols keep track of their end position.
The action table is 189 entries; 32 non-zero; 43 compressed.
The action table occupies roughly 136 bytes.
The goto table is 216 entries; 19 non-zero; 46 compressed.
The goto table occupies roughly 144 bytes.
The error table occupies roughly 56 bytes.
The default_reduction table occupies roughly 48 bytes.
The lhs table occupies roughly 40 bytes.
The trace table occupies roughly 8 bytes.
ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
ocamldep.opt -modules astar.ml > astar.ml.depends
ocamldep.opt -modules astar.mli > astar.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
ocamldep.opt -modules MySet.ml > MySet.ml.depends
ocamldep.opt -modules MySet.mli > MySet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
ocamldep.opt -modules Trie.ml > Trie.ml.depends
ocamldep.opt -modules Trie.mli > Trie.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml
ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx option.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 18(421), max: 12, min: 2, average(total): 4.278(1.140) }
make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src'
make[2]: Entering directory `/usr/src/RPM/BUILD/menhir-20181005/src'
Warning: Won't be able to compile a native plugin
ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
cp -p fancy-parser.mly parser.mly
../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep 'ocamldep.opt -modules' parser.mly > parser.mly.depends
ocamldep.opt -modules action.mli > action.mli.depends
ocamldep.opt -modules IL.mli > IL.mli.depends
ocamldep.opt -modules stretch.mli > stretch.mli.depends
ocamldep.opt -modules keyword.mli > keyword.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
ocamldep.opt -modules error.mli > error.mli.depends
ocamldep.opt -modules positions.mli > positions.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
ocamldep.opt -modules misc.mli > misc.mli.depends
ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
ocamldep.opt -modules parameters.ml > parameters.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
ocamldep.opt -modules syntax.ml > syntax.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
ocamldep.opt -modules General.mli > General.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
ocamldep.opt -modules General.ml > General.ml.depends
ocamldep.opt -modules Convert.mli > Convert.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
ocamldep.opt -modules Convert.ml > Convert.ml.depends
ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
ocamldep.opt -modules Engine.mli > Engine.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
ocamldep.opt -modules Engine.ml > Engine.ml.depends
ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
ocamldep.opt -modules Printers.mli > Printers.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
ocamldep.opt -modules Printers.ml > Printers.ml.depends
ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc 'ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
The action table is 5859 entries; 475 non-zero; 614 compressed.
The action table occupies roughly 1328 bytes.
The goto table is 6615 entries; 153 non-zero; 343 compressed.
The goto table occupies roughly 632 bytes.
The error table occupies roughly 768 bytes.
The default_reduction table occupies roughly 224 bytes.
The lhs table occupies roughly 120 bytes.
The trace table occupies roughly 8 bytes.
# Parallel statistics: { count(total): 2(73), max: 12, min: 4, average(total): 8.000(1.192) }
Bootstrap successful.
make[2]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src'
Warning: Won't be able to compile a native plugin
ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
ocamldep.opt -modules keyword.mli > keyword.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
ocamldep.opt -modules keyword.ml > keyword.ml.depends
ocamldep.opt -modules version.ml > version.ml.depends
ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml
ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml
ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml
touch menhirSdk.mli  ; if  ocamlopt.opt -pack -g -bin-annot keyword.cmx version.cmx cmly_format.cmx cmly_api.cmx cmly_read.cmx -o menhirSdk.cmx  ; then  rm -f menhirSdk.mli  ; else  rm -f menhirSdk.mli  ; exit 1; fi
ocamlopt.opt -a menhirSdk.cmx -o menhirSdk.cmxa
ocamlopt.opt -shared -linkall menhirSdk.cmxa -o menhirSdk.cmxs
# Parallel statistics: { count(total): 1(23), max: 2, min: 2, average(total): 2.000(1.043) }
make[1]: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005/src'
Creating menhirLib.ml
Creating menhirLib.mli
make: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005'
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.63676
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/ocaml-menhir-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/ocaml-menhir-buildroot
+ cd menhir-20181005
+ mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml
+ make OCAMLFIND_DESTDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml PREFIX=/usr/src/tmp/ocaml-menhir-buildroot/usr install
make: Entering directory `/usr/src/RPM/BUILD/menhir-20181005'
mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/bin
install src/_stage2/menhir.native /usr/src/tmp/ocaml-menhir-buildroot/usr/bin/menhir
mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir
install -m 644 src/standard.mly /usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir
Installing MenhirLib and MenhirSdk via ocamlfind.
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.o
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmxs
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmx
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmo
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.cmi
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.ml
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/menhirLib.mli
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirLib/META
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.o
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmx
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmo
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/menhirSdk.cmi
Installed /usr/src/tmp/ocaml-menhir-buildroot/usr/lib64/ocaml/menhirSdk/META
if [ -f manual.pdf ] ; then \
  mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir /usr/src/tmp/ocaml-menhir-buildroot/usr/share/man/man1 && \
  cp -r manual.pdf manual.html demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir && \
  cp -r menhir.1 /usr/src/tmp/ocaml-menhir-buildroot/usr/share/man/man1 ; \
fi
make: Leaving directory `/usr/src/RPM/BUILD/menhir-20181005'
+ mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ mv /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual.html /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir/manual.pdf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005/
+ rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/menhir
+ rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005/src/
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/ocaml-menhir-buildroot (auto)
mode of './usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/ocaml/menhirLib/menhirLib.cmxs' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Verifying and fixing files in /usr/src/tmp/ocaml-menhir-buildroot (binconfig,pkgconfig,libtool,desktop)
Compressing files in /usr/src/tmp/ocaml-menhir-buildroot (auto)
Adjusting library links in /usr/src/tmp/ocaml-menhir-buildroot
./usr/lib64:
Verifying ELF objects in /usr/src/tmp/ocaml-menhir-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=relaxed,unresolved=normal)
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_backtrace_pos
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__29
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_input_value
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_young_ptr
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_compare
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_Assert_failure
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_young_limit
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_Failure
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_exn_End_of_file
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_call_gc
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlFormat__fprintf_1850
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_ml_array_bound_error
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlSet__fun_2403
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__open_in_gen_1232
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlSet__add_1268
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlList__map_1231
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_c_call
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlList__flatten_1227
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_fresh_oo_id
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlFormat__pp_print_string_1485
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__really_input_string_1259
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc1
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlArray__init_1212
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_modify
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__close_in_noerr_1286
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlArray__map_1256
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_allocN
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_raise_exn
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlArray__to_list_1280
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__max_1030
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_string_notequal
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPrintf__sprintf_1304
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__$5e_1117
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlSet__fold_1435
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlBytes__make_1211
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_alloc2
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlList__iter_1252
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: camlPervasives__invalid_arg_1007
verify-elf: WARNING: ./usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs: undefined symbol: caml_string_equal
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_backtrace_pos
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_equal
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_young_ptr
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_compare
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_exn_Assert_failure
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_young_limit
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_make_vect
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc_dummy
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_create_bytes
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_exn_Division_by_zero
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_call_gc
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_ml_array_bound_error
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__stable_sort_1370
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__blit_1241
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__string_of_int_1146
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__stable_sort_1429
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__sub_1231
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__map_1231
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_int_compare
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_update_dummy
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_c_call
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__init_1212
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_modify
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc3
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__fold_left_1297
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlLexing__from_string_1261
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__iter_1247
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlChar__chr_1201
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_raise_exn
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlCamlinternalLazy__force_lazy_block_1258
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPrintf__fprintf_1285
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__max_1030
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlArray__mapi_1274
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPrintf__sprintf_1304
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: caml_alloc2
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlList__iter_1252
verify-elf: WARNING: ./usr/lib64/ocaml/menhirLib/menhirLib.cmxs: undefined symbol: camlPervasives__invalid_arg_1007
Hardlinking identical .pyc and .opt-?.pyc files
Hardlinking identical .pyc and .pyo files
Processing files: ocaml-menhir-20181005-alt1
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.67079
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd menhir-20181005
+ DOCDIR=/usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ export DOCDIR
+ rm -rf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ /bin/mkdir -p /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL CHANGES.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL demos /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL INSTALLATION.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL README.md /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL LICENSE /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL Makefile /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ cp -prL manual.pdf /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R go-w /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ chmod -R a+rX /usr/src/tmp/ocaml-menhir-buildroot/usr/share/doc/ocaml-menhir-20181005
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KumKm4
find-provides: running scripts (alternatives,debuginfo,lib,ocaml,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.3ZYGo8
find-requires: running scripts (cpp,debuginfo,files,lib,ocaml,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks)
Provides: ocaml4-menhir, ocaml-cmi(MenhirLib) = 4.04-4B0369DA, ocaml-cmi(MenhirSdk) = 4.04-010F6453, ocaml-cmx(MenhirLib) = 4.04-8E6ACFE1, ocaml-cmx(MenhirSdk) = 4.04-F1474849
Requires: /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.15)(64bit), libc.so.6(GLIBC_2.17)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libdl.so.2(GLIBC_2.2.5)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), ocaml-cmi(Array) = 4.04-83626447, ocaml-cmi(Buffer) = 4.04-C932A669, ocaml-cmi(Bytes) = 4.04-38ABB0DC, ocaml-cmi(CamlinternalFormatBasics) = 4.04-CBD5F2D6, ocaml-cmi(CamlinternalLazy) = 4.04-6C185D0C, ocaml-cmi(Char) = 4.04-2B18A802, ocaml-cmi(Format) = 4.04-AED1D740, ocaml-cmi(Int32) = 4.04-F4400E9E, ocaml-cmi(Lazy) = 4.04-7E97F2D9, ocaml-cmi(Lexing) = 4.04-4D9C7EB0, ocaml-cmi(List) = 4.04-CD293869, ocaml-cmi(Obj) = 4.04-C4EF78F7, ocaml-cmi(Pervasives) = 4.04-EEF96F96, ocaml-cmi(Printf) = 4.04-38545368, ocaml-cmi(Set) = 4.04-CF3455F4, ocaml-cmi(String) = 4.04-609A5859, ocaml-cmi(Sys) = 4.04-6FB70405, ocaml-cmx(Array) = 4.04-B9A77B7F, ocaml-cmx(Bytes) = 4.04-6E892554, ocaml-cmx(CamlinternalLazy) = 4.04-F7EC0871, ocaml-cmx(Char) = 4.04-A0409786, ocaml-cmx(Format) = 4.04-76F5E72B, ocaml-cmx(Lexing) = 4.04-391FB00A, ocaml-cmx(List) = 4.04-86C7F6E3, ocaml-cmx(Pervasives) = 4.04-B713A8F4, ocaml-cmx(Printf) = 4.04-8DCC1A7A, ocaml-cmx(Set) = 4.04-AD17FE5F, ocaml-cmx(String) = 4.04-ADABD02E, ocaml-cmx(Sys) = 4.04-C32816EE, rtld(GNU_HASH)
Obsoletes: ocaml4-menhir
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.S9H2ji
Creating ocaml-menhir-debuginfo package
Processing files: ocaml-menhir-debuginfo-20181005-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.xCRdxv
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.gtWkTL
find-requires: running scripts (debuginfo)
Requires: ocaml-menhir = 20181005-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libdl.so.2), debug64(libm.so.6)
Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-20181005-alt1.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm
19.38user 6.00system 0:51.40elapsed 49%CPU (0avgtext+0avgdata 30368maxresident)k
0inputs+0outputs (0major+2131360minor)pagefaults 0swaps
33.49user 8.64system 1:16.78elapsed 54%CPU (0avgtext+0avgdata 125040maxresident)k
0inputs+0outputs (0major+2499182minor)pagefaults 0swaps
--- ocaml-menhir-20181005-alt1.x86_64.rpm.repo	2018-10-22 17:56:57.000000000 +0000
+++ ocaml-menhir-20181005-alt1.x86_64.rpm.hasher	2019-01-06 01:59:08.235229075 +0000
@@ -550,3 +550,2 @@
 Provides: ocaml-cmx(MenhirSdk) = 4.04-F1474849
-Provides: .p8.214423.100.2.1-ocaml-menhir-20181005-alt1  
 Provides: ocaml-menhir = 20181005-alt1
--- ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm.repo	2018-10-22 17:56:57.000000000 +0000
+++ ocaml-menhir-debuginfo-20181005-alt1.x86_64.rpm.hasher	2019-01-06 01:59:08.250229082 +0000
@@ -123,3 +123,3 @@
 /usr/src/debug/menhir-20181005/src/standard.mly	100644	
-Requires: .p8.214423.100.2.1-ocaml-menhir-20181005-alt1  
+Requires: ocaml-menhir = 20181005-alt1
 Requires: /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug