postgresql11 port conflicts with postgresql10

[alexius2]

Hello,

I couldn't install postgresql11 port when postgresql10 is installed (I need both):

Error: Failed to activate postgresql11: Image error: /opt/local/bin/psql10 is being used by the active postgresql10 port.  Please deactivate this port first, or use 'port -f activate postgresql11' to force the activation.

Probably need to change line in PORTFILE:

post-destroot {
    system "cd ${destroot}${prefix}/bin && ln -sf ${libdir}/bin/psql psql10"

to psql11 and rename file bin/psql10 to psql11 and patch CONTENTS file.

I tried all that locally but still got:

Failed to activate postgresql11: Image error: Source file /opt/local/var/macports/software/postgresql11/mpextractF6ie984I/opt/local/bin/psql10 does not appear to exist (cannot lstat it).  Unable to activate port postgresql11.

Perhaps I missed something about how ports work.

[Jyrki Wahlstedt <jyrki.wahlstedt@…>]

In 20ff6202ce83460e4dc91f7a68b8c65fdfc3279a/macports-ports (master):

postgresql11: fixing an omission, previous version was still in one place

Closes: #57510