Skip to content

Commit

Permalink
Merge pull request #370 from ScorexFoundation/tex_autocompile
Browse files Browse the repository at this point in the history
Add TeX software autodetect and respective warnings. Also make TeX...
  • Loading branch information
catena2w authored Jan 23, 2019
2 parents f1711e1 + c782a4c commit f4b4462
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 4 deletions.
15 changes: 13 additions & 2 deletions docs/sigmastate_protocols/compile.sh
Original file line number Diff line number Diff line change
@@ -1,9 +1,20 @@
#!/usr/bin/env bash
#!/usr/bin/env sh

command -v pdflatex && command -v bibtex
if [[ "$?" != 0 ]]; then
echo "Command 'pdflatex' or 'bibtex' not exist, both must be installed. For Ubuntu, try:"
echo "sudo apt install texlive-latex-base texlive-binaries"
echo
echo "You may also need to install additional packages like fonts, etc. For Ubuntu, try:"
echo "sudo apt-get install texlive-fonts-recommended latex-xcolor texlive-latex-extra cm-super"
exit 1;
fi

pdflatex sigmastate_protocols
bibtex sigmastate_protocols
pdflatex sigmastate_protocols
pdflatex sigmastate_protocols
rm sigmastate_protocols.aux
rm sigmastate_protocols.log
rm sigmastate_protocols.out
rm sigmastate_protocols.toc
rm sigmastate_protocols.log
15 changes: 13 additions & 2 deletions docs/wpaper/compile.sh
Original file line number Diff line number Diff line change
@@ -1,9 +1,20 @@
#!/usr/bin/env bash
#!/usr/bin/env sh

command -v pdflatex && command -v bibtex
if [[ "$?" != 0 ]]; then
echo "Command 'pdflatex' or 'bibtex' not exist, both must be installed. For Ubuntu, try:"
echo "sudo apt install texlive-latex-base texlive-binaries"
echo
echo "You may also need to install additional packages like fonts, etc. For Ubuntu, try:"
echo "sudo apt-get install texlive-fonts-recommended latex-xcolor texlive-latex-extra cm-super"
exit 1;
fi

pdflatex sigma
bibtex sigma
pdflatex sigma
pdflatex sigma
rm sigma.aux
rm sigma.log
rm sigma.out
rm sigma.toc
rm sigma.log

0 comments on commit f4b4462

Please sign in to comment.