#!/bin/bash

set -xe

SCRIPT_DIR=$(dirname "${BASH_SOURCE[0]}")
CODE_PATH=$1

rm -rf "$CODE_PATH/extensions/phi"
cp -r "$SCRIPT_DIR/phi" "$CODE_PATH/extensions/"