#!/usr/bin/env ion
rm -rf lens-* idris-lens dhall-*
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 &&
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 &&
cabal unpack dhall &&
cd dhall-1.6.0 &&
hr module . "Dhall.Import" "Dhall.Dependencies" &&
cabal new-build &&
cd ../ &&
rm -rf dhall-1.6.0 &&
git clone https://github.com/debois/elm-mdl &&
cd elm-mdl &&
hr elm . Material.Options.Internal Material.Options.Mod &&
elm-make --yes &&
cd ../ &&
rm -rf elm-mdl/
