libgmpada5-dev 0.0.20131223-3+b1 / usr / share / ada / adainclude / gmpada.gpr

--  (generated by dh_ada_library during package build)
--  This project file is designed to help build applications that use gmpada.
--  Here is an example of how to use this project file:
--
--  with "gmpada";
--  project Example is
--     for Object_Dir use "obj";
--     for Exec_Dir use ".";
--     for Main use ("example");
--  end Example;

library project gmpada is
   for Library_Name use "gmpada";
   for Library_Kind use "dynamic";
   for Library_Dir use "/usr/lib/x86_64-linux-gnu/";
   for Source_Dirs use ("/usr/share/ada/adainclude/gmpada");
   for Library_ALI_Dir use "/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada";
   for Externally_Built use "True";
   package Linker is
      for Linker_Options use ("-lgmp", "-lmpfr");
   end Linker;
end gmpada;