On 06/27/2012 02:03 PM, Makarius wrote:
On Wed, 27 Jun 2012, Florian Haftmann wrote:
Not sure what the status of »/home/isabelle/public_components« is.
See also this thread on the same topic:
http://www.mail-archive.com/[email protected]/msg02157.html
/home/isabelle/public_components was my (incomplete) attempt to solve
the remote distribution problem, while /home/isabelle/contrib now solves
the local distribution problem.
Currently the difference is that public_components contains tarballs
(not suitable for in-place use), whereas contrib contains directories
(not suitable for download via HTTP/wget: slow, and file permissions
would get lost). I think we actually need to keep the content in both
formats, but one directory should be automatically generated from the other.
Which one should be the master? Intuitively, I like the mindset "1
component = 1 package = 1 tarball", but regarding the directories as the
master and using tarballs as a mere distribution mechanism is equally
valid IMO.
Alex
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
