Ewen Maclean | 1 Dec 2009 03:09
Picon
Picon
Favicon

lablgtk and pdf

Hello,

I wondered if someone could help me. I am generating pdf images from
latex source, and I would like to show them on screen in part of a
pane in lablgtk2. Is it possible to do this using a GImage widget or
something similar? If not what can I convert it to to show this image,
and which object should I use. Sorry for not being able to find this
first on the gtk documentation.

Ewen

Hitoshi Ohsaki | 1 Dec 2009 05:20
Picon

RTA 1st CFP (July 11 - July 13, 2010, Edinburgh)


    ********************************************************
    *                                                      *
    *                       RTA 2010                       *
    *         Rewriting Techniques and Applications        *
    *            21st International Conference             *
    *    http://www.clarkson.edu/projects/carl/rta-2010    *
    *                                                      *
    *     July 11 - July 13, 2010, Edinburgh Scotland      *
    *          http://www.floc-conference.org              *
    *                                                      *
    *                    Call for Papers                   *
    *                                                      *
    ********************************************************

The 21st International Conference on Rewriting Techniques and Applications
(RTA 2010) is organized as part of the Federated Logic Conference (FLOC 2010),
together with the International Joint Conference on Automated Reasoning
(IJCAR 2010), the Conference on Automated Verification (CAV 2010), the IEEE
Symposium on Logic in Computer Science (LICS 2010), the International Conference
on Logic Programming (ICLP 2010), the Conference on Theory and Applications
of Satisfiability Testing (SAT 2010), the Conference on Interactive Theorem
Proving (ITP 2010) and many workshops.  FLOC 2010 will be held at the University
of Edinburgh.

IMPORTANT DATES:

Abstract Submission:  January 15, 2010

Paper Submission:     January 22, 2010
(Continue reading)

valerie.duval | 1 Dec 2009 10:08

e-RIS avec IBM - Signoret - le Numéro 5

Si vous ne pouvez pas lire cet email, cliquez ici



Information : Décembre 2009


Nous Contacter

 

Bénéficiez du moteur de votre relation-client en toute liberté !

Notre partenariat efficace avec IBM porte déjà ses fruits avec de nombreux adeptes pour cette nouvelle vision de l'utilisation d'une solution logicielle.
La sécurité pour vos données, la pertinence de notre solution  et le principe du "à ma guise" cher à Jean Rochefort  !

>>>En savoir plus sur le club Alliances IBM

Vous connaissez les bénéfices de e-RIS ...

Augmentez votre productivité
Organisez le télétravail de votre personnel
Optimisez vos ressources humaines
Protégez votre satisfaction client
Décloisonnez vos équipes
Gagnez du temps dans vos recherches de documents
Transformez vos informations en Savoir…  … et votre Savoir en Chiffre d’Affaire
Dynamisez  vos sites web
Fidélisez vos contacts
Analysez et pilotez votre activité en temps réel

 

 

 



                        ... découvrez e-RIS en mode SaaS !

Libérez des liquidités pour accélérer votre développement !

Pas d'investissement !
            Pas d'immobilisation !
                        Pas d'engagement !

N'attendez plus, contactez nous en cliquant ici pour découvrir les solutions proposées par HeLITIS


   New ! HeLITIS partenaire de SIGNORET Telecom

HeLITIS SAS conclut un accord de partenariat avec SIGNORET Telecom !

Fondée il y a plus de 60 ans, SIGNORET Telecom a connu un développement constant et maitrisé en misant sur la qualité de service et l’indépendance, tout en conservant une taille humaine, gage de réactivité.

Intégrateur global de solutions de communication et de sécurité, SIGNORET Telecom accompagne ses clients à tous les niveaux de leurs projets dans les domaines des télécommunications, des réseaux informatiques et de la sécurité des biens et des personnes.

Leader Telecom incontesté sur la Côte d'Azur.

Notre partenariat Commercial et Technique fort se concrétise déjà par un projet d'envergure remporté ensemble.

Parmi leurs références les plus récentes :

Thales, Air France (06), INRA, Fragonard Parfums, Banque Populaire, Vishay, ...
Contact : jean-claude.martinez <at> signoret.fr / site : http://www.signoret.fr

HeLITIS marqué en novembre par le numéro 5

- Lancement de notre offre dans le 5ème pays le plus peuplé au monde. 

- Equipement en cours de la Communauté Urbaine dont la ville-centre est la 5ème ville de France.

>>>En savoir plus

Mais aussi : France-Investissement -Le Club, CDC Entreprises, StudexAgency ...

 

Références

Ils nous font confiance

 


 

 

 

 
 

 

e-RIS le seul vrai PeBX du marché

Vous recevez ce message car votre adresse e-mail est référencée dans un des fichiers des partenaires de la base « mail.usine».
Conformément à la loi "informatique et libertés" du 6 janvier 1978, vous disposez d'un droit d'accès et de rectification aux données personnelles vous concernant.
Pour ne plus recevoir d'offres de la part de « HELITIS » cliquez ici.



Cette lettre vous est adressée gratuitement par la société Helitis SAS - SIRET N° 430 420 224 0031
25 rue de la Petite Duranne - Le Calypso - 13857 Aix en Provence Cedex 3
 Tél: 04 42 50 91 56 - Fax: 04 83 06 00 22
© 2009 Helitis SAS

Newsletter powered by e-RIS Campaign


   

Si vous voulez vous désinscrire, cliquez ici
<div>Si vous ne pouvez pas lire cet email, cliquez <a href="http://front.tasend.com/php/emailing/view_mail.php?CODE=05CBYQHG_12615&amp;HASH=8c1c724271e59d91c6ad9e5ff03ace71">ici</a>
<div align="center">
<p><a href="http://serv.helitis.com/newsletter/e-RIS_SaaS_avec_IBM.html" target="_blank">Si vous rencontrez des probl&egrave;mes pour ouvrir ce message cliquez ici</a> <br></p>
</div>
<div align="center">
<table height="1543" cellspacing="0" cellpadding="0" width="798" border="0" usegridy="usegridy" showgridy="showgridy" gridy="10" usegridx="usegridx" showgridx="showgridx" gridx="10" cool="cool"><tr height="2209">
<td valign="top" align="left" width="797" height="1543" xpos="0">
<table cellspacing="0" cellpadding="0" border="0">
<tr valign="top" height="210">
<td align="center" bgcolor="#ffffff" colspan="2" height="210">
<div align="left"><br></div>
</td>
<td width="1"><br></td>
</tr>
<tr valign="top" height="20">
<td bgcolor="#cccccc" colspan="2" height="20">
<div align="center"><span class="b"><a href="http://serv.helitis.com/formulaire_contact.htm">Acc&eacute;dez &agrave; votre d&eacute;monstration personnalis&eacute;e !</a><br></span></div>
</td>
<td width="1"><br></td>
</tr>
<tr>
<td>
<span><span>Information</span> : D&eacute;cembre 2009<br><br><br></span><span></span>
</td>
<td><a href="http://serv.helitis.com/formulaire_contact.htm"><span>Nous Contacter</span></a></td>
<td></td>
</tr>
<tr>
<td></td>
<td></td>
</tr>
<tr height="300">
<td valign="top" width="537" bgcolor="#ffffff" height="697"><blockquote dir="ltr">
<div class="t3">
<p class="t3" align="left">&nbsp;</p>
<p class="t3" align="left"><span>B&eacute;n&eacute;ficiez du moteur de votre relation-client en toute libert&eacute; </span>!<br></p>
<div>
<div>
<span>Notre partenariat efficace avec IBM</span><span> </span><span>porte d&eacute;j&agrave; ses fruits avec de nombreux adeptes pour cette nouvelle vision de l'utilisation d'une solution logicielle.</span><br><span>La s&eacute;curit&eacute; pour vos donn&eacute;es, la pertinence de notre solution&nbsp; et le principe </span><span>du "&agrave; ma guise"</span><span> cher &agrave; Jean Rochefort&nbsp; !</span><br>
</div>
<span></span>
</div>
<span></span><span></span>
<p><a href="http://www.cluballiances.com/2008/09/club-gestion-des-flux-documentaires.html" target="_blank">&gt;&gt;&gt;En savoir plus sur le club Alliances IBM</a></p>
<span>Vous connaissez&nbsp;l</span><span>es b&eacute;n&eacute;fices de e-RIS ...</span> 
<div align="justify">
<div>
<p class="MsoNormal"><span><span>Augmentez</span> votre productivit&eacute;<br><span>Organisez</span> le t&eacute;l&eacute;travail de votre personnel<br><span>Optimisez</span> vos ressources humaines<br><span>Prot&eacute;gez</span> votre satisfaction client<br><span>D&eacute;cloisonnez</span> vos &eacute;quipes<br><span>Gagnez du temps</span> dans vos recherches de documents<br><span>Transformez vos informations en Savoir&#133;&nbsp;&nbsp;&#133; et votre Savoir en Chiffre d&#146;Affaire</span><br><span>Dynamisez</span>&nbsp; vos sites web<br><span>Fid&eacute;lisez</span> vos contacts<br><span>Analysez</span> et <span>pilotez</span> votre activit&eacute; en temps r&eacute;el </span></p>
<p>&nbsp;</p>
<span><span></span></span><span></span>
<p>&nbsp;</p>
<p>&nbsp;</p>
</div>
<span></span><br><div><span><br></span></div>
<p class="t3" align="left"><span>&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; ... d&eacute;couvrez&nbsp;e-RIS en mode SaaS ! </span><br></p>
<span>Lib&eacute;rez des liquidit&eacute;s pour acc&eacute;l&eacute;rer votre d&eacute;veloppement !<br><br></span><span><span>Pas d'investissement !</span><br>&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; <span>Pas d'immobilisation !</span><br>&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp; <span>Pas d'engagement !</span></span><span><br></span>
<p><span>N'attendez plus, contactez nous en cliquant </span><a href="http://serv.helitis.com/formulaire_contact.htm" target="_blank">ici</a><span> </span><span>pour d&eacute;couvrir les solutions propos&eacute;es par HeLITIS</span></p>
<p><span><br></span></p>
<p class="t3" align="left">&nbsp; &nbsp;New ! <span>HeLITIS partenaire de SIGNORET Telecom</span><br></p>
<span></span>HeLITIS SAS conclut un accord de partenariat avec SIGNORET Telecom !<br>
<p>Fond&eacute;e il y a plus de 60 ans,&nbsp;SIGNORET Telecom a connu un d&eacute;veloppement constant et maitris&eacute; en misant sur la qualit&eacute; de service et l&#146;ind&eacute;pendance, tout en conservant une taille humaine, gage de r&eacute;activit&eacute;.</p>
<p>Int&eacute;grateur global de solutions de communication et de s&eacute;curit&eacute;,&nbsp;SIGNORET Telecom accompagne ses clients &agrave; tous les niveaux de leurs projets dans les domaines des t&eacute;l&eacute;communications, des r&eacute;seaux informatiques et de la s&eacute;curit&eacute; des biens et des personnes.</p>
<span>Leader Telecom incontest&eacute; sur la C&ocirc;te d'Azur.<br><br>Notre partenariat Commercial et Technique fort se concr&eacute;tise d&eacute;j&agrave; par un projet d'envergure remport&eacute; ensemble.<br></span><span><span><br>Parmi leurs r&eacute;f&eacute;rences les plus r&eacute;centes :</span> <br></span><span></span><span></span><span>Thales, Air France (06), INRA, Fragonard Parfums, Banque Populaire, Vishay, ...</span><br><span></span><span>Contact : jean-claude.martinez <at> signoret.fr / site : <a href="http://www.cia.ca/" target="_blank">http://www.signoret.fr</a><br><br></span>
</div>
</div>
</blockquote></td>
<td valign="top" width="263" bgcolor="#ffffff" height="697"><blockquote dir="ltr">
<div class="t3">
<div class="t3">
<div class="t3">
<p class="t3" align="left"><span class="s1">H<span>e</span>LITIS marqu&eacute; en novembre par le&nbsp;</span><span class="s1">num&eacute;ro 5</span></p>
<p>- Lancement de notre offre dans le <span>5&egrave;me</span> pays le plus peupl&eacute; au monde.&nbsp;</p>
<p>- Equipement en cours de la Communaut&eacute; Urbaine dont la ville-centre est la <span>5&egrave;me</span> ville de France. </p>
<p><a href="http://serv.helitis.com/formulaire_contact.htm" target="_blank">&gt;&gt;&gt;En savoir plus</a></p>
<p><span>Mais aussi : <a href="www.france-investissement.fr">France-Investissement -Le Club</a>, <a href="www.france-investissement.fr">CDC Entreprises</a>, <a title="www.studexagency.com" href="www.studexagency.com">StudexAgency</a>&nbsp;...</span></p>
<p>&nbsp; <br></p>
<div class="t3">
<div class="t3">
<div class="t3">
<div class="t3">
<div class="t3">
<div class="t3">
<div class="t3">
<p class="t3"><span class="s1">R&eacute;f&eacute;rences</span></p>
<div class="t3"></div>
<div class="t3">
<p align="justify"><span class="blue">Ils nous font confiance</span></p>
<p align="center"><a href="http://back05.gulliver.com/php/emailing/www.helitis.com"></a></p>
<p>&nbsp;<a href="http://www.helitis.com/index.php"><br></a></p>
<p><br></p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;<br>&nbsp;</p>
<p><a href="http://back05.gulliver.com/php/emailing/www.signoret.fr"></a>&nbsp;</p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote></td>
</tr>
<tr height="17">
<td colspan="2" height="20">
<div align="center">
<span>e-RIS</span><span> </span><span>le seul vrai </span><span>PeBX</span><span> du march&eacute;</span>
</div>
<p align="center">Vous recevez ce message car votre adresse e-mail est r&eacute;f&eacute;renc&eacute;e dans un des fichiers des partenaires de la base &laquo;&nbsp;mail.usine&raquo;.<br>Conform&eacute;ment &agrave; la loi "informatique et libert&eacute;s" du 6 janvier 1978, vous disposez d'un droit d'acc&egrave;s et de rectification aux donn&eacute;es personnelles vous concernant.<br>Pour ne plus recevoir d'offres de la part de &laquo;&nbsp;HELITIS&nbsp;&raquo; <a href="http://front05.clicstream.eu/php/emailing/unsuscribe.php?CODE=05B3EK8P">cliquez ici.</a></p>
</td>
<td width="1" height="20"><br></td>
</tr>
<tr height="19">
<td bgcolor="#cccccc" colspan="2" height="26">
<div align="center">
<p><span class="b">|&nbsp;</span><a href="http://serv.helitis.com/formulaire_contact.htm">S'abonner &agrave;&nbsp; la Newsletter d'Helitis</a><span class="b"> | <a href="mailto:valerie.duval <at> helitis.com">Contact</a><a href="mailto:contact <at> helitis.com" target="_blank"> </a>|&nbsp;</span><span class="b"><a href="http://www.helitis.com/Mentions-legales.html" target="_blank">Mentions l&eacute;gales</a>|</span></p>
</div>
</td>
<td width="1" height="26"><br></td>
</tr>
<tr>
<td bgcolor="#ffffff" colspan="2">
<p class="textpadding" align="center">Cette lettre vous est adress&eacute;e gratuitement par la soci&eacute;t&eacute; Helitis SAS - SIRET N&deg; 430 420 224 0031<br>25 rue de la Petite Duranne - Le Calypso - 13857 Aix en Provence Cedex 3<br>&nbsp;T&eacute;l: 04 42 50 91 56 - Fax: 04 83 06 00 22<br>&copy; 2009 Helitis SAS</p>
<p class="textpadding" align="center">Newsletter powered by e-RIS Campaign</p>
</td>
<td width="1"><br></td>
</tr>
<tr>
<td bgcolor="#ffffff" colspan="2">&nbsp;</td>
<td width="1">&nbsp;</td>
</tr>
</table>
</td>
<td width="1" height="1543"><br></td>
</tr></table>
</div> Si vous voulez vous d&eacute;sinscrire, cliquez <a href="http://front.tasend.com/php/emailing/unsuscribe.php?CODE=05CBYQHG_12615&amp;HASH=8c1c724271e59d91c6ad9e5ff03ace71">ici</a>
</div>
Stefano Zacchiroli | 1 Dec 2009 11:52
Gravatar

