Failed to install OCaml

Failed to install OCaml

Posted by: bigreat
Posted on: 2007-03-01 07:42:00

HI,
I want to enable my mediawiki's math function function, so I downloaded the Source distribution for Windows and Unix system: ocaml-3.09.3.tar.gz .

Then I accorded to the instructions on http://wiki.dreamhost.com/index.php/Unison. However, when I unzip the package to /ocaml folder, and type the:


"./configure -prefix $HOME/sw && make world && make bootstrap && make opt && make install"

in SSH, it returned:

-bash: ./configure: Permission denied

What can I do?

Thanks!


Re: Failed to install OCaml

Posted by: Se7enOf9
Posted on: 2007-03-01 15:12:00

In INSTALL, Prerequisites, it says:

"If you do not have write access to /tmp, you should set the environment variable TMPDIR to the name of some other temporary directory."

Do you have write access to /tmp? Trying: touch /tmp/junkfile.txt will tell.

.......

Re: Failed to install OCaml

Posted by: bigreat
Posted on: 2007-03-01 19:31:00

HI,
I tired touch /tmp/junkfile.txt

but nothing displayed..
thanks!

is that because my user name dosen't have the right?



Re: Failed to install OCaml

Posted by: Se7enOf9
Posted on: 2007-03-02 02:12:00

> but nothing displayed..

So it worked. Good. You have permission to write in /tmp.

I suspect 2 problems. (1) Something went wrong in your download, untar; or (2) Directory you expanded to causes permission problem; or (3) other :-)

Did you even get message:
"Configuring for a i686-pc-linux-gnu ..." ?
If not, then script did not go far at all.

How did you get tar.gz onto server and expand it? Where did you expand it? FWIW, I put in /home/user/ocaml and it worked ok.

Can you edit configure file, put set -x on 2nd line (original blank), re-run ./configure... command; see where it stops?



.......

Tags: tar gzdreamhostmediawikiunzipprefixwiki