packages:
rm -rf lens-* idris-lens dhall-*
cabal unpack lens
cd lens-4.15.4 && hr module . "Control.Lens.Internal" "Control.Lens.Mine" --copy && cabal new-build
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
rm -rf idris-lens
cabal unpack dhall
cd dhall-1.7.0 && hr module . "Dhall.Import" "Dhall.Dependencies" && cabal new-build
rm -rf dhall-1.7.0
git clone https://github.com/debois/elm-mdl
cd elm-mdl && hr elm . Material.Options.Internal Material.Options.Mod && elm-make --yes
rm -rf elm-mdl/
test:
rm -rf nothing
pi new idris nothing
cargo run -- idris nothing "Nothing.Lib" "NewLib.Nested"
cd nothing && idris --build nothing.ipkg
rm -rf test-nothing
pi new haskell test-nothing
cargo run -- module test-nothing "Lib" "NewLib.Nested" --copy
cd test-nothing && stack test
rm -rf test-nothing nothing
pi new elm nothing
cargo run -- elm nothing "Update" "Update.Nested.Mod"
cd nothing && elm-make src/main.elm --yes
rm -rf nothing/
patch:
cargo release -l patch --no-dev-version
minor:
cargo release -l minor --no-dev-version