Created attachment 221629 [details] Patch for codelite
There exists a bug #252085, which has a patch for a new port editors/codelite-devel with version 14.0.5.20201218. On Github v15.0.0 [1] was released Jan 15, 2021. Because editors/codelite is outdated and no longer buildable, wouldn't it be better to update this port to version 15.0.0 instead of creating a new 'devel' version? Just a thought ;) [1] https://github.com/eranif/codelite/commit/53713d80b98cca07fef5e0f697497613f18adcff
Thanks for finding that PR and I agree that it makes much more sense than creating a devel port.
Hi Daniel, Wouldn't the patch for v15.0.0 published today by Ivan in bug #252085 be better here, as discussed before? Probably a devel port is not needed then. But I can not make this decision for Ivan ...