From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Stephanie Weirich <sweirich@cs.cornell.edu>, caml-list@inria.fr
Subject: Re: Sys.command in Windows NT
Date: Tue, 30 Mar 1999 17:37:46 +0200 [thread overview]
Message-ID: <19990330173746.17768@pauillac.inria.fr> (raw)
In-Reply-To: <000201be7a22$f46180e0$61f85480@pittston.cs.cornell.edu>; from Stephanie Weirich on Mon, Mar 29, 1999 at 03:30:15PM -0500
> I'm unable to execute Sys.command under Windows NT.
> I get the error message:
> /c: Permission denied
> and a return value of 1.
> I'm sure that something is not configured correctly, but I'm not sure
> where to look.
First, check the environment variables COMSPEC and PATH in your
environment, because that's where the C library function system()
(which implements Sys.command) looks for the Windows command
interpreter. On my installation of NT, for instance, I have
COMSPEC set to C:\winnt\system32\cmd.exe, which is NT's command interpreter.
If COMSPEC is unset, I think system() searches in PATH for cmd.exe or
command.exe.
If the environment variables look OK, but the command line given to
Sys.command is longer than 1000 characters, try first with shorter
commands. Long command lines are treated specially by the OCaml
runtime, and there might be a problem there.
If that doesn't help, I don't know how to proceed. As far as I know,
there is no Windows tool that would trace the system calls performed
by OCaml, so that we know exactly what is happening.
- Xavier Leroy
prev parent reply other threads:[~1999-03-30 17:12 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-03-24 16:29 Sort module musings James Hague
1999-03-29 16:33 ` Xavier Leroy
1999-03-29 20:30 ` Sys.command in Windows NT Stephanie Weirich
1999-03-30 15:37 ` Xavier Leroy [this message]
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=19990330173746.17768@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=sweirich@cs.cornell.edu \
/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