some explanations on component categories;
authorwenzelm
Fri Aug 17 19:07:14 2012 +0200 (2012-08-17)
changeset 4884706e8cb8f3f61
parent 48846 fd3cba82c446
child 48848 ae7429d66b1e
some explanations on component categories;
Admin/components/cygwin
Admin/components/main
Admin/components/nonfree
Admin/components/optional
     1.1 --- a/Admin/components/cygwin	Fri Aug 17 18:04:49 2012 +0200
     1.2 +++ b/Admin/components/cygwin	Fri Aug 17 19:07:14 2012 +0200
     1.3 @@ -1,1 +1,2 @@
     1.4 +#specific components for Windows/Cygwin only
     1.5  exec_process-1.0
     2.1 --- a/Admin/components/main	Fri Aug 17 18:04:49 2012 +0200
     2.2 +++ b/Admin/components/main	Fri Aug 17 19:07:14 2012 +0200
     2.3 @@ -1,3 +1,4 @@
     2.4 +#main components for everyday use, without big impact on overall build time
     2.5  cvc3-2.4.1
     2.6  e-1.5
     2.7  jdk-7u6
     3.1 --- a/Admin/components/nonfree	Fri Aug 17 18:04:49 2012 +0200
     3.2 +++ b/Admin/components/nonfree	Fri Aug 17 19:07:14 2012 +0200
     3.3 @@ -1,2 +1,3 @@
     3.4 +#special components for internal testing only
     3.5  vampire-1.0
     3.6  yices-1.0.28
     4.1 --- a/Admin/components/optional	Fri Aug 17 18:04:49 2012 +0200
     4.2 +++ b/Admin/components/optional	Fri Aug 17 19:07:14 2012 +0200
     4.3 @@ -1,1 +1,2 @@
     4.4 +#optional components that could impact build time significantly
     4.5  hol-light-bundle-0.5-126