2024-03-14 09:24:08 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
if [ ! -d libraries ]; then
|
|
|
|
|
echo Is CWD a ghc source tree?
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cd libraries
|
|
|
|
|
|
|
|
|
|
# should handle ../rts/rts.cabal.in
|
2024-04-16 04:42:58 +00:00
|
|
|
grep -i ^version: $(find * -name "*.cabal*" | LANG=C.utf8 sort) ../rts/rts.cabal | grep -v -e "\(Win32\|cabal-\|gmp.old\|gmp2\|integer-simple\|tests\|bench\)" -e "@ProjectVersionMunged@" | grep -e '[0-9]\.' | sed -e "s!.*/\([^/]*\).cabal:[Vv]ersion: \+!\1-!"
|
