2019-01-29 05:42:30 +03:00
|
|
|
#!/bin/bash
|
2020-05-14 06:23:36 +03:00
|
|
|
|
|
|
|
# This script builds and installs the
|
|
|
|
# webextension instrumentation.
|
|
|
|
|
2019-01-29 05:42:30 +03:00
|
|
|
set -e
|
|
|
|
|
2020-05-14 06:23:36 +03:00
|
|
|
# Make conda available to shell script
|
|
|
|
eval "$(conda shell.bash hook)"
|
|
|
|
conda activate openwpm
|
|
|
|
|
2022-09-23 23:08:18 +03:00
|
|
|
pushd Extension
|
2023-01-31 21:22:39 +03:00
|
|
|
npm ci
|
2020-05-14 06:23:36 +03:00
|
|
|
popd
|
2019-06-27 16:46:53 +03:00
|
|
|
|
2022-09-23 23:08:18 +03:00
|
|
|
echo "Success: Extension/openwpm.xpi has been built"
|