diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-02-12 21:41:16 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-12 21:45:30 +0100 |
| commit | 395f20a0484b3be14614169b74a8f5b9e063bb2b (patch) | |
| tree | 5abfab3ff890c4991228fa42f42d9ed9c5f48199 /deb | |
| parent | 2e5d076af7f219d0bb8459d5c310df2f511f2464 (diff) | |
Replaced {deb,macos,windows}/stack.yaml with stack.pkg.yaml.
Diffstat (limited to 'deb')
| -rwxr-xr-x | deb/make_deb.sh | 4 | ||||
| -rw-r--r-- | deb/stack.yaml | 21 |
2 files changed, 2 insertions, 23 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index f07264d78..572698ae6 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -22,8 +22,8 @@ mkdir -p $DEST/bin mkdir -p $DEST/share/man/man1 mkdir -p $DEST/share/doc/pandoc -stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . hsb2hs -stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . pandoc pandoc-citeproc +stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . hsb2hs +stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . pandoc pandoc-citeproc make man/pandoc.1 # get pandoc-citeproc man page: diff --git a/deb/stack.yaml b/deb/stack.yaml deleted file mode 100644 index d0e84a147..000000000 --- a/deb/stack.yaml +++ /dev/null @@ -1,21 +0,0 @@ -flags: - pandoc: - trypandoc: false - https: true - embed_data_files: true - old-locale: false - network-uri: true - pandoc-citeproc: - bibutils: true - embed_data_files: true - unicode_collation: false - test_citeproc: false - debug: false -packages: -- '..' -- location: - git: https://github.com/jgm/pandoc-citeproc.git - commit: c53a27513318f1d23303ee27e46da9e7702c798e - extra-dep: true -extra-deps: -resolver: lts-8.0 |