9 lines
285 B
Bash
9 lines
285 B
Bash
THIS_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
|
|
# ---------------- EDIT THIS ------------------
|
|
BMV2_PATH=$THIS_DIR/../bmv2
|
|
# e.g. BMV2_PATH=$THIS_DIR/../bmv2
|
|
P4C_BM_PATH=$THIS_DIR/../p4c-bmv2
|
|
# e.g P4C_BM_PATH=$THIS_DIR/../p4c-bm
|
|
# ---------------- END ------------------
|