diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-25 20:47:47 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-25 20:47:47 +0100 |
| commit | 0ed6b726a2c9a2365fadc05a75177c569469b4fd (patch) | |
| tree | db6714bd1c7d946209bceefad0f8985fd61417e0 /.github | |
| parent | 88252cb107aefc6fadce063c4dd3e80b73061c09 (diff) | |
Add lib/include envvars for Python build
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-windows-package.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/build-windows-package.yml b/.github/workflows/build-windows-package.yml index 5360d2b9c..e56184840 100644 --- a/.github/workflows/build-windows-package.yml +++ b/.github/workflows/build-windows-package.yml @@ -34,6 +34,7 @@ jobs: - name: Install build tools run: | cabal install alex happy + pip install python-dev-tools - name: Prepare dist folder shell: msys2 {0} @@ -64,10 +65,11 @@ jobs: cp jpgf.jar /c/tmp-dist - name: Build Python bindings - # shell: msys2 {0} + env: + EXTRA_INCLUDE_DIRS: /usr/local/include + EXTRA_LIB_DIRS: /usr/local/lib 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 |