ArmPkg/ArmGic: Make the GicDxe driver depends on ArmGicLib

... and also rename the ArmGicLib sources to use an explicit 'Lib' suffix.

Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Olivier Martin <olivier.martin@arm.com>



git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@15620 6f19259b-4bc3-4df7-8a09-765794883524

ArmPkg/Drivers/ArmGic/ArmGicDxe.inf

@@ -1,16 +1,16 @@
 #/** @file
-#  
+#
 #  Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
-#  Copyright (c) 2012 - 2013, ARM Ltd. All rights reserved.<BR>
+#  Copyright (c) 2012 - 2014, ARM Ltd. All rights reserved.<BR>
 #
 #  This program and the accompanying materials
 #  are licensed and made available under the terms and conditions of the BSD License
 #  which accompanies this distribution.  The full text of the license may be found at
 #  http://opensource.org/licenses/bsd-license.php
-#  
+#
 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
-#  
+#
 #**/
 
 [Defines]
@@ -22,9 +22,7 @@
 
   ENTRY_POINT                    = InterruptDxeInitialize
 
-
 [Sources.common]
-  ArmGic.c
   ArmGicDxe.c
 
 [Packages]
@@ -33,6 +31,7 @@
   ArmPkg/ArmPkg.dec
 
 [LibraryClasses]
+  ArmGicLib
   BaseLib
   UefiLib
   UefiBootServicesTableLib