1 - al_gzip_extension
al_gzip_extension
al_gzip_extension = use_extension("@com_alwaldend_src//tools/gzip/rules:al_gzip_extension.bzl", "al_gzip_extension")
al_gzip_extension.download(name, integrity, url)
Extension for gzip repos
TAG CLASSES
download
Attributes
| Name | Description | Type | Mandatory | Default |
|---|---|---|---|---|
| name | Name | Name | required | |
| integrity | Integrity | String | optional | "" |
| url | Url | String | required |
2 - al_gzip_repo
al_gzip_repo
load("@com_alwaldend_src//tools/gzip/rules:al_gzip_repo.bzl", "al_gzip_repo")
al_gzip_repo(name, integrity, url)
Gzip repo
ATTRIBUTES
| Name | Description | Type | Mandatory | Default |
|---|---|---|---|---|
| name | A unique name for this repository. | Name | required | |
| integrity | Integrity | String | optional | "" |
| url | Url | String | required |