diff --git a/.circleci/config.yml b/.circleci/config.yml index 3a95c06..aad4667 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -139,6 +139,7 @@ jobs: sudo apt-get update sudo apt-get install -y \ clang-12 \ + libboost-all-dev \ libgflags-dev \ llvm-12-dev - run: diff --git a/.gitmodules b/.gitmodules index ec1d1f9..4be12bd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,7 +3,7 @@ url = https://github.com/jgkamat/drgn.git [submodule "extern/folly"] path = extern/folly - url = https://github.com/jgkamat/folly.git + url = https://github.com/JakeHillion/folly.git [submodule "extern/rocksdb"] path = extern/rocksdb url = https://github.com/facebook/rocksdb.git diff --git a/extern/folly b/extern/folly index d247a1a..8db5441 160000 --- a/extern/folly +++ b/extern/folly @@ -1 +1 @@ -Subproject commit d247a1ab1891677bfc8dd4fd2ea95fb43e160455 +Subproject commit 8db54418e3ccdd97619ac8b69bb3702f82bb0f66