File tree Expand file tree Collapse file tree 5 files changed +2
-11
lines changed
Expand file tree Collapse file tree 5 files changed +2
-11
lines changed Original file line number Diff line number Diff line change 77 swig_version :
88 description : ' Swig version to build'
99 required : false
10- default : ' 4.2 .0'
10+ default : ' 4.4 .0'
1111
1212runs :
1313 using : " composite"
Original file line number Diff line number Diff line change 2121 with :
2222 fetch-depth : 20
2323
24- - name : Set up SWIG
25- uses : ./.github/actions/setup-swig
26-
2724 - run : echo "AMICI_DIR=$(pwd)" >> $GITHUB_ENV
2825
2926 - name : Create AMICI sdist
Original file line number Diff line number Diff line change 3131 with :
3232 fetch-depth : 20
3333
34- - name : Set up SWIG
35- uses : ./.github/actions/setup-swig
36-
3734 - run : echo "AMICI_DIR=$(pwd)" >> $GITHUB_ENV
3835
3936 - name : sdist
Original file line number Diff line number Diff line change 6767 pandoc \
6868 && pip install tox
6969
70- - name : Set up SWIG
71- uses : ./.github/actions/setup-swig
72-
7370 - name : Run sphinx
7471 run : tox -e doc
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ set -euo pipefail
77SCRIPT_PATH=$( dirname " $BASH_SOURCE " )
88AMICI_PATH=$( cd " $SCRIPT_PATH /.." && pwd)
99
10- swig_version=" ${1:- " 4.3.1 " } "
10+ swig_version=" ${1:- " 4.4.0 " } "
1111SWIG_ARCHIVE=" swig-${swig_version} .tar.gz"
1212SWIG_URL=" http://downloads.sourceforge.net/project/swig/swig/swig-${swig_version} /${SWIG_ARCHIVE} "
1313SWIG_DIR=" swig-${swig_version} "
You can’t perform that action at this time.
0 commit comments