similar to: [LLVMdev] LLVM-gcc for Ada

Duncan Sands wrote: > Hi Andre, > > >> In file included from ../../gcc/llvm-backend.cpp:23: >> ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory >> compilation terminated. >> > > line 31 of llvm-internal.h is: > > #include <vector> > > so if that's failing then your C++ compiler is somehow borked. >

I am trying to build llvm-gcc-4.2 but cannot figure out how to get past the problem described below. Any help will be much appreciated. Regards Roger gnatbind -C -I- -I. -Iada -I../../llvm-gcc-4.2/gcc/ada -o ada/b_gnat1.c -n ada/gnat1drv.ali error: "s-imenne.adb" must be compiled error: ("/opt/gnat-gpl-2009/lib/gcc/i386-apple-darwin10.2.0/4.3.4/adalib/s-imenne.ali" is obsolete

Duncan Sands wrote: > Hi Andre, > > >> I'm trying to build LLVM-gcc to compile Ada. >> > > excellent! > > But I'm having a few problems. > > Oops :( > > >> Now when I ran make I get an error that for me it seams very weird. >> >> ../../gcc/c-format.c: In function 'set_Wformat': >> ../../gcc/c-format.c:48: error:

Duncan Sands wrote: > Hi Eric, > > >> I'm having problems building llvm-gcc for Ada, which may or may not be >> similar to the trouble Andre was having recently. I'm trying to build >> it on Fedora 10 (32-bit), using the instructions on the web site. The >> make terminates with a gnatbind error: >> >> gcc -c -g -O2 -gnatpg -gnata

Andr? Tavares wrote: > Thanks for the link Duff. You're welcome. > I downloaded ACATS, but could not run it on LLVM. Could not find any > instructions that could lead me to do so. Do you know how can do it? Compiler vendors are expected to write their own scripts, which is not a trivial task. The "B Tests" have deliberate errors, marked with "-- ERROR:"

Hi Andre, > In file included from ../../gcc/llvm-backend.cpp:23: > ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory > compilation terminated. line 31 of llvm-internal.h is: #include <vector> so if that's failing then your C++ compiler is somehow borked. How did you arrange to use the right gcc for the build? Maybe that's getting in the way of

Dear Duncan, thank you for the prompt reaction! Quoting Duncan Sands <baldrick at free.fr>: > Hi Enrico, did you follow the instructions here > http://llvm.org/docs/GCCFEBuildInstrs.html#ada > to build llvm-gcc with Ada support? Yes. I succesfully followed the instructions to build the LLVM Ada f-e. > If by 2.5 you mean LLVM-2.5 I suggest you use something more recent,

Hello, I have written a LLVM pass for strongly typed languages. My pass implements the ABCD algorithm. I'm not going to get into what is ABCD, since it has been discussed here. I would like to test it, and on my proposal Duncan Sands told me to use Ada ACATS. Can someone tell me how to use ACATS? I have searched for documentation, but found none. Thanks, -- Andre Tavares Master

Hi Eric, > I'm having problems building llvm-gcc for Ada, which may or may not be > similar to the trouble Andre was having recently. I'm trying to build > it on Fedora 10 (32-bit), using the instructions on the web site. The > make terminates with a gnatbind error: > > gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada > -I../../llvm-gcc-4.2/gcc/ada

I'm having problems building llvm-gcc for Ada, which may or may not be similar to the trouble Andre was having recently. I'm trying to build it on Fedora 10 (32-bit), using the instructions on the web site. The make terminates with a gnatbind error: gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I../../llvm-gcc-4.2/gcc/ada ../../llvm-gcc-4.2/gcc/ada/gnat1drv.adb -o ada/gnat1drv.o

Hello, I'm trying to build LLVM-gcc to compile Ada. But I'm having a few problems. First thing I did was install gnat 2007. In the bin directory there is a gcc version 4.1. So I think that these versions are good for Ada. Now when I ran make I get an error that for me it seams very weird. ../../gcc/c-format.c: In function 'set_Wformat': ../../gcc/c-format.c:48: error:

Dear Duncan, Everything worked out with your help. Thanks. I'm now looking at bound checks that an Ada program has, so I can remove all possible. It seams that Ada already does some optimization to remove bound checks. Do you know how are they done, and where? I tested two codes (below) and the first code did not produce any bound check and the second produced two bound checks. -- -- Simple

Andre Tavares wrote: > Can someone tell me how to use ACATS? I have searched for documentation, > but found none. The ACATS is here: http://www.ada-auth.org/acats.html including various documentation. It stands for "Ada Conformity Assessment Test Suite". - Bob

Hello, I'm working on a project to remove unnecessary array bound checks in Java. For this purpose I will need to use llvm-java. What is the state of llvm-java? Can someone explain how to build and use it? I saw some old emails on the list, and some about a SoC 2008 on Java, but I didn't find anything regarding its current state and documentation. Regards, -- Andre Tavares Master

Is there a problem with the svn server. When I try a: svn co http://llvm.org/svn/llvm-project/llvm-gcc-4.0/trunk/gcc llvm-gcc-4.0.try2/gcc I keep getting errors similar to those below, but at a different file each time. svn: In directory 'llvm-gcc-4.0.try2/gcc/testsuite/ada/acats/tests/l' svn: Error processing command 'modify-wcprop' in

In the last step after building and installing binutils 2.21 for ARM and LLVM-src, I am trying to build LLVM-GCC. However, I get the repeated system config checking promt. I used the following configuration:   I created a directory called arm_objects and then I write:   $ ../llvm-gcc-4.2/configure --target=arm-linux --program-prefix=llvm- --prefix=/llv m/arm --enable-pic --disable-optimized

Hi Edward, > Initial Ada bindings have been introduced for the LLVM 2.6 release. > Unfortunately no one was able/had time to help me better integrate it > into the LLVM build system. Thus, It has been left with a GPR Ada > project file for building the bindings, anyone using the Ada bindings > will know what this is and how to handle it. does this mean the bindings only work with

Hi Enrico, did you follow the instructions here http://llvm.org/docs/GCCFEBuildInstrs.html#ada to build llvm-gcc with Ada support? > To this extent I compiled the Ada f-e from source (v. 2.5). If by 2.5 you mean LLVM-2.5 I suggest you use something more recent, for example LLVM-2.7. > However, while trying to compile a simple HelloWorld example I get several > errors dealing with

Dear Community, I'm working on a project for Google Summer of Code, to implement the ABCD and Bitwidth analysis in LLVM. I'm not going to extend the description of the project here, this link shows my proposal http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal. I have been in some discussions on this list about Ada and SSI that helped on my decisions up to this

Dear all, I'm trying to exploit the LLVM framework to optimize my Ada programs. To this extent I compiled the Ada f-e from source (v. 2.5). However, while trying to compile a simple HelloWorld example I get several errors dealing with undefined references (while invoking LLVM on hello). Arguably I missed something on the right way to use the LLVM tools with Ada sourcecode. I would really