caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
To: caml-list@inria.fr
Subject: Sys.command and quotes
Date: Tue, 05 May 2009 10:58:29 +0200	[thread overview]
Message-ID: <49FFFFB5.1090403@gmail.com> (raw)

Hello,

I have a problem with mingw version of ocaml (compiled by hand, or with 
godi).

1- Is the following reproducible?

2- If yes, do you consider this as a bug?

It seems that in "Sys.command s", if the first and the last characters 
of s are '"', they are elided?

It prevents menhir (20090402) to compile on my mingw system with 
ocamlfind in use (because when
ocamlfind is used, the dependencies are found with an ocamlfind ocamldep 
call).

Thanks in advance


Objective Caml version 3.11.0

# let cmd = "echo";;
val cmd : string = "echo"
# let arg1 = "Hello world";;
val arg1 : string = "Hello world"
# let q = Filename.quote;;
val q : string -> string = <fun>
# let go c = Sys.command (String.concat " " c);;
val go : string list -> int = <fun>
# go [cmd;arg1];;
Hello world
- : int = 0
# go [q cmd; arg1];;
Hello world
- : int = 0
# go [cmd; q arg1];;
"Hello world"
- : int = 0
# go [q cmd; q arg1];;
'echo" "Hello' n'est pas reconnu en tant que commande interne
ou externe, un programme ex‚cutable ou un fichier de commandes.
- : int = 1








             reply	other threads:[~2009-05-05  8:58 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-05-05  8:58 Matthieu Dubuget [this message]
2009-05-05  9:37 ` [Caml-list] " Francois Pottier
2009-05-05 19:59   ` Matthieu Dubuget
2009-05-05  9:44 ` Olivier Andrieu
2009-05-05  9:45 ` Sylvain Le Gall

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=49FFFFB5.1090403@gmail.com \
    --to=matthieu.dubuget@gmail.com \
    --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;
as well as URLs for NNTP newsgroup(s).