changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > infra / scripts/install-rocksdb-pack.sh

changeset 371: 7dcabf3e0edc
parent: 26539d346a67
author: Richard Westhaver <ellis@rwest.io>
date: Tue, 24 Sep 2024 15:53:24 -0400
permissions: -rwxr-xr-x
description: no link in bootstrap.sh 
     1 #!/bin/sh
     2 # the rocksdb pack only includes the shared library and headers. the
     3 # static library is shipped separately.
     4 set -e
     5 cd .stash/tmp
     6 TARGET="${1:-x86_64-unknown-linux-gnu}"
     7 curl -O "https://packy.compiler.company/dist/${TARGET}/pack/rocksdb.tar.zst"
     8 unzstd rocksdb.tar.zst
     9 tar -xvf rocksdb.tar
    10 cd rocksdb
    11 cp librocksdb.* /usr/local/lib/
    12 cp -rf include/* /usr/local/include/