cuirass: Make specification argument optional.

* bin/cuirass.in (%options): Add 'specifications' option.
(main): Use it instead of the non-option command line arguments.
(show-help): Adapt.
* README (Example): Adapt.

1 files changed, 12 insertions, 1 deletions

diff --git a/README b/README
index 3096bf6..c27c472 100644
--- a/README
+++ b/README
@@ -16,4 +16,15 @@ Example
 
 A quick way to manually test Cuirass is to execute:
 
-  ./pre-inst-env cuirass --one-shot tests/hello-subset.scm --database=test.db
+  ./pre-inst-env cuirass --specifications=tests/hello-singleton.scm --database=test.db
+
+This will read the file "tests/hello-singleton.scm" which contains a list of
+specifications and add them to the database "test.db" which is created if it
+doesn't already exist.
+
+cuirass then loops evaluating/building the specs.  The database keeps track of
+the specifications in order to allow users to accumulate specifications.  To
+resume the evaluation/build process you can execute the same command without
+the specifications option:
+
+  ./pre-inst-env cuirass --database=test.db