From 5a39637bcd143b1da12cc442b0a21634b1a4662d Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Sat, 21 Jun 2014 16:32:10 +0000
Subject: [PATCH] build-binary-dist.sh: include a ghc package configuration
 file

as an experiment
---
 bin/build-binary-dist.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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"