On Mon, Aug 25, 2014 at 01:22:04PM -0600, Jerry James wrote:
On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones
<rjones(a)redhat.com> wrote:
> This is complete now. There were four or five packages which didn't
> rebuild which I'll look at after the UK public holiday.
Your rebuild script did coq, flocq, and why3, but not gappalib-coq,
frama-c, or why. There are ordering dependencies here, too.
I don't have any control over the build ordering.
The script should build them in BuildRequires order automatically.
However in this case I have blocked frama-c and gappalib-coq because
they didn't build in the previous round, see:
http://git.annexia.org/?p=goals.git;a=blob;f=fedora_ocaml_rebuild.ml;h=c7...
The script also blocks any dependencies recursively.
If they build now, I can unblock them and their dependencies and rerun
the script.
Also, the ocaml-tplib build is failing because this invocation:
ocamlbuild -cflag -g -lflag -g -ocamlc ocp-ocamlc.opt -ocamlopt
ocp-ocamlopt.opt -classic-display -no-links -build-dir _build
-use-ocamlfind src/tplib.mllib src/numeric.cmi src/semiring.cmi
src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi
src/tplib_abstract.cmi src/numeric_plugins/zarith_plugin.cmxs
src/bindings/tplib_double_callback.obj.o
src/bindings/tplib_rational_callback.obj.o src/compute_ext_rays.native
src/compute_ext_rays_polar.native src/compute_halfspaces.native
src/compute_tangent_hypergraph.native
src/compute_minimal_external_representations.native
src/compute_tropical_complex.native
prompts ocamlbuild to issue this command:
ocamlfind ocp-ocamlopt.opt unix.cmxa -I /usr/lib64/ocaml/ocamlbuild
/usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g -linkpkg
myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmx -o
myocamlbuild
but ocamlfind doesn't know anything about an ocp-ocamlopt.opt command:
Usage: ocamlfind query [-help | other options] <package_name> ...
or: ocamlfind ocamlc [-help | other options] <file> ...
or: ocamlfind ocamlcp [-help | other options] <file> ...
or: ocamlfind ocamlmklib [-help | other options] <file> ...
or: ocamlfind ocamlmktop [-help | other options] <file> ...
or: ocamlfind ocamlopt [-help | other options] <file> ...
or: ocamlfind ocamloptp [-help | other options] <file> ...
or: ocamlfind ocamldep [-help | other options] <file> ...
or: ocamlfind ocamlbrowser [-help | other options]
or: ocamlfind ocamldoc [-help | other options] <file> ...
or: ocamlfind install [-help | other options] <package_name> <file>
...
or: ocamlfind remove [-help | other options] <package_name>
or: ocamlfind printconf [-help] [variable]
or: ocamlfind list
or: ocamlfind pkg/cmd arg ...
Select toolchain with:
ocamlfind -toolchain <t> <command>
Abbreviations:
e.g. ocamlfind opt instead of ocamlfind ocamlopt
Command exited with code 2.
If I build for Fedora 21 instead, that same ocambuild invocation
results in this command being issued:
ocamlfind ocamlopt unix.cmxa -I /usr/lib64/ocaml/ocamlbuild
/usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g -linkpkg
myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmx -o
myocamlbuild
which works. Apparently the meaning of the -ocamlopt option to
ocamlbuild has changed. Do you have any suggestions on how to deal
with the situation?
I'm not very familiar with ocamlbuild. In fact I didn't and still
don't agree with it on principle. Guess we need to ask upstream to
fix this.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW