From: Michal Malý <madcatxster@devoid-pointer.net>
Date: Sun, 16 Nov 2014 01:09:45 +0000 (+0100)
Subject: Add GPR makefile
X-Git-Url: https://gitweb.devoid-pointer.net/?a=commitdiff_plain;h=1a1f2718a53ece24dee35c0ad51c75060c43bbb9;p=Nine-Q.git

Add GPR makefile
---

diff --git a/nine_q.gpr b/nine_q.gpr
new file mode 100644
index 0000000..ece67dc
--- /dev/null
+++ b/nine_q.gpr
@@ -0,0 +1,51 @@
+with "/opt/gnat/lib/gnat/aws.gpr";
+--with "aws.gpr";
+
+project Nine_Q is
+  type Build_Type is ("Debug", "Release");
+
+  Build : Build_Type := External ("BUILDTYPE", "Debug");
+
+  Source_Options := ("src", "src/handlers", "src/problem_generators", "src/face_generators");
+  for Source_Dirs use Source_Options;
+  for Main use ("nine_q.adb");
+  for Exec_Dir use "bin";
+
+  case Build is
+    when "Release" =>
+      for Object_Dir use "build_release";
+    when "Debug" =>
+      for Object_Dir use "build_debug";
+  end case;
+  
+  package Ide is
+    for Compiler_Command ("ada") use "gnatmake";
+  end Ide;
+
+  package Compiler is
+    case Build is
+      when "Release" =>
+	for Default_Switches ("Ada") use ("-fstack-check",
+					  "-gnata",
+					  "-gnatf",
+					  "-gnato",
+					  "-gnatwa",
+					  "-Wall",
+					  "-O2",
+					  "-gnat2012");
+
+    when "Debug" =>
+      for Default_Switches ("Ada") use ("-fstack-check",
+					"-gnata",
+					"-gnatf",
+					"-gnato",
+					"-gnatwa",
+					"-gnatVa",
+					"-Wall",
+					"-Og",
+					"-gnat2012",
+					"-g");
+    end case;
+  end Compiler;
+
+end Nine_Q;