From 7e05aab84433debce2e085e95056beef33af11cb Mon Sep 17 00:00:00 2001
From: Kyriakos Georgiou <kg8280@bristol.ac.uk>
Date: Fri, 13 Nov 2020 12:47:43 +0000
Subject: [PATCH] making the prove.gpr file generic again

---
 prove.gpr | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/prove.gpr b/prove.gpr
index c1d5f35..de4a948 100644
--- a/prove.gpr
+++ b/prove.gpr
@@ -6,11 +6,13 @@ project Prove is
 				  "socket_interface_tcp.ads", 
 				  "socket_interface_tcp.adb");
 
-   package Compiler is
-      for Default_Switches ("ada") use ("-gnat2020", 
-      "-I/home/georgiou/work/projects/Http_Cyclone_new_repo/",
-      "-gnatep=/home/georgiou/work/projects/Http_Cyclone_new_repo/prep.data");
-   end Compiler;
+   Package Compiler is
+      for default_switches ("Ada") use
+         ("-gnat2020","-gnatwae", "-gnaty",
+          "-I" & Prove'Project_Dir,
+          "-gnatep=" & Prove'Project_Dir & "prep.data");
+     end Compiler;
+
 
 end Prove;