Install Python dev tools

2020-11-24 23:03:46 +01:00
1 parent 3e1c69da21
commit cf6468a452
@@ -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