Sébastien Hinderer

Results 375 comments of Sébastien Hinderer

Why not! It can always be reopened if the problem reappears! Thanks!

Thanks a lot for the two suggestions, that I did take into account. I didn't dare to modify the commented bit because it was referring to a different llvm version,...

Olivier Nicole (2024/06/05 05:58 -0700): > @OlivierNicole approved this pull request. Thanks! > I don’t know why version 14 (and even 9) are hardcoded, but if there’s > no good...

@rwmjones so AIUI there are two needs: (1) the need for a way _not_ to have those CFLAGS used to compile OCaml propagate to the compilation of third-party code and...

Gabriel Scherer (2023/09/21 03:58 -0700): > > The current PR does not fulfill them in its present form, and I think your needs can be addressed in a separate PR...

I just pushed an updated version of this PR. The purpose of the PR remains the same, i.e. making sure that the C compiler/preprocessor flags passed to `configure` in the...

Tim McGilchrist (2024/06/24 15:33 -0700): > The duplication of `pthread` is fixed, thank you @shindere. Thanks a lot for having double checked! > One small nitpick, a few variables have...

Jerry James (2024/06/24 19:56 -0700): > The flags you added for @rwmjones sound like what I am interested in. > Thank you for that. Good. Thanks for confirming. > Are...

thanks a lot for having taken the time to checkthat the fix was actually working and to reporting very clearly about your experiment.