I've tagged labelled it internally as 0.8.dev. There are bound to be a few things we'll fix over the next few days. In the meantime, here's how to get started with it.
1) Clone the crosstex repository.
2) Install python-ply, python-argparse and python-importlib. Note that the last two are shipped with python 2.7+.
3) Run python setup.py install in the repository (possibly using sudo) to install CrossTeX.
4) Clone the crosstex-dbgen repository.
5) mkdir ~/.crosstex
6) Run cp -R xtx-todo/*.xtx xtx/*.xtx ~/.crosstex from the repository.
After NSDI, we'll tag a release, possibly add back a few missing features, and then make it so that you can easily run easy_install crosstex to get this version.
I've tagged labelled it internally as 0.8.dev. There are bound to be a few things we'll fix over the next few days. In the meantime, here's how to get started with it.
1) Clone the
crosstexrepository. 2) Installpython-ply,python-argparseandpython-importlib. Note that the last two are shipped with python 2.7+. 3) Runpython setup.py installin the repository (possibly usingsudo) to install CrossTeX. 4) Clone thecrosstex-dbgenrepository. 5)mkdir ~/.crosstex6) Runcp -R xtx-todo/*.xtx xtx/*.xtx ~/.crosstexfrom the repository.After NSDI, we'll tag a release, possibly add back a few missing features, and then make it so that you can easily run
easy_install crosstexto get this version.