From 42dbba53529622bc92e707c2b57dd661b7712f75 Mon Sep 17 00:00:00 2001 From: lfainsin Date: Thu, 24 Dec 2020 15:30:29 +0000 Subject: [PATCH] =?UTF-8?q?d=C3=A9but=20=C3=A9criture=20rapport?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: http://cregut.svn.enseeiht.fr/2020/1sn/pim/projets/GH-05@210404 e13453a9-b01f-0410-a051-f404c4f0c485 --- Makefile | 1 + src/google_creux.adb | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 54178f5..25c4b21 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,6 @@ make: cd build/ && \ + gnat make -f -pg && \ gnat make -gnatwa -gnata -g ../src/*.adb clean: diff --git a/src/google_creux.adb b/src/google_creux.adb index 27f1d61..10a773c 100644 --- a/src/google_creux.adb +++ b/src/google_creux.adb @@ -28,7 +28,7 @@ package body Google_Creux is put_line("got links: "); -- put(links); new_line; - -- à faire: vérifier si la liste set déjà triée avant de trier + -- à faire: vérifier si la liste est déjà triée avant de trier quicksort(links, 0, N_links-1); put_line("sorted links: ");