File tree 2 files changed +13
-0
lines changed
2 files changed +13
-0
lines changed Original file line number Diff line number Diff line change 46
46
- name : Build DART
47
47
if : steps.cache-dart.outputs.cache-hit != 'true'
48
48
run : ${{github.workspace}}/ci/install_dart_latest.sh
49
+ - name : Build pybind11
50
+ if : steps.cache-dart.outputs.cache-hit == 'true'
51
+ run : ${{github.workspace}}/ci/install_pybind11.sh
49
52
- name : Build Magnum
50
53
run : if [ "$MAGNUM_GUI" = "ON" ]; then ${{github.workspace}}/ci/install_magnum.sh ; fi
51
54
- name : Build robot_dart
Original file line number Diff line number Diff line change
1
+ # Build pybind11 if needed; for clang we need at least v2.5.0
2
+ if [ " $COMPILER " = " clang" ]; then
3
+ git clone https://github.com/pybind/pybind11 -b ' v2.5.0' --single-branch --depth 1
4
+ cd pybind11
5
+ mkdir build && cd build
6
+ cmake .. -DCMAKE_BUILD_TYPE=Release -DPYBIND11_TEST=OFF
7
+ make -j4
8
+ sudo make install
9
+ cd ../..
10
+ fi
You can’t perform that action at this time.
0 commit comments