allow connecting to TLS1.2 servers without EMS
[diohsc.git] / Makefile
blob60d20eb9695ba154fcf54fcb8e6a78d514ea28e9
1 VERSION=0.1.14.7
3 GHCOPTS=-threaded -DICONV -DMAGIC -ignore-package regex-compat-tdfa
5 .PHONY: warn install build
6 warn:
7 @echo "Use \"make install\" to download and compile dependencies and install diohsc"
8 install: *.hs
9 cabal update && cabal install
10 build: *.hs
11 cabal build
13 diohsc: *.hs
14 cabal install -O2 --installdir . --overwrite-policy=always
16 diohsc.1: diohsc.1.md
17 pandoc --standalone -f markdown -t man < diohsc.1.md | sed 's/\$$VERSION/${VERSION}/g' >| diohsc.1
19 dist-newstyle/sdist/diohsc-${VERSION}.tar.gz: *.hs README.md CHANGELOG.md COPYING *.cabal *.sample diohsc.1
20 cabal sdist
22 diohsc-${VERSION}-src.tgz: dist-newstyle/sdist/diohsc-${VERSION}.tar.gz
23 cp $< $@
25 diohsc.bundle: .git/refs/heads/master
26 git bundle create "$@" HEAD master
28 index.gmi: index.gmi.in Makefile
29 cat $< | sed 's/\$$VERSION/${VERSION}/g' > $@
31 index.html: index.gmi
32 cat $< | sed s/\.gmi/.html/g | ./tools/gmi2html.sed > $@
34 index.md: index.gmi
35 cat $< | sed s/\.gmi/.md/g | ./tools/gmi2md.sed > $@
37 %.md: %.gmi
38 ./tools/gmi2md.sed < $< > $@
40 %.html: %.gmi
41 ./tools/gmi2html.sed < $< > $@
43 publish: diohsc-${VERSION}-src.tgz diohsc.bundle index.gmi index.html README.md README.gmi README.html CHANGELOG.gmi CHANGELOG.md CHANGELOG.html tutorial/diohsc-tutorial.cast tutorial/diohsc-tutorial.txt
44 cp $^ /var/gemini/gemini.thegonz.net/diohsc/
45 scp $^ sverige:html/diohsc/