11 lines
235 B
Bash
Executable File
11 lines
235 B
Bash
Executable File
#!/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!/.*: \+!-!"
|