#!/bin/sh
fetch -q -o /tmp/p.tar.gz https://files.pythonhosted.org/packages/source/p/pycosat/pycosat-0.6.6.tar.gz && tar -xzf /tmp/p.tar.gz -C /tmp && cd /tmp/pycosat-0.6.6 && python3 setup.py build -q && find build -name '*.so' && python3 setup.py install --user -q && python3 -c 'import pycosat;print(pycosat.__version__)'