#! /usr/bin/env bash
# Remove existing GAP 4.x install(s)
rm -rf "$SAGE_LOCAL/gap/gap-4."*
rm -rf "$SAGE_SHARE/gap"
rm -f "$SAGE_LOCAL/gap/latest"
rm -f "$SAGE_LOCAL/bin/gap"

# Remove old libgap headers
rm -rf "$SAGE_LOCAL/include/gap"
