Revision 1491675ea91be2696eb9b3a0574c91ea62df075d authored by Grégoire Henry on 14 February 2019, 10:35:22 UTC, committed by Pierre Boutillier on 16 April 2019, 15:38:33 UTC
1 parent af5ed9c
opam-remove.sh
#! /bin/sh
set -e
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"
opams=$(find "$src_dir" -name \*.opam)
packages=
for opam in $opams; do
dir=$(dirname $opam)
file=$(basename $opam)
package=${file%.opam}
packages="$packages $package"
done
installed=$(opam list --short --installed --pinned $packages)
opam remove $installed
Computing file changes ...