diff options
Diffstat (limited to 'readme.txt')
-rw-r--r-- | readme.txt | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -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. |