4 sfx="linux-glibc6.`uname -m`.`date +%Y-%m-%d`.git-`git rev-parse --verify HEAD | cut -c 1-7`"
5 echo "Making $file.$sfx"
8 #ghc --make -static -optc-static -optl-shared-libgcc -optl-static -optl-pthread
9 # but cannot make it "only glibc is shared". And with static glibc,
10 # getaddrinfo does not work on systems with different glibc.
14 *) echo build falied; exit 1 ;;
16 mv "$file" "$file.$sfx" || exit 1
17 gpg --detach-sign "$file.$sfx"