Mock Version: 1.4.9
Mock Version: 1.4.9
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-menhir.spec'], chrootPath='/var/lib/mock/f29-build-24845-12952/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x2001fe1320>timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-menhir.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False
Building target platforms: riscv64
Building for target riscv64
Wrote: /builddir/build/SRPMS/ocaml-menhir-20180530-4.fc29.src.rpm
Child return code was: 0
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-menhir.spec'], chrootPath='/var/lib/mock/f29-build-24845-12952/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x2001fe1320>timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-menhir.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False
Building target platforms: riscv64
Building for target riscv64
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.3OTgm9
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf menhir-20180530
+ /usr/bin/gzip -dc /builddir/build/SOURCES/menhir-20180530.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd menhir-20180530
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ for f in menhir.1
+ iconv -f ISO8859-1 -t UTF-8 menhir.1
+ touch -r menhir.1 menhir.1.fixed
+ mv -f menhir.1.fixed menhir.1
+ sed -i 's/-j 0/-cflag -g -lflag -g &/' src/Makefile
+ rm -fr demos/obsolete
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Bgubmg
+ umask 022
+ cd /builddir/build/BUILD
+ cd menhir-20180530
+ make PREFIX=/usr TARGET=native
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/src'
make[2]: Entering directory '/builddir/build/BUILD/menhir-20180530/src'
Warning: Won't be able to compile a native plugin
/usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma -g myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o error.cmx error.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
/usr/bin/ocamlyacc parser.mly
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/bin/ocamlyacc sentenceParser.mly
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o inliner.cmx inliner.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt -g 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 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 astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.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): 16(397), max: 12, min: 2, average(total): 4.562(1.144) }
make[2]: Leaving directory '/builddir/build/BUILD/menhir-20180530/src'
make[2]: Entering directory '/builddir/build/BUILD/menhir-20180530/src'
Warning: Won't be able to compile a native plugin
/usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma -g myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o error.cmx error.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -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 '/usr/bin/ocamlc.opt -g -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 '/usr/bin/ocamlc.opt -g -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.
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -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.
/usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -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 '/usr/bin/ocamlc.opt -g -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 '/usr/bin/ocamlc.opt -g -g -bin-annot -safe-string' --infer sentenceParser.mly
Grammar has 6 nonterminal symbols, among which 2 start symbols.
Grammar has 6 terminal symbols.
Grammar has 11 productions.
Built an LR(0) automaton with 21 states.
The grammar is SLR(1).
Built an LR(1) automaton with 27 states.
13 out of 27 states have a default reduction.
7 out of 27 states are represented.
0 out of 16 symbols keep track of their start position.
0 out of 16 symbols keep track of their end position.
The action table is 189 entries; 32 non-zero; 43 compressed.
The action table occupies roughly 136 bytes.
The goto table is 216 entries; 19 non-zero; 46 compressed.
The goto table occupies roughly 144 bytes.
The error table occupies roughly 56 bytes.
The default_reduction table occupies roughly 48 bytes.
The lhs table occupies roughly 40 bytes.
The trace table occupies roughly 8 bytes.
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o inliner.cmx inliner.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt -g 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 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 astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.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(404), max: 12, min: 2, average(total): 4.412(1.144) }
make[2]: Leaving directory '/builddir/build/BUILD/menhir-20180530/src'
make[2]: Entering directory '/builddir/build/BUILD/menhir-20180530/src'
Warning: Won't be able to compile a native plugin
/usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma -g 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 '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -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 '/usr/bin/ocamlc.opt -g -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 '/builddir/build/BUILD/menhir-20180530/src'
Warning: Won't be able to compile a native plugin
/usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma -g myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o keyword.cmo keyword.ml
/usr/bin/ocamlc.opt -c -g -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml
/usr/bin/ocamlopt.opt -c -g -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml
touch menhirSdk.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot keyword.cmx version.cmx cmly_format.cmx cmly_api.cmx cmly_read.cmx -o menhirSdk.cmx  ; then  rm -f menhirSdk.mli  ; else  rm -f menhirSdk.mli  ; exit 1; fi
# Parallel statistics: { count(total): 1(21), max: 2, min: 2, average(total): 2.000(1.048) }
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/src'
Creating menhirLib.ml
Creating menhirLib.mli
+ make -C demos clean
make: Entering directory '/builddir/build/BUILD/menhir-20180530/demos'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/calc'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20180530/src/_stage1/menhir.native --infer" -clean
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/calc'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/calc-two'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20180530/src/_stage1/menhir.native --infer" -clean
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/calc-two'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/calc-param'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20180530/src/_stage1/menhir.native --infer" -clean
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/calc-param'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/calc-incremental'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20180530/src/_stage1/menhir.native --table" -package menhirLib -clean
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/calc-incremental'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/calc-inspection'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -use-menhir -menhir "/builddir/build/BUILD/menhir-20180530/src/_stage1/menhir.native --table --inspection -v -la 2" -package menhirLib -clean
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/calc-inspection'
make[1]: Entering directory '/builddir/build/BUILD/menhir-20180530/demos/generate-printers'
rm -f *~ .*~
ocamlbuild -use-ocamlfind -clean
rm -f menhir-generate-printers
make[1]: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos/generate-printers'
/bin/rm -f *~ .*~
make: Leaving directory '/builddir/build/BUILD/menhir-20180530/demos'
+ make -C doc
make: Entering directory '/builddir/build/BUILD/menhir-20180530/doc'
pdflatex manual
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
BUILDSTDERR: kpathsea: Running mktexfmt pdflatex.fmt
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
BUILDSTDERR: mktexfmt:   /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
BUILDSTDERR: mktexfmt:   /builddir/.texlive2018/texmf-config/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [WARNING]: double mention of mf/mf-nowin in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c
BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex
BUILDSTDERR: mktexfmt: running `pdftex -ini   -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ...
BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX)
BUILDSTDERR:  restricted \write18 enabled.
BUILDSTDERR:  (/usr/share/texlive/texmf-dist/web2c/cp227.tcx)
BUILDSTDERR: entering extended mode
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg)
BUILDSTDERR: ./texsys.aux found
BUILDSTDERR: \@currdir set to: ./.
BUILDSTDERR: Assuming \openin and \input 
BUILDSTDERR: have the same search path.
BUILDSTDERR: Defining UNIX/DOS style filename parser.
BUILDSTDERR: catcodes, registers, parameters,
BUILDSTDERR: LaTeX2e <2017-04-15>
BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths,
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fonttext.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fontmath.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file preload.cfg used
BUILDSTDERR: =====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref,
BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning,
BUILDSTDERR: contents, floats, footnotes, index, bibliography, output,
BUILDSTDERR: ===========================================
BUILDSTDERR: Local configuration file hyphen.cfg used
BUILDSTDERR: ===========================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex))
BUILDSTDERR:  ) )
BUILDSTDERR: Beginning to dump on file pdflatex.fmt
BUILDSTDERR:  (preloaded format=pdflatex 2018.8.12)
BUILDSTDERR: 5083 strings of total length 69301
BUILDSTDERR: 44966 memory locations dumped; current usage is 144&44370
BUILDSTDERR: 3423 multiletter control sequences
BUILDSTDERR: \font\nullfont=nullfont
BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10
BUILDSTDERR: \font\tenln=line10
BUILDSTDERR: \font\tenlnw=linew10
BUILDSTDERR: \font\tencirc=lcircle10
BUILDSTDERR: \font\tencircw=lcirclew10
BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5
BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7
BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10
BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5
BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7
BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10
BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5
BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7
BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10
BUILDSTDERR: 3633 words of font info for 14 preloaded fonts
BUILDSTDERR: 14 hyphenation exceptions
BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111
BUILDSTDERR:   2 for language 1
BUILDSTDERR:   181 for language 0
BUILDSTDERR: 0 words of pdfTeX memory
BUILDSTDERR: 0 indirect objects
BUILDSTDERR: No pages of output.
BUILDSTDERR: Transcript written on pdflatex.log.
BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt installed.
BUILDSTDERR: mktexfmt [INFO]: Disabled formats: 34
BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1
BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 13
BUILDSTDERR: mktexfmt [INFO]: Total formats: 48
BUILDSTDERR: mktexfmt [INFO]: exiting with status 0
entering extended mode
(./manual.tex
LaTeX2e <2017-04-15>
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
(./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)))
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
No file manual.aux.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)
ABD: EveryShipout initializing macros
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/usr/share/texlive/
texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2]
LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 57.
LaTeX Warning: Citation `knuth-lr-65' on page 3 undefined on input line 58.
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)
LaTeX Warning: Citation `johnson-yacc-79' on page 3 undefined on input line 59.
LaTeX Warning: Citation `tarditi-appel-00' on page 3 undefined on input line 60
.
LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 60.
LaTeX Warning: Citation `aho-86' on page 3 undefined on input line 67.
LaTeX Warning: Citation `appel-tiger-98' on page 3 undefined on input line 67.
LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 3 undefined on inp
ut line 67.
LaTeX Warning: Reference `sec:errors' on page 3 undefined on input line 77.
LaTeX Warning: Reference `sec:split' on page 3 undefined on input line 94.
LaTeX Warning: Reference `sec:sdk' on page 3 undefined on input line 110.
LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 122
.
LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 129
.
LaTeX Warning: Reference `sec:coq' on page 3 undefined on input line 131.
[3]
LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 151.
LaTeX Warning: Reference `sec:conflicts:benign' on page 4 undefined on input li
ne 153.
LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 157.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 165
.
LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 168.
LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 190.
LaTeX Warning: Reference `sec:monolithic' on page 4 undefined on input line 193
.
LaTeX Warning: Reference `sec:incremental' on page 4 undefined on input line 19
4.
LaTeX Warning: Reference `sec:inspection' on page 4 undefined on input line 194
.
LaTeX Warning: Reference `sec:interpret' on page 4 undefined on input line 202.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 207
.
LaTeX Warning: Reference `sec:interpret' on page 4 undefined on input line 211.
[4]
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 215
.
LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 235.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 237.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 239.
LaTeX Warning: Reference `sec:split' on page 5 undefined on input line 244.
LaTeX Warning: Reference `sec:templates' on page 5 undefined on input line 245.
LaTeX Warning: Reference `sec:inline' on page 5 undefined on input line 247.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 257.
LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 260.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 271.
LaTeX Warning: Reference `sec:qa' on page 5 undefined on input line 276.
LaTeX Warning: Reference `sec:incremental' on page 5 undefined on input line 28
9.
LaTeX Warning: Reference `sec:inspection' on page 5 undefined on input line 290
.
[5]
LaTeX Warning: Reference `sec:errors:new' on page 6 undefined on input line 315
.
LaTeX Warning: Reference `fig:syntax' on page 6 undefined on input line 397.
LaTeX Warning: Reference `fig:syntax' on page 6 undefined on input line 400.
LaTeX Warning: Reference `sec:attributes' on page 6 undefined on input line 400
.
[6]
LaTeX Warning: Reference `sec:conflicts' on page 7 undefined on input line 474.
[7]
LaTeX Warning: Reference `sec:decls:headers' on page 8 undefined on input line 
494.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 8 undefined on input 
line 556.
Underfull \vbox (badness 1558) has occurred while \output is active [8]
LaTeX Warning: Reference `sec:productiongroups' on page 9 undefined on input li
ne 587.
LaTeX Warning: Reference `sec:split' on page 9 undefined on input line 591.
LaTeX Warning: Reference `sec:inline' on page 9 undefined on input line 591.
LaTeX Warning: Reference `sec:templates' on page 9 undefined on input line 593.
LaTeX Warning: Reference `sec:productions' on page 9 undefined on input line 59
8.
LaTeX Warning: Reference `sec:actions' on page 9 undefined on input line 599.
LaTeX Warning: Reference `sec:prec' on page 9 undefined on input line 600.
LaTeX Warning: Reference `sec:assoc' on page 9 undefined on input line 624.
LaTeX Warning: Reference `sec:conflicts' on page 9 undefined on input line 631.
LaTeX Warning: Reference `sec:producers' on page 9 undefined on input line 645.
LaTeX Warning: Reference `sec:prec' on page 9 undefined on input line 646.
LaTeX Warning: Reference `sec:actual' on page 9 undefined on input line 654.
[9]
LaTeX Warning: Reference `sec:templates' on page 10 undefined on input line 667
.
LaTeX Warning: Reference `sec:templates' on page 10 undefined on input line 671
.
LaTeX Warning: Reference `fig:sugar' on page 10 undefined on input line 672.
LaTeX Warning: Reference `sec:templates' on page 10 undefined on input line 715
.
LaTeX Warning: Reference `sec:library' on page 10 undefined on input line 722.
[10]
LaTeX Warning: Reference `sec:library' on page 11 undefined on input line 780.
[11] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd)
LaTeX Warning: Reference `sec:library' on page 12 undefined on input line 853.
LaTeX Warning: Reference `sec:library' on page 12 undefined on input line 884.
LaTeX Warning: Reference `fig:sugar' on page 12 undefined on input line 885.
Underfull \vbox (badness 10000) has occurred while \output is active [12]
LaTeX Warning: Reference `sec:positions' on page 13 undefined on input line 101
9.
[13]
LaTeX Warning: Reference `sec:split' on page 14 undefined on input line 1074.
LaTeX Warning: Reference `sec:templates' on page 14 undefined on input line 107
5.
LaTeX Warning: Reference `sec:inline' on page 14 undefined on input line 1075.
LaTeX Warning: Reference `fig:standard' on page 14 undefined on input line 1080
.
LaTeX Warning: Reference `fig:sugar' on page 14 undefined on input line 1081.
LaTeX Warning: Reference `sec:assoc' on page 14 undefined on input line 1133.
LaTeX Warning: Reference `sec:prec' on page 14 undefined on input line 1133.
[14]
LaTeX Warning: Reference `multiway' on page 15 undefined on input line 1159.
LaTeX Warning: Reference `fig:basicshiftreduce' on page 15 undefined on input l
ine 1199.
[15]
LaTeX Warning: Reference `fig:shifting:tree' on page 16 undefined on input line
 1292.
