On Wednesday, 13 May 2015 20:55:16 UTC+1, leif wrote: > > Dima Pasechnik wrote: > > On Wednesday, 13 May 2015 17:55:17 UTC+1, leif wrote: > > > > Volker Braun wrote: > > > IMHO: > > > > > > * The package type (standard/optional/experimental) should be in a > > file > > > inside the package directory > > > > hmm... > > > > rather, how about SAGEROOT/build/pkg/standard/ > > , SAGEROOT/build/pkg/optional/, etc? > > > > that's much more clear than all these lists... > > But changing a single file in case the category changes (from optional > to standard, say) is certainly simpler (or less error-prone) than moving > the whole folder. > > And we wouldn't have to change the whole bunch of build and > package-related scripts. (With an additional file, we'd need only minor > changes to treat e.g. optional packages differently when appropriate.) > > emulating a filesystem sucks. You'd have to write and maintain scripts that parse these custom file catalogs, etc etc etc.
> -leif > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.