More make_artifacts fixes.
This commit is contained in:
parent
b157abedb7
commit
ce3cd28a6a
1 changed files with 4 additions and 8 deletions
|
@ -25,14 +25,10 @@ trap clean_up EXIT
|
||||||
cabal --version
|
cabal --version
|
||||||
ghc --version
|
ghc --version
|
||||||
|
|
||||||
cabal v2-update
|
cabal update
|
||||||
cabal v2-clean
|
cabal clean
|
||||||
cabal v2-configure --enable-tests -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc
|
cabal install -j4 -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' --install-method=copy --bindir=$ARTIFACTS
|
||||||
cabal v2-build -j4
|
ls $ARTIFACTS
|
||||||
cabal v2-test -j4
|
|
||||||
cabal v2-install --bindir=$ARTIFACTS
|
|
||||||
for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f $ARTIFACTS/; done
|
|
||||||
for f in $(find dist-newstyle -name 'pandoc-server' -type f -perm /400); do cp $f /$ARTIFACTS/; done
|
|
||||||
|
|
||||||
# make deb for EXE
|
# make deb for EXE
|
||||||
make_deb() {
|
make_deb() {
|
||||||
|
|
Loading…
Reference in a new issue