12 lines
377 B
Bash
Executable file
12 lines
377 B
Bash
Executable file
#!/bin/sh
|
|
set -uexo pipefail
|
|
|
|
NIXPKGS_HASH=21f524672f25f8c3e7a0b5775e6505fee8fe43ce
|
|
TCC_CHECKSUM=05aad934985939e9997127e93d63d6a94c88739313c496f10a90176688cc9167
|
|
TCC=$(nix build "nixpkgs/$NIXPKGS_HASH#pkgsStatic.tinycc.out" \
|
|
--no-link --print-out-paths)
|
|
cat $TCC/bin/tcc > tcc-seed
|
|
chmod +x tcc-seed
|
|
S="$TCC_CHECKSUM tcc-seed"
|
|
sha256sum tcc-seed
|
|
sha256sum -c <<<$S
|