Bump version to 0.0.2. Add packaging workflow (#167)

* Add packaging and publishing workflow
* Fix package dependencies (thank you, CI!)
* Bump version to 0.0.2

.github/workflows/linting.yml

@@ -1,4 +1,4 @@
-name: CI
+name: Lint
 on:
   pull_request:
 jobs:

.github/workflows/packaging.yml

@@ -0,0 +1,36 @@
+name: Packaging
+on:
+  release:
+    types: [ created ]
+  push:
+    branches: [ 'master' ]
+  pull_request:
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-python@v2
+      - name: Install Python dependencies
+        run: |
+          python -m pip install -U pip
+          python -m pip install setuptools wheel twine build
+
+      - name: Build Python package
+        run: python -m build --sdist --wheel --outdir dist/ .
+
+      - name: Install Python package
+        run: python -m pip install dist/*.whl
+
+      - name: Test that exocc runs
+        run: exocc -o tmp --stem conv apps/x86_demo/conv/conv.py
+
+      - name: Show generated C code (manual inspection for now)
+        run: cat tmp/conv.c
+
+      # Will only run on release.
+      - name: Publish distribution to PyPI
+        if: startsWith(github.ref, 'refs/tags')
+        uses: pypa/gh-action-pypi-publish@master
+        with:
+          password: ${{ secrets.PYPI_API_TOKEN }}

setup.cfg

@@ -37,11 +37,12 @@ packages = find:
 package_dir =
     =src
 install_requires =
-    PySMT==0.9.0
-    asdl-adt==0.1.0
-    astor==0.8.1
-    numpy==1.21.2
-    yapf==0.31.0
+    PySMT>=0.9
+    asdl-adt>=0.1,<0.2
+    astor>=0.8
+    numpy>=1.21.2
+    yapf>=0.31
+    z3-solver>=4.8.12.0
 
 [options.packages.find]
 where = src

src/exo/__init__.py

@@ -5,7 +5,7 @@
 from .memory import Memory, DRAM
 from . import query_asts as QAST
 
-__version__ = '0.0.1'
+__version__ = '0.0.2'
 
 __all__ = [
     "LoopIR_pprint",

tox.ini

@@ -3,9 +3,13 @@ envlist = py39
 
 [testenv]
 deps =
+    # This list is maintained separately from requirements.txt to make it
+    # harder to accidentally forget a package dependency in setup.cfg.
+    Pillow
     pytest
     pytest-cov
-    -r{toxinidir}/requirements.txt
+    scipy
+    torch
 commands = pytest --cov=./ --cov-report=xml
 passenv =
     SDE_PATH