Added by Kostas Papadimitriou about 10 years ago
No need for make.sh, build takes place in setup.py
View differences