From 0337ea7a18e088327f1b03099d93ce7c2fe8b4b6 Mon Sep 17 00:00:00 2001 From: John MacFarlane <fiddlosopher@gmail.com> Date: Sat, 19 Jan 2013 09:44:02 -0800 Subject: [PATCH] Removed sudos from make_osx_package.sh. --- make_osx_package.sh | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/make_osx_package.sh b/make_osx_package.sh index 309e005ef..34230e45e 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -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