Nicolás Ojeda Bär comments

Results 510 comments of


                                            Nicolás Ojeda Bär

gcc: fix partial linking by using gcc -r instead of ld -r

> It could even be an `AS_IF` with `$CC` used in the else clause, even if the compiler is not gcc (clang). I added a clause for clang, gcc, and...

gcc: fix partial linking by using gcc -r instead of ld -r

> Could we add a regression test for this? I would like to, but it is a bit complicated at first sight since it depends on installed C libraries.

gcc: fix partial linking by using gcc -r instead of ld -r

trunk: ``` nojebar@PERVERSESHEAF:~$ echo > t.ml nojebar@PERVERSESHEAF:~$ opam exec -- ocamlfind ocamlopt -verbose -output-complete-obj -package camlzip -linkpkg -o t.exe.o t.ml Effective set of compiler predicates: pkg_unix,pkg_zip,pkg_camlzip,autolink,native + ocamlopt.opt -verbose -output-complete-obj...

gcc: fix partial linking by using gcc -r instead of ld -r

There is a failure on `arm64` that looks a bit mysterious: ``` 2024-05-28T18:27:05.2256420Z ... testing 'test.ml' with line 75 (ocamlopt.byte) => passed 2024-05-28T18:27:05.2258080Z ... testing 'test.ml' with line 76 (check-ocamlopt.byte-output)...

gcc: fix partial linking by using gcc -r instead of ld -r

OK, I have restricted the change to GCC for now, which is the only compiler where we know that the fix is needed and works.

gcc: fix partial linking by using gcc -r instead of ld -r

> I started a [precheck build](https://ci.inria.fr/ocaml/job/precheck/975/) Thanks!

gcc: fix partial linking by using gcc -r instead of ld -r

Thanks @gasche for the report; I'll investigate a bit and see what I can find out.

gcc: fix partial linking by using gcc -r instead of ld -r

I am not sure I can do much more here. I don't have a sufficient number of exotic systems to test these changes on to find out what is the...

Move Dynlink into the Standard Library and use it in the toplevel

> So if there is no dead code elimination during link time what happens generally to all the unused functions in an OCaml executable-- do they accumulate in the executable...

Move Dynlink into the Standard Library and use it in the toplevel

> [I just realized that this discussion is probably off topic by now. Would appreciate any answer. Will take discussion on discuss.ocaml.org subsequently if it feels particularly compelling to continue...