Support RecordFlux specs in test.gpr

Ref. #243
AdaCore · Jul 23, 2020 · 2c2ee1c · 2c2ee1c
1 parent cc18daa
commit 2c2ee1c
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/test.gpr b/test.gpr
@@ -6,12 +6,18 @@ project Test is
    AUnit : Flag_Type := external ("aunit", "yes");
    Optimization : Flag_Type := external ("optimization", "no");
 
+   for Languages use ("Ada", "RecordFlux");
+
+   package Compiler is
+      for Driver ("RecordFlux") use "";
+   end Compiler;
+
    case AUnit is
       when "yes" =>
-         for Source_Dirs use ("generated", "tests");
+         for Source_Dirs use ("generated", "tests", "specs");
          for Main use ("test.adb");
       when "no" =>
-         for Source_Dirs use ("generated");
+         for Source_Dirs use ("generated", "specs");
    end case;
 
    for Object_Dir use "build";