Add master branch of leveldb (#11405)

2019-05-13 13:35:15 -05:00 · 2019-05-13 13:35:15 -05:00 · f283487670
commit f283487670
parent 3c2e4b9558
1 changed files with 2 additions and 0 deletions
--- a/var/spack/repos/builtin/packages/leveldb/package.py
+++ b/var/spack/repos/builtin/packages/leveldb/package.py
@ -13,7 +13,9 @@ class Leveldb(MakefilePackage):

    homepage = "https://github.com/google/leveldb"
    url      = "https://github.com/google/leveldb/archive/v1.20.tar.gz"
+    git      = "https://github.com/google/leveldb.git"

+    version('master', branch='master')
    version('1.20', '298b5bddf12c675d6345784261302252')
    version('1.18', '73770de34a2a5ab34498d2e05b2b7fa0')