clean: rm -f tags sn c . name: github-release edit -s $(cat .git-token) -u vmchale -r project-init -n "$(madlang run ~/programming/madlang/releases/releases.mad)" -t "$(grep -P -o '\d+\.\d+\.\d+' Cargo.toml | head -n1)" # cargo run -- git vmchale/ats-haskell project # cd project && atspkg build # rm -rf project/ test: @tomlcheck --file rustfmt.toml @tomlcheck --file Cargo.toml @yamllint .travis.yml @yamllint appveyor.yml rm -rf project/ cargo run -- git vmchale/haskell-ats project cd project && cabal new-build rm -rf project/ cargo run -- new miso project rm -rf project/ cargo run -- new haskell project cd project/ && cabal new-build && hlint . rm -rf project/ cargo run -- new idris project cd ~/programming/idris/depends/specdris/ && idris --install specdris.ipkg cd project/ && idris --testpkg test.ipkg rm -rf project/ cargo run -- new elm project cargo run -- new rust project cd project/ && cargo build --benches rm -rf project/ cargo run -- new mad project cd project && madlang run src/project.mad rm -rf project cargo run -- new ats project cd project && atspkg build target/project && atspkg check pkg.dhall rm -rf project cargo run -- git vmchale/madlang-miso project rm -rf project cargo run -- git vmchale/dhall-template project rm -rf project manpages: pandoc man/MANPAGE.md -s -t man -o man/pi.1 diff: git diff master origin/master patch: @rm -f tags cargo release --no-dev-version patch minor: @rm -f tags cargo release -l minor --no-dev-version