diff options
author | Michele Di Giorgio <michele.dg90@gmail.com> | 2016-04-06 11:56:24 +0100 |
---|---|---|
committer | Michele Di Giorgio <michele.dg90@gmail.com> | 2016-04-06 11:56:24 +0100 |
commit | a6639ae243561a78d5873105cc9955317f9eb37b (patch) | |
tree | 2707262147d4a6b0231b12b840daa5aa71ebd819 | |
parent | f89611031d5e35edb1298bd41f65ef3ec7e9ec73 (diff) | |
parent | cbb7b215921e4b23e9010c383f09b7319316217d (diff) | |
download | bart-a6639ae243561a78d5873105cc9955317f9eb37b.tar.gz |
Merge pull request #54 from JaviMerino/ubuntu_lts_readme
README: explicitly state that the instructions are for Ubuntu 14.04 LTS
-rw-r--r-- | README.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -25,6 +25,12 @@ Verifying behaviours when different components/patches are integrated. # Installation +The following instructions are for Ubuntu 14.04 LTS but they should +also work with Debian jessie. Older versions of Ubuntu or Debian +(e.g. Ubuntu 12.04 or Debian wheezy) will likely require to install +more packages from pip as the ones present in Ubuntu 12.04 or Debian +wheezy will probably be too old. + ## Required dependencies #### Install additional tools required for some tests and functionalities |