2015-04-20 19:13:06 +02:00
|
|
|
#!/bin/bash -
|
|
|
|
|
#===============================================================================
|
|
|
|
|
#
|
|
|
|
|
# USAGE: ./update-defaults-nix.sh
|
|
|
|
|
#
|
|
|
|
|
# DESCRIPTION: Updates the default.nix files in all source dirs
|
|
|
|
|
#
|
|
|
|
|
# REQUIREMENTS: cabal2nix, bash >= 4
|
|
|
|
|
#===============================================================================
|
|
|
|
|
|
|
|
|
|
set -o nounset
|
|
|
|
|
set -o errexit
|
|
|
|
|
|
2015-06-05 15:08:52 +02:00
|
|
|
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
|
|
|
. "$DIR"/lib/common.sh
|
2015-04-20 19:13:06 +02:00
|
|
|
|
|
|
|
|
for s in ${SOURCES[@]} ; do
|
|
|
|
|
echo $s
|
|
|
|
|
(cd "$BASE_DIR/$s" && cabal2nix . > default.nix )
|
|
|
|
|
done
|
