From 8b6cc411cceb51b26579f8fcf94424b4842ef0bf Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Mon, 3 Jul 2017 16:57:07 +1000 Subject: Changed build from makefile to gpr file --- readme.txt | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'readme.txt') 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. -- cgit