diff options
| -rw-r--r-- | readmeFIRST.txt | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/readmeFIRST.txt b/readmeFIRST.txt index b7931b606b..6825187159 100644 --- a/readmeFIRST.txt +++ b/readmeFIRST.txt @@ -1,9 +1,9 @@ -To build ocamlc from source code, at directory /contracts +*To build ocamlc from source code, at directory /contracts $./configure $make world -To test contract checking with some small examples, you can download examples from +*To test contract checking with some small examples, you can download examples from http://gallium.inria.fr/~naxu/research/testcontracts.tar.bz2 @@ -13,19 +13,20 @@ $tar -jxvf testcontracts.tar.bz2 $cd testcontracts $make all -If you put testcontracts in other directories, please change the first line in +*If you put testcontracts in other directories, please change the first line in /testcontracts/Makefile, i.e. OCAMLDIR=../contracts to point to the newly generated ocamlc. -To run the generated bytecode files at /testcontracts, e.g. do +*To run the generated bytecode files at /testcontracts, e.g. do $./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. -$ln /usr/local/bin/ocamlrun /usr/bin/ocamlrun +$ln /usr/local/bin/ocamlrun <path to contracts dir>/contracts/boot/ocamlrun + |