summaryrefslogtreecommitdiff
path: root/readme.txt
diff options
context:
space:
mode:
Diffstat (limited to 'readme.txt')
-rw-r--r--readme.txt10
1 files changed, 3 insertions, 7 deletions
diff --git a/readme.txt b/readme.txt
index 74ddcbc..69e8090 100644
--- a/readme.txt
+++ b/readme.txt
@@ -7,16 +7,12 @@ algorithm on it to calculate election outcomes.
To compile this program, the following dependencies are needed:
- gnat (of course)
- gnu make
- gmp
+ GNAT
+ GMP
-Note however that make isn't strictly necessary if you have a look in the
-makefile to see the compilation commands required.
-
-Compilation is done by 'make all'. Further instruction on how to use this
+Compilation is done by 'gprbuild stv.gpr'. Further instruction on how to use this
program can be obtained from the '--help' switch, once compiled.