diff options
author | Dana N. Xu <na.xu@inria.fr> | 2010-11-22 16:33:57 +0000 |
---|---|---|
committer | Dana N. Xu <na.xu@inria.fr> | 2010-11-22 16:33:57 +0000 |
commit | 1ae1ebed0b710fce4b6e1fb6a2cc3336c77aadfc (patch) | |
tree | f5ff55e72cd32c457c0f2e16f340d49e19223250 | |
parent | a6a813c4c26c41ac529e666c73691adf4578460a (diff) | |
download | ocaml-1ae1ebed0b710fce4b6e1fb6a2cc3336c77aadfc.tar.gz |
readmeFIRST
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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 + |