LaTeX Warning: Reference `fig:shifting:tree' on page 16 undefined on input line
 1297.
LaTeX Warning: Reference `fig:shifting:text' on page 16 undefined on input line
 1297.
[16]
LaTeX Warning: Reference `fig:shifting:text' on page 17 undefined on input line
 1308.
LaTeX Warning: Reference `fig:reducing:tree' on page 17 undefined on input line
 1351.
LaTeX Warning: Reference `fig:reducing:tree' on page 17 undefined on input line
 1356.
LaTeX Warning: Reference `fig:reducing:text' on page 17 undefined on input line
 1356.
LaTeX Warning: Reference `fig:reducing:text' on page 17 undefined on input line
 1360.
LaTeX Warning: Reference `fig:xreducing:tree' on page 17 undefined on input lin
e 1373.
LaTeX Warning: Reference `fig:xreducing:text' on page 17 undefined on input lin
e 1373.
LaTeX Warning: Reference `fig:xreducing:tree' on page 17 undefined on input lin
e 1428.
LaTeX Warning: Reference `fig:xreducing:text' on page 17 undefined on input lin
e 1435.
LaTeX Warning: Reference `fig:xreducing:tree' on page 17 undefined on input lin
e 1450.
LaTeX Warning: Reference `fig:xreducing:text' on page 17 undefined on input lin
e 1451.
[17] [18] [19]
LaTeX Warning: Reference `fig:basiceos' on page 20 undefined on input line 1636
.
LaTeX Warning: Reference `fig:basiceos' on page 20 undefined on input line 1653
.
LaTeX Warning: Reference `fig:basiceos' on page 20 undefined on input line 1665
.
LaTeX Warning: Reference `fig:basiceosdump' on page 20 undefined on input line 
1670.
LaTeX Warning: Reference `fig:basiceos:sol' on page 20 undefined on input line 
1694.
LaTeX Warning: Reference `fig:pos' on page 20 undefined on input line 1772.
Underfull \vbox (badness 2005) has occurred while \output is active [20]
[21]
LaTeX Warning: Reference `fig:pos:mapping' on page 22 undefined on input line 1
836.
Underfull \vbox (badness 10000) has occurred while \output is active [22]
LaTeX Warning: Reference `fig:pos:mapping' on page 23 undefined on input line 1
841.
LaTeX Warning: Reference `sec:inline' on page 23 undefined on input line 1847.
[23]
LaTeX Warning: Reference `sec:sentences' on page 24 undefined on input line 194
5.
[24]
LaTeX Warning: Reference `sec:qa' on page 25 undefined on input line 2052.
[25]
LaTeX Warning: Reference `sec:incremental' on page 26 undefined on input line 2
105.
LaTeX Warning: Reference `sec:inspection' on page 26 undefined on input line 21
05.
LaTeX Warning: Reference `sec:incremental:driving' on page 26 undefined on inpu
t line 2128.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 26 undefined on i
nput line 2129.
LaTeX Warning: Reference `sec:incremental:updating' on page 26 undefined on inp
ut line 2129.
[26] [27] [28]
LaTeX Warning: Reference `sec:inspection' on page 29 undefined on input line 24
38.
[29]
LaTeX Warning: Reference `sec:incremental:updating' on page 30 undefined on inp
ut line 2503.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 30 undefined on i
nput line 2539.
LaTeX Warning: Reference `sec:inspection' on page 30 undefined on input line 25
51.
LaTeX Warning: Reference `sec:errors:new' on page 30 undefined on input line 25
99.
[30] [31]
LaTeX Warning: Reference `sec:errors:new' on page 32 undefined on input line 28
00.
[32]
LaTeX Warning: Reference `sec:incremental' on page 33 undefined on input line 2
854.
LaTeX Warning: Reference `sec:errors' on page 33 undefined on input line 2859.
LaTeX Warning: Citation `jeffery-03' on page 33 undefined on input line 2867.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 33 undefined on 
input line 2868.
LaTeX Warning: Reference `sec:messages:format' on page 33 undefined on input li
ne 2882.
LaTeX Warning: Reference `sec:messages:tools' on page 33 undefined on input lin
e 2884.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 33 undefined on input
 line 2886.
