if [ "$SAGE_SHARE" = "" ]; then
   echo "SAGE_SHARE undefined ... exiting";
   echo "Maybe run 'sage -sh'?"
   exit 1
fi

POLYTOPES_DIR="$SAGE_SHARE"/reflexive_polytopes
mkdir -p "$POLYTOPES_DIR"
cp -r -p src/*  "$POLYTOPES_DIR"/
