pet configure problem

[guopeng]

Hi,

I met a problem when I was going to use the pet brach. I did as what it said on the http://pluto-compiler.sourceforge.net/, but affter I run the ./configure , an error came out as below.

I did not find the path and the file of clang/Basic/SourceLocation.h. Did I miss something. How can I solve the problem?

Thank you.

Best regards

[Uday R Bondhugula]

On 15-02-2017 19:03, guopeng wrote:
> Hi,
> I met a problem when I was going to use the pet brach. I did as what
> it said on the http://pluto-compiler.sourceforge.net/, but affter I
> run the ./configure , an error came out as below.
>

> [1]

>
> I did not find the path and the file of clang/Basic/SourceLocation.h.
> Did I miss something. How can I solve the problem?

Do you have LLVM/Clang 3.4 installed? What's the output of your

$ llvm-config --version

~ Uday

>
> Thank you.
>
> Best regards
>
> --
> You received this message because you are subscribed to the Google
> Groups "Pluto development" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to pluto-developm...@googlegroups.com.
> To post to this group, send email to
> pluto-de...@googlegroups.com.
> Visit this group at MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE
> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:
> https://groups.google.com/group/pluto-development [2].
> For more options, visit MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE
> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:
> https://groups.google.com/d/optout [3].
>
> --
> This message has been scanned for viruses and
> dangerous content by MAILSCANNER [4], and is
> believed to be clean.
>
> Links:
> ------
> [1]
> https://lh3.googleusercontent.com/-zUPLlkI-jYM/WKRX6To-qeI/AAAAAAAAAAM/cjWgarj7soEbnr6YmstPoN1XH2AmoxDUwCLcB/s1600/QQ%25E6%2588%25AA%25E5%259B%25BE20170210215836.png
> [2] https://groups.google.com/group/pluto-development
> [3] https://groups.google.com/d/optout
> [4] http://www.mailscanner.info/

[guopeng]

I think so.The output of  $ llvm-config --version is

3.4

and the output of $ clang -v is

Ubuntu clang version 3.4-1ubuntu3 (tags/RELEASE_34/final) (based on LLVM 3.4)

Target: x86_64-pc-linux-gnu

Thread model: posix

Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/3.4.6

Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.8

Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.8.4

Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.9

Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.9.3

Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/3.4.6

Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8

Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8.4

Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9

Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9.3

Selected GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.8

Is that right? Besides the webside says that (since one will not need to install Clang/LLVM that Pet relies on), I thought I didn't need to install them before.

Thank you.

Best regards

在 2017年2月15日星期三 UTC+8下午9:52:30，Uday Bondhugula写道：

[N Venkatesh JNTUK UCEV]

Hi,

  Yes You need to install Clang/LLVM to work with pet.

In your case the problem is complete llvm-clang chain not installed try this:
sudo apt-get install clang-3.4 clang-3.4-doc libclang-common-3.4-dev libclang-3.4-dev libclang1-3.4 libclang1-3.4-dbg libllvm-3.4-ocaml-dev libllvm3.4 libllvm3.4-dbg lldb-3.4 llvm-3.4 llvm-3.4-dev llvm-3.4-doc llvm-3.4-examples llvm-3.4-runtime cpp11-migrate-3.4 clang-format-3.4  


  We did same for the above problem.






Regrads


Venkatesh


     

"There are only two tragedies in life: one is not getting what one wants, and the other is getting it," said Oscar Wilde

To unsubscribe from this group and stop receiving emails from it, send an email to pluto-development+unsubscribe@googlegroups.com.
To post to this group, send email to pluto-development@googlegroups.com.
Visit this group at https://groups.google.com/group/pluto-development.
For more options, visit https://groups.google.com/d/optout.

[Uday R Bondhugula]

On 16-02-2017 12:41, N Venkatesh JNTUK UCEV wrote:
> Hi,
>
> Yes You need to install Clang/LLVM to work with pet.
>
> In your case the problem is complete llvm-clang chain not installed
> try this:
> sudo apt-get install clang-3.4 clang-3.4-doc libclang-common-3.4-dev
> libclang-3.4-dev libclang1-3.4 libclang1-3.4-dbg libllvm-3.4-ocaml-dev
> libllvm3.4 libllvm3.4-dbg lldb-3.4 llvm-3.4 llvm-3.4-dev llvm-3.4-doc
> llvm-3.4-examples llvm-3.4-runtime cpp11-migrate-3.4 clang-format-3.4
>
>
> We did same for the above problem.
>
> Regrads
> Venkatesh
>

> "_There_ are only _two tragedies in life_: one is not getting what one

> wants, and the other is getting it," said Oscar Wilde
> On 16 February 2017 at 07:50, guopeng <gupe...@gmail.com> wrote:
>
>> I think so.The output of $ llvm-config --version is
>>
>> 3.4
>>
>> and the output of $ clang -v is
>>
>> Ubuntu clang version 3.4-1ubuntu3 (tags/RELEASE_34/final) (based on
>> LLVM 3.4)

