From: "Luca de Alfaro" <luca@dealfaro.org>
To: caml-list@yquem.inria.fr
Subject: ocamlp3l and command line options: how?
Date: Tue, 21 Aug 2007 14:43:48 -0700 [thread overview]
Message-ID: <28fa90930708211443n6ad5a549u74c6d0117717ba69@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 588 bytes --]
I am trying to use ocamlp3l to parallelize some code. Using the skeleton
paradigm was a lot of fun and quite easy, but I am stumbling on the easiest
of issues...
My code needs some command-line options, and I am processing them with the
Arg package. The ocamlp3l manual does not anything about what to do for
command-line options.
I cannot simly run:
./foo -p3lroot -i blah -o boink
because Arg tells me that it doesn't know what to do with -p3lroot.
Fine, but, then how do I do? It's not really feasible for me to do without
command-line options...
Many thanks in advance,
Luca
[-- Attachment #2: Type: text/html, Size: 661 bytes --]
next reply other threads:[~2007-08-21 21:43 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-21 21:43 Luca de Alfaro [this message]
2007-08-21 22:21 ` [Caml-list] " Till Varoquaux
2007-08-22 1:30 ` Luca de Alfaro
2007-08-22 6:06 ` Maxence Guesdon
2007-08-22 6:21 ` Luca de Alfaro
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=28fa90930708211443n6ad5a549u74c6d0117717ba69@mail.gmail.com \
--to=luca@dealfaro.org \
--cc=caml-list@yquem.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