LaTeX Warning: Reference `sec:errors:example' on page 33 undefined on input lin
e 2887.
LaTeX Warning: Citation `knuth-lr-65' on page 33 undefined on input line 2893.
LaTeX Warning: Citation `pager-77' on page 33 undefined on input line 2894.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 33 undefined on input
 line 2900.
[33]
LaTeX Warning: Reference `sec:sentences' on page 34 undefined on input line 291
9.
LaTeX Warning: Reference `fig:messages:entry' on page 34 undefined on input lin
e 2977.
LaTeX Warning: Reference `sec:messages:tools' on page 34 undefined on input lin
e 2982.
LaTeX Warning: Reference `fig:messages:entry:decorated' on page 34 undefined on
 input line 2990.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 34 undefined on input
 line 3016.
[34] [35]
Underfull \vbox (badness 10000) has occurred while \output is active [36]
LaTeX Warning: Reference `fig:declarations' on page 37 undefined on input line 
3160.
LaTeX Warning: Reference `sec:messages:format' on page 37 undefined on input li
ne 3166.
LaTeX Warning: Reference `fig:declarations' on page 37 undefined on input line 
3172.
LaTeX Warning: Reference `fig:declarations:over' on page 37 undefined on input 
line 3184.
LaTeX Warning: Reference `fig:declarations:over' on page 37 undefined on input 
line 3187.
LaTeX Warning: Reference `fig:declarations:over' on page 37 undefined on input 
line 3191.
[37]
LaTeX Warning: Reference `fig:declarations:over' on page 38 undefined on input 
line 3201.
LaTeX Warning: Reference `fig:declarations:over' on page 38 undefined on input 
line 3214.
LaTeX Warning: Reference `fig:declarations:over' on page 38 undefined on input 
line 3220.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 38 undefined 
on input line 3243.
LaTeX Warning: Reference `fig:declarations:phantom' on page 38 undefined on inp
ut line 3265.
LaTeX Warning: Reference `fig:declarations' on page 38 undefined on input line 
3269.
[38]
LaTeX Warning: Reference `sec:onerrorreduce' on page 39 undefined on input line
 3285.
LaTeX Warning: Reference `fig:declarations:over' on page 39 undefined on input 
line 3286.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 39 undefined 
on input line 3293.
LaTeX Warning: Reference `fig:declarations' on page 39 undefined on input line 
3295.
LaTeX Warning: Reference `fig:declarations' on page 39 undefined on input line 
3310.
LaTeX Warning: Reference `fig:declarations:over' on page 39 undefined on input 
line 3312.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 39 undefined 
on input line 3313.
LaTeX Warning: Reference `fig:declarations:under' on page 39 undefined on input
 line 3315.
