#!/usr/bin/env bash

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

rm -rf "$SAGE_SHARE"/reflexive_polytopes
mkdir -p "$SAGE_SHARE"
mv src "$SAGE_SHARE"/reflexive_polytopes
