Bug#572359: adacontrol: Internal error when invoking AdaControl

[Ludovic Brenta]

Thanks for the update.  Calling gnatgcc is actually correct;
the bug, then, is merely a missing dependency on the package
'gnat', the sole purpose of which is to provide the gnatgcc
symlink and to depend on the default gnat-x.y.

So, please remove the symlinks you created manually and
install package 'gnat'.

-- 
Ludovic Brenta.





--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#572359: adacontrol: Internal error when invoking AdaControl

[Ludovic Brenta]

I have to check but I suspect that the bug is in ASIS;
it tries to call gcc instead of gcc-4.4.

Workaround #1: install package gcc (= 4.4)
Workaround #2: ln -s /usr/bin/gcc-4.4 /usr/bin/gcc
Workaround #3:
 export PATH=$HOME/bin:$PATH
 mkdir $HOME/bin
 ln -s /usr/bin/gcc-4.4 $HOME/bin/gcc

Please tell me if that solves the symptoms; that would
confirm my hunch and I'll patch ASIS for a proper fix.

Thanks for reporting this bug.

-- 
Ludovic Brenta.





--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#572359: adacontrol: Internal error when invoking AdaControl

[Ludovic Brenta]

reassign 572359 libasis2008
retitle 572359 asis calls gcc instead of gcc-4.4
severity normal
thanks

For the record, the OP confirmed that my suggested workarounds solved
the problem.  Reassigning to asis.

-- 
Ludovic Brenta.



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#572359: adacontrol: Internal error when invoking AdaControl

[Tero Koskinen]

Just to be pedantic:

 asis calls *gnatgcc*, not gcc

and creating symlink from gcc-4.4 to gnatgcc helps as a work-around:

 ln -s /usr/bin/gcc-4.4 /usr/bin/gnatgcc

-- 
Tero Koskinen tero.koski...@iki.fi



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#572359: adacontrol: Internal error when invoking AdaControl

[Tero Koskinen]

Package: adacontrol
Version: 1.9r4-5
Severity: normal

AdaControl gives me following error when I try to run it:
Internal implementation error: A4G.GNAT_Int.Create_Tree:
  check the path and environment settings for gcc!

Steps to reproduce:
 1. Download Ada code and some AdaControl ruleset, for example

http://sourceforge.net/projects/ahven/files/ahven/Ahven%201.7/ahven-1.7.tar.gz/download

 2. Run Adacontrol:
make control # for ahven 1.7


-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 2.6.31.5-linode21 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=fi_FI (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to 
C)
Shell: /bin/sh linked to /bin/dash

Versions of packages adacontrol depends on:
ii  dpkg  1.15.5.6   Debian package management system
ii  gnat-4.4  4.4.3-1The GNU Ada compiler
ii  install-info  4.13a.dfsg.1-5 Manage installed documentation in 
ii  libasis2008   2008-3 Ada Semantic Interface Specificati
ii  libc6 2.10.2-6   Embedded GNU C Library: Shared lib
ii  libgcc1   1:4.4.3-3  GCC support library
ii  libgnat-4.4   4.4.3-1Runtime library for GNU Ada applic
ii  libgnatvsn4.4 4.4.3-1GNU Ada compiler version library

adacontrol recommends no packages.

adacontrol suggests no packages.

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org