diff options
Diffstat (limited to '.travis/install-flatbuffers.sh')
-rwxr-xr-x | .travis/install-flatbuffers.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.travis/install-flatbuffers.sh b/.travis/install-flatbuffers.sh new file mode 100755 index 00000000..9a030084 --- /dev/null +++ b/.travis/install-flatbuffers.sh | |||
@@ -0,0 +1,14 @@ | |||
1 | #!/bin/bash | ||
2 | set -xeuo pipefail | ||
3 | wget "https://github.com/google/flatbuffers/archive/v1.8.0.tar.gz" -O /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 -DFLATBUFFERS_BUILD_SHAREDLIB=ON | ||
10 | ninja | ||
11 | sudo ninja install | ||
12 | sudo cp flatc /usr/bin | ||
13 | cd | ||
14 | rm -rf /tmp/flatbuffers.tar.gz /tmp/flatbuffers-1.8.0 | ||