ott: Files types.cmx and location.cmx make inconsistent assumptions over interface Location

[ryandesign (Ryan Carsten Schmidt)]

ott failed to build on the Lion buildslave:

echo Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lexyac_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lexyac_pp.cmi transform.cmi term_parser.cmi version.tex
Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lexyac_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lexyac_pp.cmi transform.cmi term_parser.cmi version.tex
ocamlopt -w p -w y -unsafe -inline 9 -v
The OCaml native-code compiler, version 4.01.0
Standard library directory: /opt/local/lib/ocaml
ocamlopt -w p -w y -unsafe -inline 9 -o ott.opt str.cmxa ../ocamlgraph-1.7/graph.cmxa  location.cmx  types.cmx  auxl.cmx  merge.cmx  global_option.cmx  grammar_lexer.cmx  grammar_parser.cmx  version.cmx  grammar_pp.cmx  parse_table.cmx  glr.cmx  new_term_parser.cmx  term_parser.cmx  dependency.cmx  bounds.cmx  context_pp.cmx  grammar_typecheck.cmx  transform.cmx  substs_pp.cmx  subrules_pp.cmx  embed_pp.cmx  defns.cmx  ln_transform.cmx  coq_induct.cmx  system_pp.cmx  lexyac_pp.cmx  align.cmx  main.cmx 
File "_none_", line 1:
Error: Files types.cmx and location.cmx
       make inconsistent assumptions over interface Location
make[2]: *** [ott.opt] Error 2
make[2]: Leaving directory `/opt/local/var/macports/build/_opt_mports_dports_devel_ott/ott/work/ott_distro_0.24/src'
make[1]: *** [install] Error 2
make[1]: Leaving directory `/opt/local/var/macports/build/_opt_mports_dports_devel_ott/ott/work/ott_distro_0.24/src'
make: *** [world] Error 2

See ​https://build.macports.org/builders/buildports-lion-x86_64/builds/18642/steps/compile/logs/stdio

Curiously, the three other buildslaves built it just fine.

[ggreif@…]

I just did

$ uname -a
Darwin iMac-REDACTED.local 12.5.0 Darwin Kernel Version 12.5.0: Sun Sep 29 13:33:47 PDT 2013; root:xnu-2050.48.12~1/RELEASE_X86_64 x86_64

$ ocamlopt -v
The OCaml native-code compiler, version 4.01.0
Standard library directory: /opt/local/lib/ocaml

$  port build ott
Error: 
Error: No Xcode installation was found.
Error: Please install Xcode and/or run xcode-select to specify its location.
Error: 
Warning: xcodebuild exists but failed to execute
Warning: MacPorts running without privileges. You may be unable to complete certain actions (e.g. install).
Warning: Xcode does not appear to be installed; most ports will likely fail to build.
--->  Computing dependencies for ott
--->  Fetching distfiles for ott
Warning: Your DNS servers incorrectly claim to know the address of nonexistent hosts. This may cause checksum mismatches for some ports.
--->  Attempting to fetch ott_distro_0.24.tar.gz from http://nue.de.distfiles.macports.org/macports/distfiles/ott
--->  Verifying checksums for ott
--->  Extracting ott
--->  Configuring ott
--->  Building ott

And it built flawlessly on Mountain Lion. I do not have a Lion machine to debug this :-(

[ryandesign (Ryan Carsten Schmidt)]

Yeah, it built fine for me too, on Mavericks, Mountain Lion and Lion. There must be some extra information we're missing.