pkgconfig path fix #1822 not in the release

Open dimpase opened this issue 1 year ago • 5 comments

Somehow https://github.com/flintlib/flint/pull/1822 has not made it into the current release. We see in now on Gentoo as a bug. @orlitzky

Oct 14 '24 11:10 dimpase

Do you mean FLINT v3.1.3-p1? We could make another release. (But I believe I've said this before, we do not support CMake for non-Windows systems.)

Oct 14 '24 14:10 albinahlback

It would be good to have another release, yes.

Oct 14 '24 14:10 dimpase

@albinahlback do we want a release with all the recent commits and call it 3.1.4? I have not been following what has happened

Oct 14 '24 19:10 edgarcosta

Perhaps. @fredrik-johansson what do you think?

I suppose, however, that we should do a 3.2.0 instead of 3.1.4 since there has been a lot of changes since 3.1.0.

Oct 14 '24 19:10 albinahlback

if there have been a lot of changes, I would say, why not?

Oct 14 '24 19:10 edgarcosta