2019-11-10 14:58:22 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# TODO: git clone shallow, fhs environment, make -f depot/whatever
|
|
|
|
|
2019-11-28 15:23:55 +01:00
|
|
|
if [ -z "$1"]; then
|
|
|
|
echo "the root of the genode directory must be passed as an argument"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2019-11-10 14:58:22 +01:00
|
|
|
echo "/* DO NOT EDIT - this file generated by gen-list.sh */ ["
|
|
|
|
|
2020-03-12 14:22:03 +01:00
|
|
|
cd $1
|
|
|
|
|
|
|
|
find public/genodelabs/bin -name '*.tar.xz' -print \
|
2019-11-10 14:58:22 +01:00
|
|
|
| sort \
|
2020-03-12 14:22:03 +01:00
|
|
|
| awk --field-separator / '{print $5" "$6" "$0}' \
|
2019-11-10 14:58:22 +01:00
|
|
|
| while read NAME VERSION LOCAL
|
|
|
|
do
|
|
|
|
TAR_PATH=`realpath $LOCAL`
|
|
|
|
SHA256=`nix-prefetch-url file://$TAR_PATH`
|
|
|
|
echo "{name=\"$NAME\";value={sha256=\"$SHA256\";version=\"${VERSION%%.tar.xz}\";};}"
|
|
|
|
done
|
|
|
|
|
|
|
|
echo ']'
|