facing problem in installing crest-0.1.1 tool

[GoogleCodeExporter]

Dear sir,
               I am trying to install crest-0.1.1 tool in my system but facing problem.. i have done following steps::
        1. downloaded crest tool
        2.  downloaded yices-1.0.36
        3. dowloaded ocaml-4.00.0
        4. configuring ocaml using commands ./configure
                                                                     make world
                                                                     make opt
                                                                     make install
          In make install i m getting this
                   if test -d /usr/local/bin; then : ; else mkdir -p /usr/local/bin; fi
                   if test -d /usr/local/lib/ocaml; then : ; else mkdir -p /usr/local/lib/ocaml; fi
                   mkdir: cannot create directory `/usr/local/lib/ocaml': Permission denied
                   make: *** [install] Error 1

         i also tried that chmod -R 777 configure command but problem is not solved.
          and pls me further steps also..
- Yours faithfully
 Sangharatna Godboley

Original issue reported on code.google.com by sanghu1...@gmail.com on 30 Sep 2012 at 1:23

[GoogleCodeExporter]

Original comment by jbur...@gmail.com on 7 Feb 2014 at 5:28

• Changed state: Invalid