[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Sat Jun 16 14:11:04 CEST 2012
Am 16.06.2012 um 05:28 schrieb Florian Haftmann:
> So far the basics. However, also the time of platform-universal
> components is gone. Let me quote Alex:
>> a) Subdirectories for each platform
>> Then, the universal component packages must be copied, symlinked or
>> b) Different packages for different platforms, roughly as it is now...
>> Then we need a /Admin/contributed_components file for each
>> platform, which lists the components relevant for that platform.
> I would prefer both indeed:
> a) architecture-sensitive organisation, but with universal components
> directly under contrib (as is the case now)
> b) separate component files for different platforms
I'm a bit puzzled here. What does "preferring both" means exactly? And why does point (a) talk about universal components, when you wrote that the time of platform-universal components is gone? What are the precise implications for the (universal) components I'm packaging (Kodkodi, CVC3, E, SPASS, Z3)?
More information about the isabelle-dev