CamlJava w/ recent JVMs - solved (patches needed and included)

On Mon, Nov 23, 2009 at 04:55:37PM +0100, Stefano Zacchiroli wrote:
> Has anyone successfully built/used CamlJava [1] with recent OCaml and
> the open sourced Sun's JVM (OpenJDK)?

With the tremendous help of Grégoire Henry, we've come up to a fixed
version of CamlJava that:

- works well with recent JVMs (both Sun's 1.6 and OpenJDK)
  * fixes are both for building and for avoiding segfaults due to a
    distinction among local and global references introduced by JNI 1.6
- is a bit more debugger friendly
- has _conditional_ automatic mapping of Java strings to OCaml strings
  (needed by O'Jacare [1])
- is a bit more careful/strict in case of multithreading: you must
  ensure all Java-OCaml callbacks are called from the very same thread
  (need spotted by O'Jacare a while ago)
- fixes various minor issues that help packages

All patches are available at [2] and contain appropriate
descriptions.

The patches are integrated in the Debian package of CamlJava that I've
just uploaded to the archive. While the package gets processed for
copyright review, it is also available at:

  deb http://people.debian.org/~zack/debian zack-unstable/
  deb-src http://people.debian.org/~zack/debian zack-unstable/

Xavier: can you please consider integrating the above patches in a new
release of CamlJava?

AFAIK, a new release of O'Jacare based on the above work is being worked
on by Grégoire.

Cheers.

[1] http://www.pps.jussieu.fr/~henry/ojacare/index.en.html
[2] http://git.debian.org/?p=pkg-ocaml-maint/packages/camljava.git;a=tree;f=debian/patches

--

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc  <at>  Univ. Paris 7
zack <at> {upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime

Eric Cooper | 1 Dec 2009 16:48
Picon
Favicon

Re: lablgtk and pdf

On Tue, Dec 01, 2009 at 02:09:27AM +0000, Ewen Maclean wrote:
> I am generating pdf images from latex source, and I would like to
> show them on screen in part of a pane in lablgtk2. Is it possible to
> do this using a GImage widget or something similar?

I think you will have to render the PDF first into a simple image
format like PPM, and then use GTK to display that.  I don't know of
any OCaml bindings for libpoppler, but you can use the standalone
program "pdftoppm" from the poppler-utils package.  Then you can
display the .ppm file as follows:

    let file = Sys.argv.(1) in
    GMain.init ();
    let window = GWindow.window ~title: "Show Image" () in
    let image = GMisc.image ~file ~packing: window#add () in
    window#connect#destroy ~callback: GMain.quit;
    window#show ();
    GMain.main ()

Marc de Falco | 1 Dec 2009 17:02
Picon

Re: lablgtk and pdf

It might be better to produce a svg and then display the svg trough cairo.
I don't know if there are bindings available in OCaml to do that (mainly for librsvg).

2009/12/1 Eric Cooper <ecc <at> cmu.edu>
On Tue, Dec 01, 2009 at 02:09:27AM +0000, Ewen Maclean wrote:
> I am generating pdf images from latex source, and I would like to
> show them on screen in part of a pane in lablgtk2. Is it possible to
> do this using a GImage widget or something similar?

I think you will have to render the PDF first into a simple image
format like PPM, and then use GTK to display that.  I don't know of
any OCaml bindings for libpoppler, but you can use the standalone
program "pdftoppm" from the poppler-utils package.  Then you can
display the .ppm file as follows:

   let file = Sys.argv.(1) in
   GMain.init ();
   let window = GWindow.window ~title: "Show Image" () in
   let image = GMisc.image ~file ~packing: window#add () in
   window#connect#destroy ~callback: GMain.quit;
   window#show ();
   GMain.main ()

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

<div>
<p>It might be better to produce a svg and then display the svg trough cairo.<br>I don't know if there are bindings available in OCaml to do that (mainly for librsvg).<br><br></p>
<div class="gmail_quote">2009/12/1 Eric Cooper <span dir="ltr">&lt;<a href="mailto:ecc <at> cmu.edu">ecc <at> cmu.edu</a>&gt;</span><br><blockquote class="gmail_quote">
<div class="im">On Tue, Dec 01, 2009 at 02:09:27AM +0000, Ewen Maclean wrote:<br>
&gt; I am generating pdf images from latex source, and I would like to<br>
&gt; show them on screen in part of a pane in lablgtk2. Is it possible to<br>
&gt; do this using a GImage widget or something similar?<br><br>
</div>I think you will have to render the PDF first into a simple image<br>
format like PPM, and then use GTK to display that. &nbsp;I don't know of<br>
any OCaml bindings for libpoppler, but you can use the standalone<br>
program "pdftoppm" from the poppler-utils package. &nbsp;Then you can<br>
display the .ppm file as follows:<br><br>
 &nbsp; &nbsp;let file = Sys.argv.(1) in<br>
 &nbsp; &nbsp;GMain.init ();<br>
 &nbsp; &nbsp;let window = GWindow.window ~title: "Show Image" () in<br>
 &nbsp; &nbsp;let image = GMisc.image ~file ~packing: window#add () in<br>
 &nbsp; &nbsp;window#connect#destroy ~callback: GMain.quit;<br>
 &nbsp; &nbsp;window#show ();<br>
 &nbsp; &nbsp;GMain.main ()<br><div>
<div></div>
<div class="h5">
<br>
_______________________________________________<br>
Caml-list mailing list. Subscription management:<br><a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list" target="_blank">http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>
Archives: <a href="http://caml.inria.fr" target="_blank">http://caml.inria.fr</a><br>
Beginner's list: <a href="http://groups.yahoo.com/group/ocaml_beginners" target="_blank">http://groups.yahoo.com/group/ocaml_beginners</a><br>
Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs" target="_blank">http://caml.inria.fr/bin/caml-bugs</a><br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
Florent Monnier | 1 Dec 2009 22:23

[ANN] ocaml-ofc

Hi,
I'm pleased to annouce ocaml-ofc, a library released under the LGPL,
which is an OCaml interface for Open Flash Chart 2.

The web-site of Open Flash Chart 2 (OFC) is here:
http://teethgrinder.co.uk/open-flash-chart-2/

What is OFC?
OFC is a .swf object written in action script which takes json datas
in input and draws charts from these datas. These json datas can be
sent through various libraries written in languages like PHP, Python,
Ruby, and others ..., and now with OCaml too!

You can have an overview of what OFC can produce there:
http://teethgrinder.co.uk/open-flash-chart-2/bar-chart.php

You can download ocaml-ofc from:
http://www.linux-nantes.org/%7Efmonnier/OCaml/OFC/

You can have an overview of the interface there:
http://www.linux-nantes.org/%7Efmonnier/OCaml/OFC/ocamldoc/OFC.html

Here are some examples of use:
http://www.linux-nantes.org/%7Efmonnier/OCaml/OFC/examples/

--
Best regards
Florent

Keyan | 2 Dec 2009 11:08

cmake

hi,

i am currently getting into caml again, and would like to integrate it with my c++ project.

the project i am working on, is completly build with cmake. i tried to search the internet to find ready
cmake-scripts or tutorials how to integrate cmake into an exisisting cmake-project, but could not find
anything. my question thereore is, how is it done best?

what i want to do is the following:
in addition to the main-project build, i want to build my own code-analysis tools.

make -> build main project + all ocaml-tools
make ocaml-tool-1 -> build only cmake-tool-1
etc.

does anyone have any experience with that?

regards,
keyan
Fritz Henglein | 2 Dec 2009 11:52
Picon
Favicon
Gravatar

3 full professor positions at DIKU

The Department of Computer Science at the University of Copenhagen
(DIKU, http://www.diku.dk) has openings for up to 3 full professor
positions in programming languages and systems (1 or 2 appointments),
respectively software development (1 appointment), starting May 2010.

For detailed information, including application procedures, please see
the full position announcements:

Professor in programming languages and systems:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinsoftware/

Professor in software development:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinprogramming/

Please note that the software development position is open to
outstanding candidates with a technically-oriented research record and
ambitions to bridge to user-oriented aspects.

Enquiries about the positions can be made to department head Martin
Zachariasen---see the announcements for contact information.

Deadline for application: December 17th, 2009, 12 noon (CET).

Joost Yervante Damad | 2 Dec 2009 13:33
Picon
Gravatar

Embedding the ocaml runtime in a shared library on amd64/x86_64

Hello,

while trying to get the ocaml runtime embedded in a shared library, I ran into issues similar to [1]. 
Basically there are quite some symbols that have a R_X86_64_32 relocation in libasmrun.a.
I worked around that by rebuilding libasmrun.a with -fPIC, however there still is the file amd64.S which
gives errors like this:

usr/bin/ld: /usr/lib/ocaml/libasmrun.a(amd64.o): relocation R_X86_64_PC32 against symbol
`caml_last_return_address' can not be used when making a shared 
object; recompile with -fPIC

For that I found the following workaround: add the -Bsymbolic linker option to the command that creates the
shared library, something like this:

ocamlopt -ccopt -Wl,-Bsymbolic -verbose -o libmod.so -ccopt -shared mod.cmx modwrap.o

Then my C application links with libmod.so and runs.
It should be possible to adapt amd64.S to generate the correct relocation entries by adding  <at> PLT to some of
the symbols, something like this:

movq    %r15, G(caml_young_ptr) <at> PLT(%rip)

However while it removed the need to use -Bsymbolic when linking, the resulting library seems to be faulty
because the application segfaults.

I think compiling with -fPIC by default on the amd64/x86_64 arch would be a good start to making it more
usable for embedding.
Also it would be very interesting if someone with good knowledge of ocaml internals could fix amd64.S to be
position independent.

Greetings, Joost Damad

[1] http://groups.google.com/group/fa.caml/browse_thread/thread/d734c80bc3fc5a1d/395cd691e481ceb7

--

-- 
Joost Yervante Damad - http://damad.be/joost/


Gmane