From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15250; Mon, 16 Jul 2001 10:35:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA15275 for ; Mon, 16 Jul 2001 10:35:08 +0200 (MET DST) Received: from tibre.ujf-grenoble.fr (tibre.ujf-grenoble.fr [193.54.238.31]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6G8Z7102350 for ; Mon, 16 Jul 2001 10:35:07 +0200 (MET DST) Received: from athi.ujf-grenoble.fr (athi.ujf-grenoble.fr [193.48.255.131]) by tibre.ujf-grenoble.fr (Pro-8.9.3/8.9.3/Configured by AD & JE 25/10/1999) with ESMTP id KAA22724 for ; Mon, 16 Jul 2001 10:35:07 +0200 (MET DST) Received: from ufrima.imag.fr (localhost.ujf-grenoble.fr [127.0.0.1]) by athi.ujf-grenoble.fr (8.9.3/8.9.3) with SMTP id KAA69769 for caml-list@inria.fr; Mon, 16 Jul 2001 10:37:53 +0200 (CEST) (envelope-from zimmermy@ufrima.imag.fr) Message-Id: <200107160837.KAA69769@athi.ujf-grenoble.fr> Date: Mon, 16 Jul 2001 08:37:53 -0000 To: Subject: [Caml-list] Appel de fonction Caml a Partir d'un programme C/C++ From: Zimmermann Yann X-Mailer: TWIG 2.3.1 X-Client-IP: 147.171.130.143 Reply-To: zimmermy@ufrima.imag.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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