cmake file of redis-server.