File tree 1 file changed +5
-33
lines changed
1 file changed +5
-33
lines changed Original file line number Diff line number Diff line change @@ -44,50 +44,22 @@ apt-get install --assume-yes --no-install-recommends \
44
44
zlib1g-dev
45
45
EOF
46
46
47
- RUN <<EOF
48
- set -eux; \
49
- # Get pandoc-cli sources
50
- cabal update
51
- cabal get pandoc-cli-${PANDOC}
52
- cd pandoc-cli-${PANDOC}
53
-
54
- # Setup to include pandoc-crossref
55
- printf 'packages: pandoc-cli.cabal\n ' > cabal.project
56
- # Add pandoc-crossref to project
57
- printf 'extra-packages: pandoc-crossref\n ' >> cabal.project
58
- cat cabal.project
59
- EOF
60
-
61
- RUN <<EOF
62
- set -eux
63
- cd pandoc-cli-${PANDOC}
64
47
# Build and install
65
- cabal install pandoc-cli:exes pandoc-crossref:exes \
48
+ RUN cabal update
49
+ RUN cabal install pandoc-cli pandoc-crossref \
66
50
--jobs \
67
51
--disable-tests \
68
52
--disable-bench \
53
+ --install-method=copy \
69
54
--allow-newer='lib:pandoc' \
70
- --prefix=/usr \
71
- --docdir=/usr/share/doc/pandoc \
55
+ --prefix=/usr/local \
56
+ --docdir=/usr/local/ share/doc/pandoc \
72
57
--flags='+server +lua' \
73
58
--sysconfdir=/etc \
74
59
--ghc-options='-O1 -optc-Os -optl=-pthread -fPIC -j +RTS -A128m -n2m -RTS'
75
60
76
- EOF
77
-
78
- RUN <<EOF
79
- set -eux
80
- cd pandoc-cli-${PANDOC}
81
- cabal list-bin pandoc-cli:exes | xargs install -Dm755 -t /usr/bin
82
- #
83
- find /root/.cabal \
84
- -name 'pandoc*' -type f -perm -u+x \
85
- -exec strip '{}' ';' \
86
- -exec cp '{}' /usr/local/bin/ ';'
87
-
88
61
# cd /
89
62
# ls -l -d /root/.*
90
63
# rm -rf /root/.cabal /root/.ghc
91
64
# rm -rf /tmp/*
92
65
# rm -rf /var/lib/apt/lists/*
93
- EOF
You can’t perform that action at this time.
0 commit comments