Make Libxhcidbg a SPARK library
authorAdrian-Ken Rueegsegger <ken@codelabs.ch>
Tue, 3 Oct 2017 10:25:54 +0000 (12:25 +0200)
committerAdrian-Ken Rueegsegger <ken@codelabs.ch>
Fri, 27 Oct 2017 15:21:41 +0000 (17:21 +0200)
libxhcidbg.gpr

index bc0b049ed030b68ea488f25b8914dc2a4dca0da4..b3aba9e909c4013385339fd3d821ec1b76d1bde5 100644 (file)
@@ -18,7 +18,7 @@
 with "../../config/shared";
 with "libhwbase";
 
-library project Libxhcidbg extends "../library_ada" is
+library project Libxhcidbg extends "../library_spark" is
 
    for Languages use ("Ada");
    for Source_Dirs use ("generated", "src");