From deba3c2d17dad1d849dc351c77aefe08a672a868 Mon Sep 17 00:00:00 2001 From: Mattia Montanari Date: Tue, 14 Feb 2023 17:21:11 +0100 Subject: [PATCH] install opengjk --- .github/workflows/github-opengjk-examples.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/github-opengjk-examples.yml b/.github/workflows/github-opengjk-examples.yml index 471e1fb..9a75e83 100644 --- a/.github/workflows/github-opengjk-examples.yml +++ b/.github/workflows/github-opengjk-examples.yml @@ -31,6 +31,7 @@ jobs: - run: apt-get update && apt-get install gcc cmake -y - run: cmake -E make_directory build - 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 GO: