LaTeXML-Plugin-Cortex

A CorTeX worker for LaTeXML

By default connects to the KWARC dispatcher, generating e.g. the arXMLiv corpus.

Intended for use with the latest master branch of LaTeXML.

Installation under Debian

Strategy: fetch the dependencies via the package managers, then install the bleeding versions from git.

sudo apt-get install cpanminus libzmq3-dev &&
sudo apt-get build-dep latexml &&
cpanm git@github.com:brucemiller/LaTeXML.git &&
cpanm git@github.com:dginev/LaTeXML-Plugin-Cortex.git

Update workflow for worker machines

Adding a helper library to manage the local cpanm installs via cpanm local::lib, it becomes possible to use this ~/.bashrc eval+aliases for a simple update+deploy of the harness:

eval "$(perl -I$HOME/perl5/lib/perl5 -Mlocal::lib)"

alias latexmlup="killall -9 perl; killall -9 latexml_worker;\
                 cd $HOME/LaTeXML; git pull --rebase; cpanm --uninstall -f LaTeXML; cpanm .;\
                 cd $HOME/LaTeXML-Plugin-Cortex; git pull --rebase; cpanm .;\
                 nohup latexml_harness 131.188.48.209 2>&1 > cortex.log &"
                 
alias latexmlupraw="killall -9 perl; killall -9 latexml_worker;\
                 cd $HOME/LaTeXML; git pull --rebase; cpanm --uninstall -f LaTeXML; cpanm .;\
                 cd $HOME/LaTeXML-Plugin-Cortex; git pull --rebase; cpanm .;\
                 nohup latexml_harness 131.188.48.209 51695 51696 raw_tex_to_html 2>&1 > cortex.log &"

Runtime Reliability

It is recommended to setup all client machines that are accessing the main server via the open internet to have at least two separate DNS servers setup, as well as to have only an IPv4 interface enabled, with IPv6 explicitly enabled. It is a current limitation of the central CorTeX server that no robust IPv6 interface is exposed.

Contribute to the arXMLiv build system

All you need to do to contribute is do the installation and then run:

latexml_harness

That's it! Feel free to start it as a background job on worker machines, e.g. via:

nohup latexml_harness 2>&1 > cortex.log &

Thanks for contributing!