# Variables for building Docker entities
ORG=onap
PROJECT=aaf
DOCKER_REPOSITORY=nexus3.onap.org:10003
VERSION=2.1.2-SNAPSHOT
CONF_ROOT_DIR=/opt/app/osaaf

# Local Env info
HOSTNAME=
HOST_IP=
CASS_HOST=<cass FQDN>:<cass IP>

# AAF Machine info
aaf_env=DEV
aaf_register_as=$HOSTNAME
cadi_latitude=
cadi_longitude=
