1. Zachary Anderson
  2. cil-template

Commits

Zachary Anderson  committed a486e70

Update README to reflect broken CIL 1.7.1 build

  • Participants
  • Parent commits 3e86a71
  • Branches default

Comments (0)

Files changed (1)

File README

View file
  • Ignore whitespace
   - Ubuntu packages: cmake cmake-data
 . CIL
   - Build and install from http://cil.sf.net
+  - 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.
 . Please let me know if I've forgotten anything
 
 Dependencies only for the theorem proving example (tut11.ml):