On 20 May 2017, at 06:41, Germán Arias <germanan...@gmx.es> wrote: > > Hi, > > El jue, 18-05-2017 a las 10:13 +0100, David Chisnall escribió: > [...] >> Hmm, I thought we were only one minor revision behind. I’ll look at >> updating them this weekend. >> >> David >> >> P.S. No need to cc portmgr: they’re not the maintainers of the >> GNUstep ports, I am (though I’d be very happy if someone else wanted >> to volunteer). > > Packages build with debug symbols would be nice.
Unfortunately that’s generally not policy for ports. The current plan, once the separate debug info stuff is a bit more mature, is to include the files in the packages but make them optional installs. Note: Everything installed from packages lives in the System domain and installations in the Local domain take precedence, so you can always install -base or -gui from source in the local domain with debug info. David _______________________________________________ Gnustep-dev mailing list Gnustep-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnustep-dev
