Merge branch 'redis' into 'master'

Add redis-4.0.11-GCC-6.3.0-2.27.eb

See merge request sccs/easyconfigs-it4i!26

Former-commit-id: 4660a56d2e40f209384c280b1e826e9893820517

r/redis/redis-4.0.11-GCC-6.3.0-2.27.eb

@@ -0,0 +1,25 @@
+# IT4Innovations 2018
+
+easyblock = 'MakeCp'
+
+name = 'redis'
+version = '4.0.11'
+
+homepage = 'https://redis.io'
+description = 'Redis is an open source (BSD licensed), in-memory data structure store, used as a database, cache and message broker.'
+
+toolchain = {'name': 'GCC', 'version': '6.3.0-2.27'}
+
+source_urls = ['https://github.com/antirez/redis/archive/']
+sources = ['%s.tar.gz' % version]
+
+files_to_copy = [
+  (['src/redis-benchmark','src/redis-cli','src/redis-sentinel','src/redis-server'], 'bin')
+]
+
+sanity_check_paths = {
+  'files': ['bin/redis-benchmark','bin/redis-cli','bin/redis-sentinel','bin/redis-server'],
+  'dirs': []
+}
+
+moduleclass = 'data'