#!/usr/bin/env ion
rm -rf lens-4.15.4
cabal unpack lens
cd lens-4.15.4
hr module . "Control.Lens.Internal" "Control.Lens.Mine"
cabal new-build
cd ../
rm -rf lens-4.15.4 idris-lens
git clone https://github.com/HuwCampbell/idris-lens.git
cd idris-lens
hr idris . Control.Lens.Maths Control.Lens.Math
idris --build lens.ipkg
cd ../
rm -rf idris-lens
rm -rf dhall-1.5.1
cabal unpack dhall
cd dhall-1.5.1
hr module . "Dhall.Import" "Dhall.Dependencies"
cabal new-build
cd ../
rm -rf dhall-1.5.1
