legion: add v17.10.0 (#6019)

This commit is contained in:
Christoph Junghans 2017-10-28 12:09:39 -06:00 committed by GitHub
parent edae3ceae7
commit 167f7d0cdd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,6 +44,8 @@ class Legion(CMakePackage):
url = "https://github.com/StanfordLegion/legion/tarball/legion-17.02.0"
version('develop', git='https://github.com/StanfordLegion/legion', branch='master')
version('17.10.0', 'ebfc974dc82a9d7f3ba53242ecae62e1')
version('17.08.0', 'acc1ea8c564c4a382a015e0c9cf94574')
version('17.02.0', '31ac3004e2fb0996764362d2b6f6844a')
variant('mpi', default=True,