pkgconfig path fix #1822 not in the release

[dimpase]

Somehow #1822 has not made it into the current release.
We see in now on Gentoo as a bug. @orlitzky

[albinahlback]

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.)

[dimpase]

It would be good to have another release, yes.

[edgarcosta]

@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

[albinahlback]

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.

[edgarcosta]

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