Commits

Zachary Anderson committed 1cea0a1

README file fixes

  • Participants
  • Parent commits a486e70

Comments (0)

Files changed (1)

   - There appears to be a problem with version 1.7.1, if the build fails
     and you are using this version, try 1.6.0 or something later than
     1.7.1.
+. ocamlgraph
+  - Ubuntu package: libocamlgraph-ocaml-dev
 . Please let me know if I've forgotten anything
 
 Dependencies only for the theorem proving example (tut11.ml):
 Dependencies only for the automated test generation example (tut15.ml):
 . Yices SMT solver (http://yices.csl.sri.com/)
 . ocamlyices (https://github.com/polazarus/ocamlyices)
-. pass -DBUILD_TUT15 to cmake to include this example
+. pass -DBUILD_TUT15=true to cmake to include this example
 
 Then, to obtain and build:
 
 
 As above
 
+6. Let me know if I've missed any steps =)
 
-6. Let me know if I've missed any steps =)
 
 3. Files:
 ---------
 LICENSE - All the code in this project is licensed under a standard 3-clause
 BSD license.
 
+
 4. Bugs, and Feedback:
 --------------
 
 Please use the issue tracker on bitbucket to report bugs, make suggestions,
 give feedback, etc..
 
+
 5. Citation:
 ------------