Tissevert/pandoc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

Further fixes to make_osx_package.sh.

Browse source
This commit is contained in:
John MacFarlane 2013-09-14 17:32:54 -07:00
parent b0a26d7193
commit 8a917cd9e4
1 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
make_osx_package.sh
View file

@ -1,7 +1,7 @@
#!/bin/sh -e #!/bin/sh -e
DIST=`pwd`/osx_package DIST=`pwd`/osx_package
TMP=`pwd`/cabaltmp SANDBOX=`pwd`/.cabal-sandbox
VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}') VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
RESOURCES=$DIST/Resources RESOURCES=$DIST/Resources
ROOT=$DIST/pandoc ROOT=$DIST/pandoc
@ -22,18 +22,17 @@ cabal update
echo Building pandoc... echo Building pandoc...
cabal sandbox init cabal sandbox init
cabal install -v1 --prefix $TMP --flags="embed_data_files unicode_collation" --extra-lib-dirs=$ICU/lib --extra-include-dirs=$ICU/include pandoc-citeproc cabal install -v1 --reinstall --flags="embed_data_files unicode_collation" --extra-lib-dirs=$ICU/lib --extra-include-dirs=$ICU/include pandoc-citeproc
cabal install -v1 --prefix $TMP --flags="embed_data_files" cabal install -v1 --reinstall --flags="embed_data_files"
mkdir -p $ROOT/usr/local/bin mkdir -p $ROOT/usr/local/bin
mkdir -p $ROOT/usr/local/share/man/man1 mkdir -p $ROOT/usr/local/share/man/man1
mkdir -p $ROOT/usr/local/share/man/man5 mkdir -p $ROOT/usr/local/share/man/man5
for f in $EXES; do for f in $EXES; do
cp $TMP/bin/$f $ROOT/usr/local/bin/; cp $SANDBOX/bin/$f $ROOT/usr/local/bin/;
cp $TMP/share/man/man1/$f.1 $ROOT/usr/local/share/man/man1/ cp $SANDBOX/share/man/man1/$f.1 $ROOT/usr/local/share/man/man1/
done done
cp $TMP/share/man/man5/pandoc_markdown.5 $ROOT/usr/local/share/man/man5/ cp $SANDBOX/share/man/man5/pandoc_markdown.5 $ROOT/usr/local/share/man/man5/
# rm -rf $TMP
chown -R $ME:staff $DIST chown -R $ME:staff $DIST
# gzip $ROOT/usr/local/share/man/man?/*.* # gzip $ROOT/usr/local/share/man/man?/*.*
@ -41,7 +40,7 @@ chown -R $ME:staff $DIST
chmod +r $ROOT/usr/local/share/man/man?/*.* chmod +r $ROOT/usr/local/share/man/man?/*.*
echo Copying license... echo Copying license...
$TMP/bin/pandoc --data data -t rtf -s COPYING -o $RESOURCES/License.rtf $SANDBOX/bin/pandoc --data data -t rtf -s COPYING -o $RESOURCES/License.rtf
echo Signing pandoc executable... echo Signing pandoc executable...