comp.lang.ada
 help / color / mirror / Atom feed
From: ziotom78@gmail.com
Subject: Re: Gnattest under Debian/Ubuntu Linux/Linux Lint
Date: Fri, 8 Feb 2013 14:45:47 -0800 (PST)
Date: 2013-02-08T14:45:47-08:00	[thread overview]
Message-ID: <0529b394-0d5d-46ee-bcf2-9de351c16f89@googlegroups.com> (raw)
In-Reply-To: <1ab3e76d-0ebd-472c-a279-eceeb03018d7@googlegroups.com>

Hi again,

  It turns out it was easier than I expected. Basically, after having downloaded the tar file from http://libre.adacore.com/download/, I compiled and installed gnatgpl into /usr/gnat (the default choice), I put the following file into /etc/profile.d/gnat.sh:

#!/bin/sh
export PATH=/usr/gnat/bin:$PATH
export LD_LIBRARY_PATH=/usr/gnat/lib:/usr/lib/x86_64-linux-gnu:$LD_LIBRARY_PATH
export LIBRARY_PATH=/usr/gnat/lib:/usr/lib/x86_64-linux-gnu:$LIBRARY_PATH
export ADA_PROJECT_PATH=/usr/gnat/lib/gnat

(Avoiding the reference to /usr/lib/x86_64-linux-gnu leads to a weird behavior, as it will make gcc crash at link time because it is not able to find crt1.o -- fortunately I already knew the solution to this problem. The other definitions are pretty standard stuff.)

After sourcing the file (with ". /etc/profile.d/gnat.sh"), I was able to compile AUnit, GnatColl, Florist, AUnit, XmlAda, and GtkAda quite easily (the latter required to remove one #include instruction which made GLib complain).

Everything seems to work well now, and I finally have an usable "gnattest". (Only a minor nuisance: GPS does not look very nice, perhaps the Gtk+ version it links to is older than the one used by the gnat-gps package. Anyway, it seems to be fully functional.)

I am writing this here so perhaps it'll be of some use for somebody else in my situation.

Cheers,
  Maurizio.



  parent reply	other threads:[~2013-02-08 22:45 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-02-08 16:50 Gnattest under Debian/Ubuntu Linux/Linux Lint ziotom78
2013-02-08 18:04 ` Simon Wright
2013-02-08 19:14   ` Ludovic Brenta
2013-02-08 20:53 ` ziotom78
2013-02-08 22:45 ` ziotom78 [this message]
2013-03-12 10:40   ` Justin Time
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox