VERS = '8.1.7.v20120910' EXCLUDE = ['about.html'] maven_jar( name = 'servlet', id = 'org.eclipse.jetty:jetty-servlet:' + VERS, sha1 = '93da01e3ea26e70449e9a1a0affa5c31436be5a0', deps = [ ':security', '//lib:servlet-api_3_0', # Different from the rest of gitlies-server. ], exclude = EXCLUDE, ) maven_jar( name = 'security', id = 'org.eclipse.jetty:jetty-security:' + VERS, sha1 = '8d78beb7a07f4cccee05a3f16a264f1025946258', deps = [':server'], exclude = EXCLUDE, visibility = [], ) maven_jar( name = 'server', id = 'org.eclipse.jetty:jetty-server:' + VERS, sha1 = '6c81f733f28713919e99c2f8952e6ca5178033cd', exported_deps = [ ':continuation', ':http', ], exclude = EXCLUDE, ) maven_jar( name = 'continuation', id = 'org.eclipse.jetty:jetty-continuation:' + VERS, sha1 = 'f60cfe6267038000b459508529c88737601081e4', exclude = EXCLUDE, ) maven_jar( name = 'http', id = 'org.eclipse.jetty:jetty-http:' + VERS, sha1 = '10126433876cd74534695f7f99c4362596555493', exported_deps = [':io'], exclude = EXCLUDE, ) maven_jar( name = 'io', id = 'org.eclipse.jetty:jetty-io:' + VERS, sha1 = 'a81f746ae1b10c37e1bb0a01d1374c202c0bd549', exported_deps = [':util'], exclude = EXCLUDE, visibility = [], ) maven_jar( name = 'util', id = 'org.eclipse.jetty:jetty-util:' + VERS, sha1 = '7eb2004ab2c22fd3b00095bd9ba0f32a9e88f6a5', exclude = EXCLUDE, visibility = [], )