diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-17 13:53:38 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-17 13:53:38 -0800 |
| commit | b1a9b1a696a48fcd21133fef451db2fd28efb1c5 (patch) | |
| tree | 55efc1f6fad07d2bd17bed5d5c67066ab8a1b88d /make_deb.sh | |
| parent | 8dfc372278d26c551e2a7374b7223c7e07c8270b (diff) | |
| download | pandoc-b1a9b1a696a48fcd21133fef451db2fd28efb1c5.tar.gz | |
Improved make_deb.sh.
Diffstat (limited to 'make_deb.sh')
| -rwxr-xr-x | make_deb.sh | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/make_deb.sh b/make_deb.sh index dfbdd3a0c..0883c911e 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -2,13 +2,16 @@ SANDBOX=`pwd`/.cabal-sandbox VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}') -DEBPKGVER=?1 -BASE=pandoc-$VERSION-$DEBPKGVER +DEBPKGVER=1 +DEBVER=$VERSION-$DEBPKGVER +BASE=pandoc-$DEBVER DIST=`pwd`/$BASE MANDIR=`pwd`/man DEST=$DIST/usr/local ME=$(whoami) +echo "DEBVER = $DEBVER" + # echo Removing old files... rm -rf $DIST @@ -16,6 +19,8 @@ cabal sandbox init echo Updating database cabal update +export PATH=`pwd`/.cabal-sandbox/bin:$PATH +which hsb2hs || cabal install hsb2hs echo Building pandoc... cabal clean cabal install --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc @@ -37,9 +42,10 @@ install $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/ install $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/ install COPYING $DEST/share/doc/pandoc/COPYING install $PANDOC_CITEPROC_PATH/LICENSE $DEST/share/doc/pandoc-citeproc/LICENSE -rm -rf $PANDOC_CITEPROC_PATH +rm -rf make_binary_package.tmp.$$ mkdir $DIST/DEBIAN -perl -pe 's/VERSION/${VERSION}-${DEBPKGVER}/' deb/control.in > $DIST/DEBIAN/control +perl -pe "s/VERSION/$DEBVER/" deb/control.in > $DIST/DEBIAN/control dpkg-deb --build $DIST +rm -rf $DIST |