On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> 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. Could you modify it so that it builds those packages in this order? coq flocq gappalib-coq why3 frama-c why I'll get them rebuilt this time, but it would be nice if that was done automatically for future rebuilds. 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? Thanks, -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