LaTeX Warning: Reference `fig:declarations:under' on page 39 undefined on input
 line 3329.
[39]
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 40 undefined on inpu
t line 3379.
LaTeX Warning: Citation `compcert' on page 40 undefined on input line 3381.
LaTeX Warning: Reference `sec:errors' on page 40 undefined on input line 3399.
LaTeX Warning: Reference `fig:pos' on page 40 undefined on input line 3402.
LaTeX Warning: Reference `sec:parameter' on page 40 undefined on input line 340
3.
LaTeX Warning: Reference `sec:inline' on page 40 undefined on input line 3404.
LaTeX Warning: Reference `sec:library' on page 40 undefined on input line 3405.
LaTeX Warning: Reference `sec:type' on page 40 undefined on input line 3410.
LaTeX Warning: Reference `sec:start' on page 40 undefined on input line 3410.
LaTeX Warning: Reference `sec:conflicts:benign' on page 40 undefined on input l
ine 3413.
LaTeX Warning: Reference `sec:assoc' on page 40 undefined on input line 3415.
[40]
LaTeX Warning: Citation `compcert' on page 41 undefined on input line 3451.
LaTeX Warning: Citation `compcert' on page 41 undefined on input line 3539.
LaTeX Warning: Citation `compcert-github' on page 41 undefined on input line 35
39.
Excluding 'comment' comment.
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 41 undefined on inpu
t line 3565.
LaTeX Warning: Reference `sec:sdk' on page 41 undefined on input line 3571.
LaTeX Warning: Reference `sec:attributes' on page 41 undefined on input line 35
78.
[41]
LaTeX Warning: Reference `sec:decls' on page 42 undefined on input line 3633.
[42]
LaTeX Warning: Reference `sec:producers' on page 43 undefined on input line 366
4.
LaTeX Warning: Reference `sec:decls' on page 43 undefined on input line 3680.
LaTeX Warning: Reference `sec:build:infer' on page 43 undefined on input line 3
713.
LaTeX Warning: Reference `sec:build:flags' on page 43 undefined on input line 3
713.
LaTeX Warning: Reference `sec:build:infer:none' on page 43 undefined on input l
ine 3732.
LaTeX Warning: Reference `sec:build:infer:direct' on page 43 undefined on input
 line 3735.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 43 undefined on inp
ut line 3738.
LaTeX Warning: Reference `sec:build:infer:direct' on page 43 undefined on input
 line 3745.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 43 undefined on inp
ut line 3746.
[43] [44]
LaTeX Warning: Reference `sec:templates' on page 45 undefined on input line 392
8.
LaTeX Warning: Reference `sec:library' on page 45 undefined on input line 3929.
LaTeX Warning: Reference `sec:inline' on page 45 undefined on input line 3936.
LaTeX Warning: Reference `sec:conflicts' on page 45 undefined on input line 393
9.
LaTeX Warning: Reference `sec:incremental' on page 45 undefined on input line 3
943.
LaTeX Warning: Reference `sec:coq' on page 45 undefined on input line 3948.
LaTeX Warning: Reference `sec:interpret' on page 45 undefined on input line 395
0.
LaTeX Warning: Reference `sec:split' on page 45 undefined on input line 3953.
[45]
LaTeX Warning: Reference `sec:eos' on page 46 undefined on input line 3964.
LaTeX Warning: Reference `sec:positions' on page 46 undefined on input line 397
8.
LaTeX Warning: Reference `sec:errors' on page 46 undefined on input line 3980.
LaTeX Warning: Reference `sec:errors' on page 46 undefined on input line 3982.
LaTeX Warning: Reference `sec:conflicts' on page 46 undefined on input line 398
7.
LaTeX Warning: Reference `sec:build' on page 46 undefined on input line 4037.
[46]
LaTeX Warning: Reference `sec:monolithic' on page 47 undefined on input line 40
77.
LaTeX Warning: Reference `sec:incremental' on page 47 undefined on input line 4
083.
LaTeX Warning: Reference `sec:positions' on page 47 undefined on input line 411
8.
LaTeX Warning: Citation `obelisk' on page 47 undefined on input line 4121.
LaTeX Warning: Citation `knuth-lr-65' on page 47 undefined on input line 4127.
LaTeX Warning: Citation `pager-77' on page 47 undefined on input line 4130.
LaTeX Warning: Citation `bison' on page 47 undefined on input line 4133.
LaTeX Warning: Citation `deremer-pennello-82' on page 47 undefined on input lin
e 4136.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 47 undefined on inp
ut line 4140.
LaTeX Warning: Citation `horspool-faster-90' on page 47 undefined on input line
 4140.
Underfull \vbox (badness 1281) has occurred while \output is active [47]
LaTeX Warning: Citation `tarjan-yao-79' on page 48 undefined on input line 4145
.
LaTeX Warning: Citation `dencker-84' on page 48 undefined on input line 4148.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 48 undefined on
 input line 4151.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 48 undefined on inpu
t line 4157.
LaTeX Warning: Reference `sec:errors:new' on page 48 undefined on input line 41
59.
LaTeX Warning: Citation `jeffery-03' on page 48 undefined on input line 4160.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 48 undefined on 
input line 4161.
No file manual.bbl.
[48] (./manual.aux)
Package rerunfilecheck Warning: File `manual.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sfss1095.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sfsx1095.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sftt0900.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sftt1095.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
ublic/cm-super/sftt1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/time
s/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (48 pages, 397072 bytes).
Transcript written on manual.log.
bibtex manual
This is BibTeX, Version 0.99d (TeX Live 2018)
The top-level auxiliary file: manual.aux
The style file: plain.bst
Database file #1: local.bib
Warning--string name "esop" is undefined
--line 136 of file local.bib
Warning--string name "springer" is undefined
--line 137 of file local.bib
Warning--string name "lncs" is undefined
--line 138 of file local.bib
Warning--string name "tosem" is undefined
--line 147 of file local.bib
Warning--empty booktitle in jourdan-leroy-pottier-12
Warning--empty journal in klint-laemmel-verhoef-05
(There were 6 warnings)
pdflatex manual
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2017-04-15>
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
(./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)))
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly') (./manual.aux)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)
ABD: EveryShipout initializing macros
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/usr/share/texlive/
texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc [2]
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3]
LaTeX Warning: Citation `ocaml' on page 4 undefined on input line 57.
LaTeX Warning: Citation `knuth-lr-65' on page 4 undefined on input line 58.
LaTeX Warning: Citation `johnson-yacc-79' on page 4 undefined on input line 59.
LaTeX Warning: Citation `tarditi-appel-00' on page 4 undefined on input line 60
.
LaTeX Warning: Citation `ocaml' on page 4 undefined on input line 60.
LaTeX Warning: Citation `aho-86' on page 4 undefined on input line 67.
LaTeX Warning: Citation `appel-tiger-98' on page 4 undefined on input line 67.
LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 4 undefined on inp
ut line 67.
[4] [5] [6] [7] [8] [9] [10] [11] [12]
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd)
Underfull \vbox (badness 10000) has occurred while \output is active [13]
[14] [15] [16] [17] [18] [19] [20]
Underfull \vbox (badness 2005) has occurred while \output is active [21]
[22]
Underfull \vbox (badness 10000) has occurred while \output is active [23]
[24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
LaTeX Warning: Citation `jeffery-03' on page 34 undefined on input line 2867.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 34 undefined on 
input line 2868.
LaTeX Warning: Citation `knuth-lr-65' on page 34 undefined on input line 2893.
LaTeX Warning: Citation `pager-77' on page 34 undefined on input line 2894.
[34] [35] [36]
Underfull \vbox (badness 10000) has occurred while \output is active [37]
[38] [39] [40]
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 41 undefined on inpu
t line 3379.
LaTeX Warning: Citation `compcert' on page 41 undefined on input line 3381.
[41]
LaTeX Warning: Citation `compcert' on page 42 undefined on input line 3451.
LaTeX Warning: Citation `compcert' on page 42 undefined on input line 3539.
LaTeX Warning: Citation `compcert-github' on page 42 undefined on input line 35
39.
Excluding 'comment' comment.
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 42 undefined on inpu
t line 3565.
[42] [43] [44] [45] [46]
Underfull \vbox (badness 10000) has occurred while \output is active [47]
LaTeX Warning: Citation `obelisk' on page 48 undefined on input line 4121.
LaTeX Warning: Citation `knuth-lr-65' on page 48 undefined on input line 4127.
LaTeX Warning: Citation `pager-77' on page 48 undefined on input line 4130.
LaTeX Warning: Citation `bison' on page 48 undefined on input line 4133.
LaTeX Warning: Citation `deremer-pennello-82' on page 48 undefined on input lin
e 4136.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 48 undefined on inp
ut line 4140.
LaTeX Warning: Citation `horspool-faster-90' on page 48 undefined on input line
 4140.
Underfull \vbox (badness 1281) has occurred while \output is active [48]
LaTeX Warning: Citation `tarjan-yao-79' on page 49 undefined on input line 4145
.
LaTeX Warning: Citation `dencker-84' on page 49 undefined on input line 4148.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 49 undefined on
 input line 4151.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 49 undefined on inpu
t line 4157.
LaTeX Warning: Citation `jeffery-03' on page 49 undefined on input line 4160.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 49 undefined on 
input line 4161.
(./manual.bbl [49]) [50] (./manual.aux)
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sfss1095.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sfsx1095.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sftt0900.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sftt1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
ublic/cm-super/sftt1095.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/c
m-super/sftt1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8
a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (50 pages, 441318 bytes).
Transcript written on manual.log.
pdflatex manual
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2017-04-15>
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
(./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)))
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly') (./manual.aux)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)
ABD: EveryShipout initializing macros
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/usr/share/texlive/
texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc [2]
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3] [4] [5] [6]
[7] [8] [9] [10] [11] [12]
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd)
Underfull \vbox (badness 10000) has occurred while \output is active [13]
[14] [15] [16] [17] [18] [19] [20]
Underfull \vbox (badness 2005) has occurred while \output is active [21]
[22]
Underfull \vbox (badness 10000) has occurred while \output is active [23]
[24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36]
Underfull \vbox (badness 10000) has occurred while \output is active [37]
[38] [39] [40] [41] Excluding 'comment' comment. [42] [43] [44] [45] [46]
Underfull \vbox (badness 10000) has occurred while \output is active [47]
Underfull \vbox (badness 1281) has occurred while \output is active [48]
(./manual.bbl [49]) [50] (./manual.aux) )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sfss1095.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sfsx1095.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sftt0900.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sftt1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
ublic/cm-super/sftt1095.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/c
m-super/sftt1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8
a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (50 pages, 442704 bytes).
Transcript written on manual.log.
hevea -fix manual.tex
BUILDSTDERR: Exclude comment 'comment'
BUILDSTDERR: ./manual.tex:57: Warning: Undefined citation: 'ocaml'
BUILDSTDERR: ./manual.tex:58: Warning: Undefined citation: 'knuth-lr-65'
BUILDSTDERR: ./manual.tex:59: Warning: Undefined citation: 'johnson-yacc-79'
BUILDSTDERR: ./manual.tex:60: Warning: Undefined citation: 'tarditi-appel-00'
BUILDSTDERR: ./manual.tex:60: Warning: Undefined citation: 'ocaml'
BUILDSTDERR: ./manual.tex:67: Warning: Undefined citation: 'aho-86'
BUILDSTDERR: ./manual.tex:67: Warning: Undefined citation: 'appel-tiger-98'
BUILDSTDERR: ./manual.tex:67: Warning: Undefined citation: 'hopcroft-motwani-ullman-00'
BUILDSTDERR: ./manual.tex:77: Warning: Undefined label: 'sec:errors'
BUILDSTDERR: ./manual.tex:94: Warning: Undefined label: 'sec:split'
BUILDSTDERR: ./manual.tex:110: Warning: Undefined label: 'sec:sdk'
BUILDSTDERR: ./manual.tex:122: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:129: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:131: Warning: Undefined label: 'sec:coq'
BUILDSTDERR: ./manual.tex:151: Warning: Undefined label: 'sec:coq'
BUILDSTDERR: ./manual.tex:153: Warning: Undefined label: 'sec:conflicts:benign'
BUILDSTDERR: ./manual.tex:157: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:165: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:168: Warning: Undefined label: 'sec:conflicts'
BUILDSTDERR: ./manual.tex:190: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:193: Warning: Undefined label: 'sec:monolithic'
BUILDSTDERR: ./manual.tex:194: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:194: Warning: Undefined label: 'sec:inspection'
BUILDSTDERR: ./manual.tex:202: Warning: Undefined label: 'sec:interpret'
BUILDSTDERR: ./manual.tex:207: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:211: Warning: Undefined label: 'sec:interpret'
BUILDSTDERR: ./manual.tex:215: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:235: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:237: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:239: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:244: Warning: Undefined label: 'sec:split'
BUILDSTDERR: ./manual.tex:245: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:247: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:257: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:260: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:271: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:276: Warning: Undefined label: 'sec:qa'
BUILDSTDERR: ./manual.tex:289: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:290: Warning: Undefined label: 'sec:inspection'
BUILDSTDERR: ./manual.tex:315: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:397: Warning: Undefined label: 'fig:syntax'
BUILDSTDERR: ./manual.tex:400: Warning: Undefined label: 'fig:syntax'
BUILDSTDERR: ./manual.tex:400: Warning: Undefined label: 'sec:attributes'
BUILDSTDERR: ./manual.tex:474: Warning: Undefined label: 'sec:conflicts'
BUILDSTDERR: ./manual.tex:494: Warning: Undefined label: 'sec:decls:headers'
BUILDSTDERR: ./manual.tex:556: Warning: Undefined label: 'sec:errors:diagnostics'
BUILDSTDERR: ./manual.tex:587: Warning: Undefined label: 'sec:productiongroups'
BUILDSTDERR: ./manual.tex:591: Warning: Undefined label: 'sec:split'
BUILDSTDERR: ./manual.tex:591: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:593: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:598: Warning: Undefined label: 'sec:productions'
BUILDSTDERR: ./manual.tex:599: Warning: Undefined label: 'sec:actions'
BUILDSTDERR: ./manual.tex:600: Warning: Undefined label: 'sec:prec'
BUILDSTDERR: ./manual.tex:624: Warning: Undefined label: 'sec:assoc'
BUILDSTDERR: ./manual.tex:631: Warning: Undefined label: 'sec:conflicts'
BUILDSTDERR: ./manual.tex:645: Warning: Undefined label: 'sec:producers'
BUILDSTDERR: ./manual.tex:646: Warning: Undefined label: 'sec:prec'
BUILDSTDERR: ./manual.tex:654: Warning: Undefined label: 'sec:actual'
BUILDSTDERR: ./manual.tex:667: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:671: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:672: Warning: Undefined label: 'fig:sugar'
BUILDSTDERR: ./manual.tex:715: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:722: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:780: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:853: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:884: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:885: Warning: Undefined label: 'fig:sugar'
BUILDSTDERR: ./manual.tex:1019: Warning: Undefined label: 'sec:positions'
BUILDSTDERR: ./manual.tex:1074: Warning: Undefined label: 'sec:split'
BUILDSTDERR: ./manual.tex:1075: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:1075: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:1080: Warning: Undefined label: 'fig:standard'
BUILDSTDERR: ./manual.tex:1081: Warning: Undefined label: 'fig:sugar'
BUILDSTDERR: ./manual.tex:1133: Warning: Undefined label: 'sec:assoc'
BUILDSTDERR: ./manual.tex:1133: Warning: Undefined label: 'sec:prec'
BUILDSTDERR: ./manual.tex:1159: Warning: Undefined label: 'multiway'
BUILDSTDERR: ./manual.tex:1199: Warning: Undefined label: 'fig:basicshiftreduce'
BUILDSTDERR: ./manual.tex:1292: Warning: Undefined label: 'fig:shifting:tree'
BUILDSTDERR: ./manual.tex:1297: Warning: Undefined label: 'fig:shifting:tree'
BUILDSTDERR: ./manual.tex:1297: Warning: Undefined label: 'fig:shifting:text'
BUILDSTDERR: ./manual.tex:1308: Warning: Undefined label: 'fig:shifting:text'
BUILDSTDERR: ./manual.tex:1351: Warning: Undefined label: 'fig:reducing:tree'
BUILDSTDERR: ./manual.tex:1356: Warning: Undefined label: 'fig:reducing:tree'
BUILDSTDERR: ./manual.tex:1356: Warning: Undefined label: 'fig:reducing:text'
BUILDSTDERR: ./manual.tex:1360: Warning: Undefined label: 'fig:reducing:text'
BUILDSTDERR: ./manual.tex:1373: Warning: Undefined label: 'fig:xreducing:tree'
BUILDSTDERR: ./manual.tex:1373: Warning: Undefined label: 'fig:xreducing:text'
BUILDSTDERR: ./manual.tex:1428: Warning: Undefined label: 'fig:xreducing:tree'
BUILDSTDERR: ./manual.tex:1435: Warning: Undefined label: 'fig:xreducing:text'
BUILDSTDERR: ./manual.tex:1450: Warning: Undefined label: 'fig:xreducing:tree'
BUILDSTDERR: ./manual.tex:1451: Warning: Undefined label: 'fig:xreducing:text'
BUILDSTDERR: ./manual.tex:1636: Warning: Undefined label: 'fig:basiceos'
BUILDSTDERR: ./manual.tex:1653: Warning: Undefined label: 'fig:basiceos'
BUILDSTDERR: ./manual.tex:1665: Warning: Undefined label: 'fig:basiceos'
BUILDSTDERR: ./manual.tex:1670: Warning: Undefined label: 'fig:basiceosdump'
BUILDSTDERR: ./manual.tex:1694: Warning: Undefined label: 'fig:basiceos:sol'
BUILDSTDERR: ./manual.tex:1772: Warning: Undefined label: 'fig:pos'
BUILDSTDERR: ./manual.tex:1836: Warning: Undefined label: 'fig:pos:mapping'
BUILDSTDERR: ./manual.tex:1841: Warning: Undefined label: 'fig:pos:mapping'
BUILDSTDERR: ./manual.tex:1847: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:1945: Warning: Undefined label: 'sec:sentences'
BUILDSTDERR: ./manual.tex:2052: Warning: Undefined label: 'sec:qa'
BUILDSTDERR: ./manual.tex:2105: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:2105: Warning: Undefined label: 'sec:inspection'
BUILDSTDERR: ./manual.tex:2128: Warning: Undefined label: 'sec:incremental:driving'
BUILDSTDERR: ./manual.tex:2129: Warning: Undefined label: 'sec:incremental:inspecting'
BUILDSTDERR: ./manual.tex:2129: Warning: Undefined label: 'sec:incremental:updating'
BUILDSTDERR: ./manual.tex:2438: Warning: Undefined label: 'sec:inspection'
BUILDSTDERR: ./manual.tex:2503: Warning: Undefined label: 'sec:incremental:updating'
BUILDSTDERR: ./manual.tex:2539: Warning: Undefined label: 'sec:incremental:inspecting'
BUILDSTDERR: ./manual.tex:2551: Warning: Undefined label: 'sec:inspection'
BUILDSTDERR: ./manual.tex:2599: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:2800: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:2854: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:2859: Warning: Undefined label: 'sec:errors'
BUILDSTDERR: ./manual.tex:2867: Warning: Undefined citation: 'jeffery-03'
BUILDSTDERR: ./manual.tex:2868: Warning: Undefined citation: 'pottier-reachability-cc-2016'
BUILDSTDERR: ./manual.tex:2882: Warning: Undefined label: 'sec:messages:format'
BUILDSTDERR: ./manual.tex:2884: Warning: Undefined label: 'sec:messages:tools'
BUILDSTDERR: ./manual.tex:2886: Warning: Undefined label: 'sec:errors:diagnostics'
BUILDSTDERR: ./manual.tex:2887: Warning: Undefined label: 'sec:errors:example'
BUILDSTDERR: ./manual.tex:2893: Warning: Undefined citation: 'knuth-lr-65'
BUILDSTDERR: ./manual.tex:2894: Warning: Undefined citation: 'pager-77'
BUILDSTDERR: ./manual.tex:2900: Warning: Undefined label: 'sec:errors:diagnostics'
BUILDSTDERR: ./manual.tex:2919: Warning: Undefined label: 'sec:sentences'
BUILDSTDERR: ./manual.tex:2977: Warning: Undefined label: 'fig:messages:entry'
BUILDSTDERR: ./manual.tex:2982: Warning: Undefined label: 'sec:messages:tools'
BUILDSTDERR: ./manual.tex:2990: Warning: Undefined label: 'fig:messages:entry:decorated'
BUILDSTDERR: ./manual.tex:3016: Warning: Undefined label: 'sec:errors:diagnostics'
BUILDSTDERR: ./manual.tex:3160: Warning: Undefined label: 'fig:declarations'
BUILDSTDERR: ./manual.tex:3166: Warning: Undefined label: 'sec:messages:format'
BUILDSTDERR: ./manual.tex:3172: Warning: Undefined label: 'fig:declarations'
BUILDSTDERR: ./manual.tex:3184: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3187: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3191: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3201: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3214: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3220: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3243: Warning: Undefined label: 'fig:declarations:onerrorreduce'
BUILDSTDERR: ./manual.tex:3265: Warning: Undefined label: 'fig:declarations:phantom'
BUILDSTDERR: ./manual.tex:3269: Warning: Undefined label: 'fig:declarations'
BUILDSTDERR: ./manual.tex:3285: Warning: Undefined label: 'sec:onerrorreduce'
BUILDSTDERR: ./manual.tex:3286: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3293: Warning: Undefined label: 'fig:declarations:onerrorreduce'
BUILDSTDERR: ./manual.tex:3295: Warning: Undefined label: 'fig:declarations'
BUILDSTDERR: ./manual.tex:3310: Warning: Undefined label: 'fig:declarations'
BUILDSTDERR: ./manual.tex:3312: Warning: Undefined label: 'fig:declarations:over'
BUILDSTDERR: ./manual.tex:3313: Warning: Undefined label: 'fig:declarations:onerrorreduce'
BUILDSTDERR: ./manual.tex:3315: Warning: Undefined label: 'fig:declarations:under'
BUILDSTDERR: ./manual.tex:3329: Warning: Undefined label: 'fig:declarations:under'
BUILDSTDERR: ./manual.tex:3379: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
BUILDSTDERR: ./manual.tex:3381: Warning: Undefined citation: 'compcert'
BUILDSTDERR: ./manual.tex:3399: Warning: Undefined label: 'sec:errors'
BUILDSTDERR: ./manual.tex:3402: Warning: Undefined label: 'fig:pos'
BUILDSTDERR: ./manual.tex:3403: Warning: Undefined label: 'sec:parameter'
BUILDSTDERR: ./manual.tex:3404: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:3405: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:3410: Warning: Undefined label: 'sec:type'
BUILDSTDERR: ./manual.tex:3410: Warning: Undefined label: 'sec:start'
BUILDSTDERR: ./manual.tex:3413: Warning: Undefined label: 'sec:conflicts:benign'
BUILDSTDERR: ./manual.tex:3415: Warning: Undefined label: 'sec:assoc'
BUILDSTDERR: ./manual.tex:3451: Warning: Undefined citation: 'compcert'
BUILDSTDERR: ./manual.tex:3539: Warning: Undefined citation: 'compcert'
BUILDSTDERR: ./manual.tex:3539: Warning: Undefined citation: 'compcert-github'
BUILDSTDERR: ./manual.tex:3565: Warning: Undefined citation: 'klint-laemmel-verhoef-05'
BUILDSTDERR: ./manual.tex:3571: Warning: Undefined label: 'sec:sdk'
BUILDSTDERR: ./manual.tex:3578: Warning: Undefined label: 'sec:attributes'
BUILDSTDERR: ./manual.tex:3633: Warning: Undefined label: 'sec:decls'
BUILDSTDERR: ./manual.tex:3664: Warning: Undefined label: 'sec:producers'
BUILDSTDERR: ./manual.tex:3680: Warning: Undefined label: 'sec:decls'
BUILDSTDERR: ./manual.tex:3713: Warning: Undefined label: 'sec:build:infer'
BUILDSTDERR: ./manual.tex:3713: Warning: Undefined label: 'sec:build:flags'
BUILDSTDERR: ./manual.tex:3732: Warning: Undefined label: 'sec:build:infer:none'
BUILDSTDERR: ./manual.tex:3735: Warning: Undefined label: 'sec:build:infer:direct'
BUILDSTDERR: ./manual.tex:3738: Warning: Undefined label: 'sec:build:infer:indirect'
BUILDSTDERR: ./manual.tex:3745: Warning: Undefined label: 'sec:build:infer:direct'
BUILDSTDERR: ./manual.tex:3746: Warning: Undefined label: 'sec:build:infer:indirect'
BUILDSTDERR: ./manual.tex:3928: Warning: Undefined label: 'sec:templates'
BUILDSTDERR: ./manual.tex:3929: Warning: Undefined label: 'sec:library'
BUILDSTDERR: ./manual.tex:3936: Warning: Undefined label: 'sec:inline'
BUILDSTDERR: ./manual.tex:3939: Warning: Undefined label: 'sec:conflicts'
BUILDSTDERR: ./manual.tex:3943: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:3948: Warning: Undefined label: 'sec:coq'
BUILDSTDERR: ./manual.tex:3950: Warning: Undefined label: 'sec:interpret'
BUILDSTDERR: ./manual.tex:3953: Warning: Undefined label: 'sec:split'
BUILDSTDERR: ./manual.tex:3964: Warning: Undefined label: 'sec:eos'
BUILDSTDERR: ./manual.tex:3978: Warning: Undefined label: 'sec:positions'
BUILDSTDERR: ./manual.tex:3980: Warning: Undefined label: 'sec:errors'
BUILDSTDERR: ./manual.tex:3982: Warning: Undefined label: 'sec:errors'
BUILDSTDERR: ./manual.tex:3987: Warning: Undefined label: 'sec:conflicts'
BUILDSTDERR: ./manual.tex:4026: Warning: \vspace with arg '-\baselineskip'
BUILDSTDERR: ./manual.tex:4037: Warning: Undefined label: 'sec:build'
BUILDSTDERR: ./manual.tex:4077: Warning: Undefined label: 'sec:monolithic'
BUILDSTDERR: ./manual.tex:4083: Warning: Undefined label: 'sec:incremental'
BUILDSTDERR: ./manual.tex:4118: Warning: Undefined label: 'sec:positions'
BUILDSTDERR: ./manual.tex:4121: Warning: Undefined citation: 'obelisk'
BUILDSTDERR: ./manual.tex:4127: Warning: Undefined citation: 'knuth-lr-65'
BUILDSTDERR: ./manual.tex:4130: Warning: Undefined citation: 'pager-77'
BUILDSTDERR: ./manual.tex:4133: Warning: Undefined citation: 'bison'
BUILDSTDERR: ./manual.tex:4136: Warning: Undefined citation: 'deremer-pennello-82'
BUILDSTDERR: ./manual.tex:4140: Warning: Undefined citation: 'bhamidipaty-proebsting-98'
BUILDSTDERR: ./manual.tex:4140: Warning: Undefined citation: 'horspool-faster-90'
BUILDSTDERR: ./manual.tex:4145: Warning: Undefined citation: 'tarjan-yao-79'
BUILDSTDERR: ./manual.tex:4148: Warning: Undefined citation: 'dencker-84'
BUILDSTDERR: ./manual.tex:4151: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr'
BUILDSTDERR: ./manual.tex:4157: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
BUILDSTDERR: ./manual.tex:4159: Warning: Undefined label: 'sec:errors:new'
BUILDSTDERR: ./manual.tex:4160: Warning: Undefined citation: 'jeffery-03'
BUILDSTDERR: ./manual.tex:4161: Warning: Undefined citation: 'pottier-reachability-cc-2016'
BUILDSTDERR: HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right.
BUILDSTDERR: HeVeA Warning: images may have changed, run 'imagen  manual'
BUILDSTDERR: Run, run, again...
BUILDSTDERR: Exclude comment 'comment'
BUILDSTDERR: ./manual.tex:4026: Warning: \vspace with arg '-\baselineskip'
BUILDSTDERR: Fixpoint reached in 2 step(s)
BUILDSTDERR: Now, I am running imagen for you
RESOLUTION: 100
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=latex)
 restricted \write18 enabled.
BUILDSTDERR: kpathsea: Running mktexfmt latex.fmt
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
BUILDSTDERR: mktexfmt:   /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
BUILDSTDERR: mktexfmt:   /builddir/.texlive2018/texmf-config/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [WARNING]: double mention of mf/mf-nowin in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c
BUILDSTDERR: mktexfmt [INFO]: --- remaking latex with pdftex
BUILDSTDERR: mktexfmt: running `pdftex -ini   -jobname=latex -progname=latex -translate-file=cp227.tcx *latex.ini' ...
BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX)
BUILDSTDERR:  restricted \write18 enabled.
BUILDSTDERR:  (/usr/share/texlive/texmf-dist/web2c/cp227.tcx)
BUILDSTDERR: entering extended mode
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/latex.ini
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg)
BUILDSTDERR: ./texsys.aux found
BUILDSTDERR: \@currdir set to: ./.
BUILDSTDERR: Assuming \openin and \input 
BUILDSTDERR: have the same search path.
BUILDSTDERR: Defining UNIX/DOS style filename parser.
BUILDSTDERR: catcodes, registers, parameters,
BUILDSTDERR: LaTeX2e <2017-04-15>
BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths,
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fonttext.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fontmath.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file preload.cfg used
BUILDSTDERR: =====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref,
BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning,
BUILDSTDERR: contents, floats, footnotes, index, bibliography, output,
BUILDSTDERR: ===========================================
BUILDSTDERR: Local configuration file hyphen.cfg used
BUILDSTDERR: ===========================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex))
BUILDSTDERR:  ) )
BUILDSTDERR: Beginning to dump on file latex.fmt
BUILDSTDERR:  (preloaded format=latex 2018.8.12)
BUILDSTDERR: 5082 strings of total length 69275
BUILDSTDERR: 44963 memory locations dumped; current usage is 144&44367
BUILDSTDERR: 3423 multiletter control sequences
BUILDSTDERR: \font\nullfont=nullfont
BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10
BUILDSTDERR: \font\tenln=line10
BUILDSTDERR: \font\tenlnw=linew10
BUILDSTDERR: \font\tencirc=lcircle10
BUILDSTDERR: \font\tencircw=lcirclew10
BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5
BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7
BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10
BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5
BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7
BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10
BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5
BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7
BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10
BUILDSTDERR: 3633 words of font info for 14 preloaded fonts
BUILDSTDERR: 14 hyphenation exceptions
BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111
BUILDSTDERR:   2 for language 1
BUILDSTDERR:   181 for language 0
BUILDSTDERR: 0 words of pdfTeX memory
BUILDSTDERR: 0 indirect objects
BUILDSTDERR: No pages of output.
BUILDSTDERR: Transcript written on latex.log.
BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/latex.fmt installed.
BUILDSTDERR: mktexfmt [INFO]: Disabled formats: 34
BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1
BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 13
BUILDSTDERR: mktexfmt [INFO]: Total formats: 48
BUILDSTDERR: mktexfmt [INFO]: exiting with status 0
entering extended mode
(./manual.image.tex
LaTeX2e <2017-04-15>
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
(./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)))
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/dvips.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postsc
ript.def)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (default): hdvips.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hdvips.def
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pdfmark.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))))
(./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
No file manual.image.aux.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)
ABD: EveryShipout initializing macros
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
Package hyperref Warning: Rerun to get /PageLabels entry.
[1] [2] [3] (./manual.image.aux)
Package rerunfilecheck Warning: File `manual.image.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
 )
(see the transcript file for additional information)
Output written on manual.image.dvi (3 pages, 18360 bytes).
Transcript written on manual.image.log.
BUILDSTDERR: This is dvips(k) 5.998 Copyright 2018 Radical Eye Software (www.radicaleye.com)
BUILDSTDERR: ' TeX output 2018.08.12:1939' -> 
BUILDSTDERR: </usr/share/texlive/texmf-dist/dvips/base/texc.pro>
BUILDSTDERR: </usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc>
BUILDSTDERR: </usr/share/texlive/texmf-dist/dvips/base/texps.pro>
BUILDSTDERR: </usr/share/texlive/texmf-dist/dvips/base/special.pro>
BUILDSTDERR: </usr/share/texlive/texmf-dist/dvips/base/color.pro>. 
BUILDSTDERR: </usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>[1] [2] [3] 
BUILDSTDERR: convert: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-22613_tAC1V4QbNg7' @ warning/png.c/MagickPNGWarningHandler/1665.
BUILDSTDERR: convert: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-22619dIpLwgfNbnN8' @ warning/png.c/MagickPNGWarningHandler/1665.
BUILDSTDERR: convert: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-22625nBU1lwvdvrdd' @ warning/png.c/MagickPNGWarningHandler/1665.
sed -i -e "s/cellpadding0/cellpadding1/" manual.html
make: Leaving directory '/builddir/build/BUILD/menhir-20180530/doc'
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.ReqNoi
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64
+ cd menhir-20180530
+ chmod a-x demos/find-menhir.sh
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml
+ make install PREFIX=/builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr TARGET=native
mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/bin
install src/_stage2/menhir.native /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/bin/menhir
mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/menhir
install -m 644 src/standard.mly /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/menhir
Installing MenhirLib and MenhirSdk via ocamlfind.
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.o
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.cmx
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.cmo
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.cmi
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.ml
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/menhirLib.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirLib/META
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirSdk/menhirSdk.o
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmx
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmo
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirSdk/menhirSdk.cmi
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/lib64/ocaml/menhirSdk/META
if [ -f manual.pdf ] ; then \
  mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/menhir /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/man/man1 && \
  cp -r manual.pdf manual.html demos /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/menhir && \
  cp -r menhir.1 /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/man/man1 ; \
fi
+ rm -fr /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/menhir
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 20180530-4.fc29 --unique-debug-suffix -20180530-4.fc29.riscv64 --unique-debug-src-base ocaml-menhir-20180530-4.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/menhir-20180530
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/bin/menhir
extracting debug info from /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/bin/menhir
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
BUILDSTDERR: cpio: src/_stage2/buffer.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/bytes.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/hashtbl.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/lexing.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/list.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/map.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/printf.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/queue.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/set.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/stdlib.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: src/_stage2/string.ml: Cannot stat: No such file or directory
BUILDSTDERR: 2868 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: ocaml-menhir-20180530-4.fc29.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.fp0wbg
+ umask 022
+ cd /builddir/build/BUILD
+ cd menhir-20180530
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ cp -pr CHANGES.md /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ cp -pr doc/manual.pdf /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ cp -pr demos /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/doc/ocaml-menhir
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.NGPxLi
+ umask 022
+ cd /builddir/build/BUILD
+ cd menhir-20180530
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/licenses/ocaml-menhir
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/licenses/ocaml-menhir
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64/usr/share/licenses/ocaml-menhir
+ exit 0
Provides: ocaml-menhir = 20180530-4.fc29 ocaml-menhir(riscv-64) = 20180530-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Processing files: ocaml-menhir-devel-20180530-4.fc29.riscv64
Provides: ocaml(MenhirLib) = 084d84384cab9fb957759defdb91e6f2 ocaml(MenhirSdk) = e99e4485cbf36605495453b7d23a0755 ocaml-menhir-devel = 20180530-4.fc29 ocaml-menhir-devel(riscv-64) = 20180530-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3 ocaml(CamlinternalLazy) = 3adca82482059421053701381ab2103c ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba ocaml(Stdlib__bytes) = fe610140c1c3c7a45519f124966c164d ocaml(Stdlib__char) = dfbf7b404aa65639c2ae48823aae4141 ocaml(Stdlib__format) = 28a664c1f420f636bf646c962e89e74a ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6 ocaml(Stdlib__lazy) = e6d072b84e6160ffef0b04b417bf1f72 ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74 ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53 ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022 ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306 ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3 ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a ocaml(runtime) = 4.07.0
Processing files: ocaml-menhir-debugsource-20180530-4.fc29.riscv64
Provides: ocaml-menhir-debugsource = 20180530-4.fc29 ocaml-menhir-debugsource(riscv-64) = 20180530-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-menhir-debuginfo-20180530-4.fc29.riscv64
Provides: debuginfo(build-id) = a76e14c167ba1d3190cd8b91a3c3beeac1d6b780 ocaml-menhir-debuginfo = 20180530-4.fc29 ocaml-menhir-debuginfo(riscv-64) = 20180530-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-menhir-debugsource(riscv-64) = 20180530-4.fc29
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64
Wrote: /builddir/build/RPMS/ocaml-menhir-20180530-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-menhir-devel-20180530-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-menhir-debugsource-20180530-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-menhir-debuginfo-20180530-4.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.o14Du9
+ umask 022
+ cd /builddir/build/BUILD
+ cd menhir-20180530
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-menhir-20180530-4.fc29.riscv64
+ exit 0
Child return code was: 0