diff options
| author | Dana N. Xu <na.xu@inria.fr> | 2010-11-22 20:37:04 +0000 |
|---|---|---|
| committer | Dana N. Xu <na.xu@inria.fr> | 2010-11-22 20:37:04 +0000 |
| commit | a15fff22ac416202032eeb5bb912175cb12ec0cb (patch) | |
| tree | 10532c3aebf164b24ffd3903a701c5d793ebb709 | |
| parent | 1ae1ebed0b710fce4b6e1fb6a2cc3336c77aadfc (diff) | |
| download | ocaml-a15fff22ac416202032eeb5bb912175cb12ec0cb.tar.gz | |
readme first
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | readmeFIRST.txt | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/readmeFIRST.txt b/readmeFIRST.txt index 6825187159..ef62ac140f 100644 --- a/readmeFIRST.txt +++ b/readmeFIRST.txt @@ -7,7 +7,7 @@ $make world http://gallium.inria.fr/~naxu/research/testcontracts.tar.bz2 -[I assume directories /contracts and /testcontracts are at the same level ] +[I assume directories /contracts and /testcontracts are under the same directory ] $tar -jxvf testcontracts.tar.bz2 $cd testcontracts @@ -25,8 +25,11 @@ to point to the newly generated ocamlc. $./basic If it gives error msg saying bad interpreter /usr/local/bin/ocamlrun, -you can link it to where you installed your ocamlrun by linking, e.g. +you can link it to /contracts/boot/camlrun by $ln /usr/local/bin/ocamlrun <path to contracts dir>/contracts/boot/ocamlrun +If it still does not work, you can just do + +$../contracts/boot/ocamlrun ./basic |