AdaLabs

Using Interfaces.Fortran.BLAS with GNAT GPL 2011 (x86_64) on Debian 6.0.4 Squeeze x86_64

David — Tue, 27 Mar 2012 14:52:00 +0200

On x86 platform, GNAT GPL is shipped with libgnalasup.a that contains the necessary stuff to be used by Interfaces.Fortran.BLAS (see the pragma Linker_Options in i-forbla.adb).

On x86_64 platform, this is not the case, and the user needs to setup this by himself. There is 2 ways of doing this:

1. Using BLAS & LAPACK Debian packages

1.A Patch i-forbla.adb

Copy the i-forbla.adb file from the adainclude directory to your application sources directory.
Provided you install GNAT GPL in /opt/gnat2011

cp /opt/gnat2011/lib/gcc/x86_64-pc-linux-gnu/4.5.3/adainclude/i-forbla.adb sources/

Comment the pragma Linker_Options concerning the libgnalasup

package body Interfaces.Fortran.BLAS is
   pragma Linker_Options ("-lgnala");
   --  pragma Linker_Options ("-lgnalasup");
   pragma Linker_Options ("-lm");
end Interfaces.Fortran.BLAS;

1.B Install the corresponding Debian packages

$ su -c "aptitude install liblapack-dev libblas-dev"

1.C Add the necessary switches to your application gpr project file

-a builder switch to force compilation of run time source file

   
   package Builder is
      for Default_Switches ("ada") use ("-a", [...]);
   end Builder;

-llapack switch to link against it

   
   package Linker is
      for Default_Switches ("ada") use ("-llapack", [...]);
   end Linker;

You are done !

2. Using Adacore libgnalasup GPL 2011 src package

2.A Build the libgnalasup GPL 2011 from sources

Download the gnalasup-gpl-2011-src.tgz tarball from http://libre.adacore.com/ using x86-linux 2011 paltform
Build the source

gnalasup-2011-src:$ make all INSTALL=/tmp/

2.A Copy the library to the corresponding directory

Copy the library in the GNAT GPL 2011 (x86_64) install directory.
Provided you install GNAT GPL in /opt/gnat2011

gnalasup-2011-src:$ su -c "cp libgnalasup.a /opt/gnat2011/lib/gcc/x86_64-pc-linux-gnu/4.5.3/libgnalasup.a"

You are done !

Mauritius 2012 budget

David — Thu, 24 Nov 2011 08:52:00 +0100

Bugdet analysis & summary by DBO

Document original location

Read further : Mauritius 2012 budget Highlights from the Board of Investment

SIGAda 2011 AdaLabs presentation slides: How to make Ada go viral

David — Wed, 23 Nov 2011 06:30:00 +0100

How Ada could help the GNU community, what Ada has to bring, and how Ada could help improving the GNU project.

Please read the resume of the talk at http://www.sigada.org/conf/sigada2011/panelAdaViral.html

http://www.sigada.org/conf/sigada2011/

Ease of Doing Business in Mauritius 2012

David — Sat, 05 Nov 2011 08:38:00 +0100

Doing Business 2012 Rank : 23 out of 183 economies,

by the World Bank.

Download Economy Profile

Source :

http://www.doingbusiness.org/data/exploreeconomies/mauritius

LSM 2011 AdaLabs presentation slides: How to make my business opensource & viable. Live, on the ground feedback.

David — Wed, 27 Jul 2011 20:12:00 +0200

The Libre Software Meeting 2011, Strasbourg, France (9th to 14th July 2011) was a great occasion to meet some of the FLOSS community but also share with professionals who had chosen FLOSS business models.

Please read the resume of the talk at http://2011.rmll.info/How-to-make-my-business-opensource-viable-Live-on-the-ground-feedback

http://2011.rmll.info

AWS GPL 2.10.0 (2011) on Ubuntu 11.04 or Ubuntu 11.10

David — Tue, 26 Jul 2011 08:56:00 +0200

To successfully build AWS GPL 2011 (2.10.0) on Ubuntu 11.04 and Ubuntu 11.10, the package gcc-multilib need to be installed. Moreover for Ubuntu 11.10, a specific C_INCLUDE_PATH should be defined. When using OpenSSL with AWS, SSL_V2 should also point to SSL_V23 (in aws-gpl-2.10.0-src/config/src/aws-net-ssl__openssl.adb)

Ubuntu 11.04



user@host:$ make setup
i686-pc-linux-gnu-gcc -c check_config.c
In file included from /usr/include/sys/socket.h:40:0,
from aws-gpl-2.10.0-src/config/setup/check_config.c:53:
/usr/include/bits/socket.h:381:24: fatal error:
asm/socket.h: No such file or directory
compilation terminated.
[..]
Erreur 127
make: *** [config_setup] Erreur 2

Install gcc-multilib

$ sudo aptitude install gcc-multilib
[...]

Relaunch AWS build setup step

user@host:$ make setup
i686-pc-linux-gnu-gcc -c check_config.c
ar cr libsetup.a ...
ranlib libsetup.a
i686-pc-linux-gnu-gcc check_config.o -o check_config
Setup OS specific definitions
Can not generate system tags. The test are disabled

During the build process, ld can complain that libdl can't be find. The following will solve the issue.
For x86 32 bits Ubuntu :

export LIBRARY_PATH=/usr/lib/i386-linux-gnu:$LIBRARY_PATH

.
For x86 64 bits Ubuntu :

export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu:$LIBRARY_PATH

Ubuntu 11.10

Please define the following variable before the installation process :

 $ export C_INCLUDE_PATH=/usr/include/i386-linux-gnu/

This need to be updated accordingly to your platform. If you want to have OpenSSL support in AWS, SSLv2 support seems to have been drop out in Ubuntu 11.10, so in aws-gpl-2.10.0-src/config/src/aws-net-ssl__openssl.adb replace the following:

         Methods : constant array (Method) of Meth_Func :=
(SSLv2          => TSSL.SSLv2_method'Access,
SSLv2_Server   => TSSL.SSLv2_server_method'Access,
SSLv2_Client   => TSSL.SSLv2_client_method'Access,

with:

         Methods : constant array (Method) of Meth_Func :=
(SSLv2          => TSSL.SSLv23_method'Access,
SSLv2_Server   => TSSL.SSLv23_server_method'Access,
SSLv2_Client   => TSSL.SSLv23_client_method'Access,

And continue with the Ubuntu 11.04 procedure if needed. Please note that this work-around may be not the best ways to solve this issue, any better solutions are welcomed.

Welcome on AdaLabs blog

David — Fri, 22 Jul 2011 10:21:00 +0000

This company blog is dedicated to AdaLabs news, announces, technology hacks, but also community related post.