mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-23 08:27:11 +03:00
29 lines
883 B
Python
29 lines
883 B
Python
export_file(
|
|
name = "isolated_compile.py",
|
|
visibility = ["PUBLIC"],
|
|
)
|
|
|
|
ELM_COMPILER_URL = select({
|
|
"config//os:linux": "https://github.com/elm/compiler/releases/download/0.19.1/binary-for-linux-64-bit.gz",
|
|
"config//os:macos": "https://github.com/elm/compiler/releases/download/0.19.1/binary-for-mac-64-bit.gz",
|
|
})
|
|
|
|
ELM_COMPILER_SHA256 = select({
|
|
"config//os:linux": "e44af52bb27f725a973478e589d990a6428e115fe1bb14f03833134d6c0f155c",
|
|
"config//os:macos": "05289f0e3d4f30033487c05e689964c3bb17c0c48012510dbef1df43868545d1",
|
|
})
|
|
|
|
http_file(
|
|
name = "elm_compiler_archive",
|
|
urls = [ELM_COMPILER_URL],
|
|
sha256 = ELM_COMPILER_SHA256,
|
|
)
|
|
|
|
genrule(
|
|
name = "elm_compiler_binary",
|
|
cmd = "gzip --decompress --stdout --keep $(location :elm_compiler_archive) > $OUT && chmod +x $OUT",
|
|
out = "elm",
|
|
executable = True,
|
|
visibility = ["PUBLIC"],
|
|
)
|