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.

Reply via email to