[MacPorts] #42639: ott: Files types.cmx and location.cmx make inconsistent assumptions over interface Location
#42639: ott: Files types.cmx and location.cmx make inconsistent assumptions over interface Location --------------------------+---------------------- Reporter: ryandesign@… | Owner: ggreif@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Keywords: | Port: ott --------------------------+---------------------- 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. -- Ticket URL: <https://trac.macports.org/ticket/42639> MacPorts <http://www.macports.org/> Ports system for OS X
#42639: ott: Files types.cmx and location.cmx make inconsistent assumptions over interface Location ---------------------------+---------------------- Reporter: ryandesign@… | Owner: ggreif@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: ott | ---------------------------+---------------------- Comment (by 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 :-( -- Ticket URL: <https://trac.macports.org/ticket/42639#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X
#42639: ott: Files types.cmx and location.cmx make inconsistent assumptions over interface Location ---------------------------+---------------------- Reporter: ryandesign@… | Owner: ggreif@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: ott | ---------------------------+---------------------- Comment (by ryandesign@…): Yeah, it built fine for me too, on Mavericks, Mountain Lion and Lion. There must be some extra information we're missing. -- Ticket URL: <https://trac.macports.org/ticket/42639#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts