diff options
Diffstat (limited to '.travis/install-flatbuffers.sh')
| -rw-r--r-- | .travis/install-flatbuffers.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.travis/install-flatbuffers.sh b/.travis/install-flatbuffers.sh new file mode 100644 index 00000000..045d78a4 --- /dev/null +++ b/.travis/install-flatbuffers.sh | |||
| @@ -0,0 +1,10 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | set -xeuo pipefail | ||
| 3 | wget "https://github.com/google/flatbuffers/archive/v1.8.0.tar.gz" /tmp/flatbuffers.tar.gz | ||
| 4 | cd /tmp | ||
| 5 | tar xvfa /tmp/flatbuffers.tar.gz | ||
| 6 | cd flatbuffers-1.8.0 | ||
| 7 | mkdir build | ||
| 8 | cd build | ||
| 9 | cmake .. -G Ninja -DCMAKE_INSTALL_PREFIX=/usr | ||
| 10 | ninja && sudo ninja install | ||