From: Valerie Issarny <valerie.issarny@inria.fr>
To: caml-list@inria.fr
Cc: Anis.Ben_Arbia@inria.fr, Valerie Issarny <Valerie.Issarny@inria.fr>
Subject: [Caml-list] OCaml sur IPaq/Linux
Date: Wed, 16 Jan 2002 09:38:08 +0100 [thread overview]
Message-ID: <200201160838.g0G8c8H29747@groucho.inria.fr> (raw)
Bonjour,
Dans le cadre des activites de recherche du projet Arles (ex-Solidor)
a Rocq., nous travaillons sur la conception et realisation d'un systeme
de gestion de fichiers repartis (AdHocFS) pour ordinateurs de poche sans fil
(Wireless PDAs), communiquant par un wireless LAN (IEEE 802.11b pour
ce qui est des experimentations). Le prototype est developpe en OCaml
au-dessus de Linux. Des infos complementaires sur ce travail peuvent etre
trouvees dans le RR 4303.
Pour l'instant, nous experimentons sur des Compaq Armada mais nous
voulons evidemment passer sur IPaq. Nous avons tente une compilation
a distance sur le site de Compaq mais l'executable est incorrect.
Est-ce qu'un portage d'Ocaml sur IPaq est envisage ou est-ce que
quelqu'un serait pret a nous aider/donner des conseils pour progresser ?
Merci d'avance pour toute information,
Valerie Issarny
-------------------
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
reply other threads:[~2002-01-17 12:46 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200201160838.g0G8c8H29747@groucho.inria.fr \
--to=valerie.issarny@inria.fr \
--cc=Anis.Ben_Arbia@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox