pomdp-solve kept in ci but not as submodule

h2r · Mar 7, 2024 · 524da69 · 524da69
1 parent 9d8f209
commit 524da69
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -27,6 +27,7 @@ jobs:
         # build pomdp-solve
         sudo apt-get update
         sudo apt-get install -y autoconf automake libtool
+        git clone https://github.com/cassandra/pomdp-solve.git thirdparty/
         cd thirdparty/pomdp-solve
         ./configure
         make

diff --git a/.gitmodules b/.gitmodules
diff --git a/thirdparty/pomdp-solve b/thirdparty/pomdp-solve