I don't think you have all the libraries and header files installed
(pet/config.log will have the error log). As pet's README mentions,
Ubuntu's libclang-dev isn't sufficient. If Venkatesh's suggestion above
doesn't work for you, you'll have to download and build llvm/clang 3.4
from http://releases.llvm.org/

~ Uday

>>>> it said on the http://pluto-compiler.sourceforge.net/ [1], but

>>> affter I
>>>> run the ./configure , an error came out as below.
>>>>
>>>> [1]
>>>>
>>>> I did not find the path and the file of
>>> clang/Basic/SourceLocation.h.
>>>> Did I miss something. How can I solve the problem?
>>>
>>> Do you have LLVM/Clang 3.4 installed? What's the output of your
>>>
>>> $ llvm-config --version
>>>
>>> ~ Uday
>>>
>>>>
>>>> Thank you.
>>>>
>>>> Best regards
>>>>
>>>> --
>>>> You received this message because you are subscribed to the
>>> Google
>>>> Groups "Pluto development" group.
>>>> To unsubscribe from this group and stop receiving emails from
>>> it, send
>>>> an email to pluto-developm...@googlegroups.com.
>>>> To post to this group, send email to
>>>> pluto-de...@googlegroups.com.
>>>> Visit this group at MAILSCANNER HAS DETECTED DEFINITE FRAUD IN
>>> THE

>>>> WEBSITE AT "MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE

>>> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> GROUPS.GOOGLE.COM [2]". DO _NOT_ TRUST THIS WEBSITE:

>>>> MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE WEBSITE AT
>>> "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> https://groups.google.com/group/pluto-development [3] [2].

>>>> For more options, visit MAILSCANNER HAS DETECTED DEFINITE FRAUD
>>> IN THE

>>>> WEBSITE AT "MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE

>>> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> GROUPS.GOOGLE.COM [2]". DO _NOT_ TRUST THIS WEBSITE:

>>>> MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE WEBSITE AT
>>> "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> https://groups.google.com/d/optout [4] [3].

>>>>
>>>> --
>>>> This message has been scanned for viruses and
>>>> dangerous content by MAILSCANNER [4], and is
>>>> believed to be clean.
>>>>
>>>> Links:
>>>> ------
>>>> [1]
>>>>
>>>
>>
> https://lh3.googleusercontent.com/-zUPLlkI-jYM/WKRX6To-qeI/AAAAAAAAAAM/cjWgarj7soEbnr6YmstPoN1XH2AmoxDUwCLcB/s1600/QQ%25E6%2588%25AA%25E5%259B%25BE20170210215836.png

>>> [5]
>>>> [2] MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE WEBSITE AT

>>> "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> https://groups.google.com/group/pluto-development [3]
>>>> [3] MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE WEBSITE AT

>>> "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>>> https://groups.google.com/d/optout [4]

>>>> [4] http://www.mailscanner.info/
>>
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Pluto development" group.
>> To unsubscribe from this group and stop receiving emails from it,

>> send an email to pluto-developm...@googlegroups.com.
>> To post to this group, send email to
>> pluto-de...@googlegroups.com.
>> Visit this group at MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE
>> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>> https://groups.google.com/group/pluto-development [3].

>> For more options, visit MAILSCANNER HAS DETECTED DEFINITE FRAUD IN
>> THE WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

>> https://groups.google.com/d/optout [4].

>
> --
> You received this message because you are subscribed to the Google
> Groups "Pluto development" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to pluto-developm...@googlegroups.com.
> To post to this group, send email to
> pluto-de...@googlegroups.com.
> Visit this group at MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE
> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

> https://groups.google.com/group/pluto-development [3].

> For more options, visit MAILSCANNER HAS DETECTED DEFINITE FRAUD IN THE
> WEBSITE AT "GROUPS.GOOGLE.COM". DO _NOT_ TRUST THIS WEBSITE:

> https://groups.google.com/d/optout [4].
>
>
> Links:
> ------
> [1] http://pluto-compiler.sourceforge.net/
> [2] http://GROUPS.GOOGLE.COM
> [3] https://groups.google.com/group/pluto-development
> [4] https://groups.google.com/d/optout
> [5]
> https://lh3.googleusercontent.com/-zUPLlkI-jYM/WKRX6To-qeI/AAAAAAAAAAM/cjWgarj7soEbnr6YmstPoN1XH2AmoxDUwCLcB/s1600/QQ%25E6%2588%25AA%25E5%259B%25BE20170210215836.png

[guopeng]

   
Thank you, it solved my problem.

Best regards

在 2017年2月16日星期四 UTC+8下午3:11:40，Venkatesh写道：

[guopeng]

  Get that.Thank you.

Best regards

在 2017年2月17日星期五 UTC+8上午2:39:49，Uday Bondhugula写道：