updated to use 4.01.0 release

Signed-off-by: Andrew Miller <[email protected]>

Author: amiller

Makefile

@@ -27,7 +27,7 @@ OCAMLBIN = $(BINDIR)
 
 # Compilation
 #############
-OCAMLSRCDIR=../ocaml-trunk
+OCAMLSRCDIR=../ocaml-4.01.0
 INCLUDES_DEP=-I +compiler-libs -package cryptokit
 
 # Requires unix!

README

@@ -9,7 +9,8 @@ Examples of authenticated data structure programs written in lambda-auth:
  - bintree.ml, skiplist.ml, redblack.ml, blockchain.ml
 
 Requirements:
-- OCaml SVN head must be installed, and in particular must exist as the directory "../ocaml-trunk"
+- The 4.01.0 release of OCaml head must be installed, and in particular must exist as the directory "../ocaml-4.01.0"
+- Additionally, several packages are used (use the OPAM package manager): opam install batteries benchmark cryptokit sha
 
 Build instructions:
 - make          # builds the compiler