diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-07-03 16:57:07 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-03 16:57:07 +1000 |
commit | 8b6cc411cceb51b26579f8fcf94424b4842ef0bf (patch) | |
tree | 779ae4f76df38e6c6cd745bd63a5f44a9a169191 /readme.txt | |
parent | 18b2b85a28c4e8d59cd564612bb7f60019c53051 (diff) |
Changed build from makefile to gpr file
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. |