diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-24 23:03:46 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-24 23:03:46 +0100 |
| commit | cf6468a45283bdf85df13a78ef2a3082572972d9 (patch) | |
| tree | 5e33c4debac43a28780fda26a796e222502346d2 | |
| parent | 3e1c69da2138ad2d494e8ff0c30003f1dfbfb9aa (diff) | |
Install Python dev tools
| -rw-r--r-- | .github/workflows/build-windows-package.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build-windows-package.yml b/.github/workflows/build-windows-package.yml index 2bd5051c3..1e6fd8722 100644 --- a/.github/workflows/build-windows-package.yml +++ b/.github/workflows/build-windows-package.yml @@ -67,6 +67,7 @@ jobs: shell: msys2 {0} run: | cd src/runtime/python + pip install python-dev-tools python setup.py build python setup.py install cp build/*/pgf.so /c/tmp-dist |