pkg:setup
make
bin.install "ltl2ba"