From c593b83606e7ad2d9e6ac3d4b9edbfe6392b218a Mon Sep 17 00:00:00 2001 From: Pascal Obry Date: Sun, 2 Dec 2007 20:00:43 +0100 Subject: [PATCH] Minor reformatting --- gwiad_wiki_service/website/wiki_website.gpr | 8 +++----- makefile | 5 +++-- shared.gpr | 2 -- 3 files changed, 6 insertions(+), 9 deletions(-) diff --git a/gwiad_wiki_service/website/wiki_website.gpr b/gwiad_wiki_service/website/wiki_website.gpr index a722eb5..8a7ea18 100644 --- a/gwiad_wiki_service/website/wiki_website.gpr +++ b/gwiad_wiki_service/website/wiki_website.gpr @@ -28,13 +28,11 @@ with "gwiad-web"; with "morzhol"; with "../interface/wiki_interface"; -Project Wiki_Website is +project Wiki_Website is - for Languages use - ("Ada", "HTML Template", "Ada Template"); + for Languages use ("Ada", "HTML Template", "Ada Template"); - for Source_Dirs use - ("src", "tsrc", "templates"); + for Source_Dirs use ("src", "tsrc", "templates"); for Object_Dir use "obj"; for Library_Ali_Dir use "lib"; for Library_Dir use "../lib"; diff --git a/makefile b/makefile index 5452c66..25f9d12 100644 --- a/makefile +++ b/makefile @@ -24,8 +24,9 @@ include mk.config GENERAL_OPTIONS = CP="$(CP)" MKDIR="$(MKDIR)" RM="$(RM)" \ - GNATMAKE="$(GNATMAKE)" GNATCLEAN="$(GNATCLEAN)" GNATCHECK="$(GNATCHECK)" \ - EXEEXT="$(EXEEXT)" LIB_KIND="$(LIB_KIND)" DIFF="$(DIFF)" + GNATMAKE="$(GNATMAKE)" GNATCLEAN="$(GNATCLEAN)" \ + GNATCHECK="$(GNATCHECK)" EXEEXT="$(EXEEXT)" LIB_KIND="$(LIB_KIND)" \ + DIFF="$(DIFF)" OPTIONS = MODE="$(MODE)" $(GENERAL_OPTIONS) diff --git a/shared.gpr b/shared.gpr index b7418f8..3c09191 100644 --- a/shared.gpr +++ b/shared.gpr @@ -38,9 +38,7 @@ project Shared is ------------- package Builder is - case Build is - when "Release" | "Debug" => for Default_Switches ("ada") use ("-m", "-s"); -- 2.11.4.GIT