Differences

This shows you the differences between two versions of the page.

2017:linux-kernel_memory_model_workshop [2017/09/05 05:44]
87.17.71.32
2017:linux-kernel_memory_model_workshop [2017/10/17 13:24] (current)
50.39.104.80 Update ocaml version
Line 24: Line 24:
     
  Installing the memory model and related tools:   Installing the memory model and related tools:
-  * ocaml v4.01.0 or better: http://caml.inria.fr/download.en.html (Or, likely easier, install your distro's version)+  * ocaml v4.02.0 or better: http://caml.inria.fr/download.en.html (Or, likely easier, install your distro's version)
    * But if you choose to build it yourself, do yourself a favor and read -all- of Step 5 before starting, or you will miss the "make world.opt" shortcut     * But if you choose to build it yourself, do yourself a favor and read -all- of Step 5 before starting, or you will miss the "make world.opt" shortcut
    * In addition, recent versions of ocaml require opam (see "herd" README from next step)     * In addition, recent versions of ocaml require opam (see "herd" README from next step)
 
2017/linux-kernel_memory_model_workshop.txt · Last modified: 2017/10/17 13:24 by 50.39.104.80
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki