# HG changeset patch # User wenzelm # Date 1345223234 -7200 # Node ID 06e8cb8f3f616e8b1c8493625b1abb3c3018b318 # Parent fd3cba82c4468c7b641b26d0ec73fd6cd973ffd8 some explanations on component categories; diff -r fd3cba82c446 -r 06e8cb8f3f61 Admin/components/cygwin --- a/Admin/components/cygwin Fri Aug 17 18:04:49 2012 +0200 +++ b/Admin/components/cygwin Fri Aug 17 19:07:14 2012 +0200 @@ -1,1 +1,2 @@ +#specific components for Windows/Cygwin only exec_process-1.0 diff -r fd3cba82c446 -r 06e8cb8f3f61 Admin/components/main --- a/Admin/components/main Fri Aug 17 18:04:49 2012 +0200 +++ b/Admin/components/main Fri Aug 17 19:07:14 2012 +0200 @@ -1,3 +1,4 @@ +#main components for everyday use, without big impact on overall build time cvc3-2.4.1 e-1.5 jdk-7u6 diff -r fd3cba82c446 -r 06e8cb8f3f61 Admin/components/nonfree --- a/Admin/components/nonfree Fri Aug 17 18:04:49 2012 +0200 +++ b/Admin/components/nonfree Fri Aug 17 19:07:14 2012 +0200 @@ -1,2 +1,3 @@ +#special components for internal testing only vampire-1.0 yices-1.0.28 diff -r fd3cba82c446 -r 06e8cb8f3f61 Admin/components/optional --- a/Admin/components/optional Fri Aug 17 18:04:49 2012 +0200 +++ b/Admin/components/optional Fri Aug 17 19:07:14 2012 +0200 @@ -1,1 +1,2 @@ +#optional components that could impact build time significantly hol-light-bundle-0.5-126