retdec-devel: update to 20230404

[catap]

Description

Type(s)

• enhancement

Tested on

macOS 12.6.3 21G419 x86_64
Xcode 14.2 14C18

Verification

Have you

• followed our Commit Message Guidelines?
• squashed and minimized your commits?
• checked that there aren't other open pull requests for the same change?
• checked your Portfile with port lint --nitpick?
• tried a full install with sudo port -vst install?
• tested basic functionality of all binary files?

[kencu]

@jmroot

any better idea for the extract.rename issue here?

[catap]

@kencu I suggest to use macports/macports-base#289 as discussion to find the better solution to this use-case.

I don't say that suggest approach is good, but it fixes that port.

[kencu]

I just want @jmroot or @ryandesign to sign off on this ahead of the commit rather than have issues with it after.

[jmroot]

Better to handle it in the github portgroup for everyone, I would think. (See Trac comments.)

[catap]

@jmroot anyway it shouldn't be a part of this PR, do you agree?

[catap]

@jmroot , @kencu maybe merge this PR? It seems quite clear that an issue isn't related to it, and should be fixed inside Github PG or MacPorts itself.

[herbygillot]

Merging this. We can open a separate PR to enhance the github portgroup if needed.

[catap]

thanks, Herby!