Mercurial > hg > Members > kono > jpf-core
diff doc/install/snapshot.md @ 0:61d41facf527
initial v8 import (history reset)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 23 Jan 2015 10:14:01 -0800 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/install/snapshot.md Fri Jan 23 10:14:01 2015 -0800 @@ -0,0 +1,14 @@ +# Downloading Binary Snapshots # + + +Available binary snapshots are attached as *.zip archives to the [jpf-core](../jpf-core/index) page. Just click the on the download link and tell your browser where to store them on disk, which you need to remember for your subsequent [site.properties](../install/site-properties) configuration. We recommend putting all JPF modules under a single parent directory that holds the site.properties file: + +~~~~~~~~ {.bash} +jpf/ + site.properties + jpf-core/ + jpf-symbc/ + … +~~~~~~~~ + +Many JPF modules are still fast moving, so we recommend using the source repositories to stay up-to-date. Our policy is to only push changes to this server which pass all regression tests \ No newline at end of file