diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-21 16:32:10 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-21 16:32:10 +0000 |
| commit | 5a39637bcd143b1da12cc442b0a21634b1a4662d (patch) | |
| tree | 83fa35bc06f316315329961235650a58683a9d6e /bin | |
| parent | 38f28da6c18ea9134f63687e4ab129e57fe28df3 (diff) | |
build-binary-dist.sh: include a ghc package configuration file
as an experiment
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/build-binary-dist.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index cf8caf218..6e9bcd0bf 100644 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -43,7 +43,9 @@ popd cabal install --only-dependencies cabal configure --prefix=$prefix -fserver -fc-runtime $extra DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" cabal build -DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" cabal copy --destdir=$destdir +cabal copy --destdir=$destdir +libdir=`echo $destdir/$prefix/lib/gf-*/*/` +cabal register --gen-pkg-config=$libdir/gf-$ver.conf tar -C $destdir/$prefix -zcf $targz . echo "Created $targz, consider renaming it to something more user friendly" |