#!/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" --copy
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.0
cabal unpack dhall
cd dhall-1.5.0
hr module . "Dhall.Import" "Dhall.Dependencies"
cabal new-build
cd ../
rm -rf dhall-1.5.0
rm -rf haskell-src-exts-1.19.1
cabal unpack haskell-src-exts
cd haskell-src-exts-1.19.1
hr module . "Language.Haskell.Exts.Build" "Language.Haskell.Exts.Rekt"
cabal new-build
cd ../
rm -rf haskell-src-exts-1.19.1