Account Options

  1. Sign in
The old Google Groups will be going away soon.
Switch to the new Google Groups.
Google Groups Home
« Groups Home
Dehydra in Fedora 11: Mini-HOWTO
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  2 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Pedro Lamarão  
View profile  
 More options Jun 23 2009, 11:37 am
Newsgroups: mozilla.dev.static-analysis
From: Pedro Lamarão <pedro.lama...@ccppbrasil.org>
Date: Tue, 23 Jun 2009 08:37:53 -0700 (PDT)
Local: Tues, Jun 23 2009 11:37 am
Subject: Dehydra in Fedora 11: Mini-HOWTO
This is how I'm building GCC 4.5 and Dehydra in Fedora 11, with good
results so far.

1. Building GCC 4.5

Notable packages required:

  gmp-devel mpfr-devel ppl-devel ppl-cloog-devel

Configure command:

  ../trunk/configure --prefix=/opt/gcc-4.5 --enable-bootstrap --enable-
shared --enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-languages=c,c++ --with-ppl --
with-cloog --with-tune=generic --with-arch=i586 --build=i586-redhat-
linux

Notes:

GCC requires the build directory to be different from the source
directory. I prefer to have both in the same filesystem level, i.e.
siblings in the filesystem.

Installing to /opt avoids disturbing the system and requires a simple
make install. I haven't tried to use --enable-version-specific-runtime-
libs yet.

2. Building Dehydra

Notable packages required:

  xulrunner-devel

Configure command:

  ./configure --js-name=mozjs --js-headers=/usr/include/xulrunner-
sdk-1.9.1/js --js-libs=/usr/lib/xulrunner-1.9.1 --gcc-build=$GCC_ROOT/
trunk-obj

Notes:

Using the Xulrunner package seems to work fine, so I've abandoned the
practice of using bleeding edge JS to simplify my setup.

To install Dehydra it is necessary to move gcc_dehydra.so and the
libs/ directory as a unit; my preference is to put things in /opt so I
end up with:

  /opt/dehydra/gcc_dehydra.so
  /opt/dehydra/libs/*.js

3. Profit!

--
 P.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Taras Glek  
View profile  
 More options Jun 23 2009, 10:40 pm
Newsgroups: mozilla.dev.static-analysis
From: Taras Glek <tg...@mozilla.com>
Date: Tue, 23 Jun 2009 19:40:12 -0700
Local: Tues, Jun 23 2009 10:40 pm
Subject: Re: Dehydra in Fedora 11: Mini-HOWTO

Thanks for the detailed guide. I didn't even realize we were compatible
with threaded spidermonkey used by xulrunner. Once gcc exports enough
headers to support building dehydra without a build directory, I'll post
your instructions on the website.

Taras


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »