GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

build-binary-dsit.sh: make paths relative to /usr/local in the final tar file.

Browse Source
This commit is contained in:
hallgren
2010-12-23 12:40:04 +00:00
parent 8afbc3cbbc
commit 5f16e3134b
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
build-binary-dist.sh
View File

@@ -5,6 +5,7 @@
### the Haskell Platform, version 2010.1.0.0 or 2010.2.0.0 ### the Haskell Platform, version 2010.1.0.0 or 2010.2.0.0
destdir=/tmp/gf-build-binary-dist # assemble binary dist here destdir=/tmp/gf-build-binary-dist # assemble binary dist here
prefix=/usr/local # where to install
targz=gf-bin.tar.gz # the final tar file, should be renamed targz=gf-bin.tar.gz # the final tar file, should be renamed
langs="" # which languages? langs="" # which languages?
#langs="langs=-Pol" # temporary problem with Polish, omit it #langs="langs=-Pol" # temporary problem with Polish, omit it
@@ -14,7 +15,7 @@ set -x # print commands before exuting them
cabal install # gf needs to be installed before building gf-server below cabal install # gf needs to be installed before building gf-server below
runhaskell Setup.hs configure --user --prefix /usr/local runhaskell Setup.hs configure --user --prefix $prefix
runhaskell Setup.hs build $langs runhaskell Setup.hs build $langs
runhaskell Setup.hs copy --destdir=$destdir $langs runhaskell Setup.hs copy --destdir=$destdir $langs
@@ -25,10 +26,10 @@ cd src/server
## the easiest way to install them: ## the easiest way to install them:
#cabal install #cabal install
runhaskell Setup.hs configure --user --prefix /usr/local runhaskell Setup.hs configure --user --prefix $prefix
runhaskell Setup.hs build runhaskell Setup.hs build
runhaskell Setup.hs copy --destdir=$destdir runhaskell Setup.hs copy --destdir=$destdir
) )
tar -C $destdir -zcf $targz . tar -C $destdir/$prefix -zcf $targz .
echo "Created $targz, rename it to something more informative" echo "Created $targz, rename it to something more informative"
rm -r $destdir rm -r $destdir