diff options
Diffstat (limited to 'development/spin/README')
-rw-r--r-- | development/spin/README | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/development/spin/README b/development/spin/README index 07fe9ae328..4634fd9118 100644 --- a/development/spin/README +++ b/development/spin/README @@ -1,4 +1,9 @@ -Spin is a popular open-source software tool, used by thousands of people -worldwide, that can be used for the formal verification of distributed -software systems. In April 2002 the tool was awarded the prestigious System -Software Award for 2001 by the ACM. +Spin is a popular open-source software tool, used by thousands of +people worldwide, that can be used for the formal verification of +distributed software systems. In April 2002 the tool was awarded the +prestigious System Software Award for 2001 by the ACM. + +By default the ispin GUI will not be installed. This may be overridden +by building with: + +`GUI=yes ./spin.SlackBuild` |