You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/sh
|
|
|
|
if [ ! -d libraries ]; then
|
|
echo Is CWD a ghc source tree?
|
|
exit 1
|
|
fi
|
|
|
|
cd libraries
|
|
|
|
grep -i ^version: Cabal/Cabal/Cabal.cabal */*.cabal | grep -v -e "\(Win32\|gmp.old\|gmp2\|integer-simple\)" | sed -e "s!/.*: \+!-!"
|