Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Appel de fonction Caml a Partir d'un programme C/C++
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Zimmermann Yann <zimmermy@u...>
Subject: [Caml-list] Appel de fonction Caml a Partir d'un programme C/C++
English version at the bottom

Bonjour

Nous d'eveloppons actuellement une interface graphique en C++, `a partir de
laquelle nous souhaitons appeler des fonctions Caml (g'en'er'ees
automatiquement grace `a Coq).
Nous ne trouvons pas dans les docs disponibles en ligne d'exemple complet
expliquant correctement comment faire ca.
Quelqu'un connaitrait-il une URL (ou un exemple de votre cru) o`u nous
pourrions trouv'e un exemple simple d'un programme C qui appelle un fonction
Caml (avec les commandes de compilation ce serait bien).

Merci pour votre aide


Yann


Hello,

We actually develop a graphic interface in C++ and we want to call a Caml
function (automatically generated by Coq).
We don't find online document, which explains correctly how to do.
Do you know an URL or an example where we can find a C program which calls a
Caml function(with compil commands).

Thank you.






-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr