search for: ruah

Displaying 16 results from an estimated 16 matches for "ruah".

Did you mean: rah
2012 Jul 13
2
[LLVMdev] Compiling llvm and Clang on Linux
Hi Sitvanit, On 12/07/12 22:18, Sitvanit Ruah wrote: > I ran "configure -help " and it says > > usage: configure [OPTION]..... [VAR=VALUE] > > So I assume configure CC=... is the right syntax. Isn't it? while you might think so, try it the other way round. Also, by doing make VERBOSE=1 you can see which compi...
2012 Jul 15
0
[LLVMdev] Compiling llvm and Clang on Linux
I tried CC=gcc44 CXX=g++44 ../llvm/configure and got CC=gcc44: Command not found So the syntax is indeed as wriiten in the help. Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 From: Duncan Sands <baldrick at free.fr> To: Sitvanit Ruah/Haifa/IBM at IBMIL, Cc: Konstantin Tokarev <annulen at yandex.ru>, llvmdev at cs.uiuc.edu, llvmdev-bounces at cs.uiuc.edu Date: 13/07/2...
2012 Aug 02
0
[LLVMdev] Reading the output of clang
...r backend development? We do not need to generate machine code, but rather an intermediate representation that will give us the control flow graph. Is this the llvm IR? If so, how do I read into memory a file that was generated by clang++ -emit-llvm <source file>. Thanks, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 From: Konstantin Tokarev <annulen at yandex.ru> To: Sitvanit Ruah/Haifa/IBM at IBMIL, Cc: llvmdev at cs.uiuc.edu Date: 01/08/2012 01:22 PM Subject: Re:[LLVMdev] Reading the AST from the bitcode generated by...
2012 Aug 01
3
[LLVMdev] Reading the AST from the bitcode generated by clang
> Hi all, > After reading the documentation on clang I still have the following > question: > How do I read the bitcode generated by clang from a C++ file? I need to > have all the AST information in memory. AST has nothing to do with LLVM bitcode. -- Regards, Konstantin
2012 Jul 11
5
[LLVMdev] Compiling llvm and Clang on Linux
..../include/c+ +/4.1.2/i386-redhat-linux/bits/gthr-default.h:117:1: error: weakref declaration must have internal linkage __gthrw(pthread_mutexattr_destroy) Could you guide me on how to resolve these errors? I downloaded the sources from the web page (not from SVN). Thanks, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory
2012 Jul 11
0
[LLVMdev] Compiling llvm and Clang on Linux
It's undocumented FAQ, if you are using RHEL5 (or clone). - install gcc44-c++ - Build with CC=gcc44 CXX=g++44 - You may need "CC=clang -std=gnu89" to use clang with its glibc. Have fun! ps. AFAIK, clang can be built more easily on centos6. ...Takumi 2012/7/11 Sitvanit Ruah <RUAH at il.ibm.com>: > > Hello all, > I am new to this mailing list so I hope this is the right place to post the > following question. > > We are considering using Clang front end for our tool. I tried to compile > LLVM > (using configure followed by make from the l...
2012 Jul 15
0
[LLVMdev] Compiling llvm and Clang on Linux
Ok, I got. You should install libstdc++44-devel, too. Please try to install gcc44-c++ and libstdc++44-devel. Note: gcc44-c++ depends on gcc44, but gcc44-c++ and libstdc++44-devel are independent each other, at least on my host, CentOS5. ...Takumi 2012/7/15 Sitvanit Ruah <RUAH at il.ibm.com>: > In order to isolate the problem I am now running on a machine whose only > installation of gcc/g++ is gcc44, g++44 > > For this installation I am getting the following error: > > > COMPILE: > clang_linux/asan-i386/i386: /gpfs/haifa-p4/00/pinc...
2012 Jul 15
3
[LLVMdev] Compiling llvm and Clang on Linux
...UILD/gcc-4.4.6-20110824/obj-i386-redhat-linux6E/ppl-install --with-cloog=/builddir/build/BUILD/gcc-4.4.6-20110824/obj-i386-redhat-linux6E/cloog-install --with-tune=generic --with-arch=i586 --build=i386-redhat-linux6E Thread model: posix gcc version 4.4.6 20110731 (Red Hat 4.4.6-3) (GCC) Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 From: Duncan Sands <baldrick at free.fr> To: llvmdev at cs.uiuc.edu, Date: 15/07/2012 12:37 PM Subject: Re: [LLVMdev] Compiling llvm and Clang on Linux Sent by: llvmdev-bounces at cs.uiuc.edu PS: Do you actual...
2012 Jul 15
2
[LLVMdev] Compiling llvm and Clang on Linux
...Command not found > > So the syntax is indeed as wriiten in the help. actually, no, this just means that you are using a shell that doesn't support this syntax. What shell are you using? Try export CC=gcc44 export CXX=g++44 ../llvm/configure Ciao, Duncan. > > Sitvanit Ruah > Formal Verification Group > IBM Haifa Research Laboratory > Tel: 972-4-828-1249 > > > > > From: Duncan Sands <baldrick at free.fr> > To: Sitvanit Ruah/Haifa/IBM at IBMIL, > Cc: Konstantin Tokarev <annulen at yandex.ru>, llvmdev at cs.uiuc.edu, >...
2012 Jul 12
3
[LLVMdev] Compiling llvm and Clang on Linux
...aflow.bz2 /usr/share/doc/gcc44-4.4.6/ChangeLog.lib.bz2 /usr/share/doc/gcc44-4.4.6/ChangeLog.ptr.bz2 /usr/share/doc/gcc44-4.4.6/ChangeLog.tree-ssa.bz2 /usr/share/doc/gcc44-4.4.6/ChangeLog.tuples.bz2 /usr/share/doc/gcc44-4.4.6/ChangeLog.vta.bz2 /usr/share/doc/gcc44-4.4.6/README.Portability Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 From: NAKAMURA Takumi <geek4civic at gmail.com> To: Sitvanit Ruah/Haifa/IBM at IBMIL, Cc: llvmdev at cs.uiuc.edu Date: 11/07/2012 02:42 PM Subject: Re: [LLVMdev] Compiling llvm and Clang on Linux Sent by: llvmdev...
2012 Jul 12
2
[LLVMdev] Compiling llvm and Clang on Linux
> Yes, it is the same error referring to 4.1.2. > > /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c+ > +/4.1.2/i386-redhat-linux/bits/gthr-default.h:114:1: error: weakref > declaration must have internal > linkage > __gthrw(pthread_key_delete) > > There are several such errors. Are you sure you are usin gcc44? Don't you need to run CC=gcc44 CXX=g++44
2012 Jul 12
0
[LLVMdev] Compiling llvm and Clang on Linux
I ran "configure -help " and it says usage: configure [OPTION]..... [VAR=VALUE] So I assume configure CC=... is the right syntax. Isn't it? Regard, Sitvanit From: Konstantin Tokarev <annulen at yandex.ru> To: Sitvanit Ruah/Haifa/IBM at IBMIL, Cc: llvmdev-bounces at cs.uiuc.edu, llvmdev at cs.uiuc.edu, Duncan Sands <baldrick at free.fr> Date: 12/07/2012 05:09 PM Subject: Re:[LLVMdev] Compiling llvm and Clang on Linux > Yes, it is the same error referring to 4.1.2. > > /usr/lib/gcc/i386-...
2012 Jul 15
1
[LLVMdev] Errors reported in config.log on linux
...' conftest.c:165: warning: the use of `mktemp' is dangerous, better use `mkstemp' conftest.c:160: warning: conflicting types for built-in function 'strdup' configure:20847: WARNING: LLVM will be built thread-unsafe because atomic builtins are missing Thanks, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory
2012 Jul 12
0
[LLVMdev] Compiling llvm and Clang on Linux
Hi, > I ran > ../llvm/configure CC=gcc44 CXX=g++44 > make > > and still got the same error (I checked and CC=gcc44 and CXX=g++44 now in > build/Makefile.config).. is it exactly the same error? The original error referred to gcc-4.1 header files. Does the new error still refer to gcc-4.1 header files, or is it now talking about gcc-4.4 header files? Ciao, Duncan.
2012 Aug 01
0
[LLVMdev] Reading the AST from the bitcode generated by clang
Hi all, After reading the documentation on clang I still have the following question: How do I read the bitcode generated by clang from a C++ file? I need to have all the AST information in memory. Thanks, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249
2012 Jul 15
0
[LLVMdev] Compiling llvm and Clang on Linux
PS: Do you actually have gcc-4.4 installed and in your path? What do the commands gcc44 -v and g++44 -v output? On 15/07/12 10:59, Duncan Sands wrote: > Hi Sitvanit, > >> I tried >> >> CC=gcc44 CXX=g++44 ../llvm/configure >> >> and got >> >> CC=gcc44: Command not found >> >> So the syntax is indeed as wriiten in the help. >