install opengjk

This commit is contained in:
Mattia Montanari
2023-02-14 17:21:11 +01:00
parent 0c489734b7
commit deba3c2d17

View File

@@ -31,6 +31,7 @@ jobs:
- run: apt-get update && apt-get install gcc cmake -y - run: apt-get update && apt-get install gcc cmake -y
- run: cmake -E make_directory build - run: cmake -E make_directory build
- run: cmake -E chdir build cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_MONO=ON .. - run: cmake -E chdir build cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_MONO=ON ..
- run: cmake --install build
- run: cd examples/cs/ && mcs -out:main.exe main.cs && mono main.exe - run: cd examples/cs/ && mcs -out:main.exe main.cs && mono main.exe
GO: GO: