Removed sudos from make_osx_package.sh.
This commit is contained in:
parent
96c4e76669
commit
0337ea7a18
1 changed files with 7 additions and 7 deletions
|
@ -13,14 +13,14 @@ rm -rf $DIST
|
|||
mkdir -p $RESOURCES
|
||||
|
||||
echo Building pandoc...
|
||||
sudo cabal-dev install-deps
|
||||
sudo cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs
|
||||
sudo cabal-dev install --disable-library-for-ghci highlighting-kate
|
||||
sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
|
||||
sudo cabal-dev copy --destdir=$ROOT
|
||||
cabal-dev install-deps
|
||||
cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs
|
||||
cabal-dev install --disable-library-for-ghci highlighting-kate
|
||||
cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
|
||||
cabal-dev copy --destdir=$ROOT
|
||||
# remove library files
|
||||
sudo rm -r $ROOT/usr/local/lib
|
||||
sudo chown -R $ME:staff $DIST
|
||||
rm -r $ROOT/usr/local/lib
|
||||
chown -R $ME:staff $DIST
|
||||
|
||||
gzip $ROOT/usr/local/share/man/man?/*.*
|
||||
# cabal gives man pages the wrong permissions
|
||||
|
|
Loading…
Add table
Reference in a new issue