homebrew-egison

Homebrew formula to install Egison

Installation

$ brew tap egison/egison
$ brew install egison egison-tutorial

Upgrade

$ brew tap egison/egison
$ brew upgrade egison egison-tutorial

Uninstallation

$ brew remove egison
$ brew untap egison/egison

---

For developers of this repository

How to build binary (egison)

$ git clone https://github.com/egison/egison.git
$ cd egison
$ cabal v2-update
$ cabal v2-install --only-dependencies --lib
$ cabal v2-configure
$ cabal v2-build
$ _pathsfile="$(find "./dist-newstyle" -type f -name 'Paths_egison.hs' | head -n 1)"
$ perl -i -pe 's@datadir[ ]*=[ ]*.*$@datadir = "/usr/local/lib/egison"@' "$_pathsfile"
$ cp "$_pathsfile" ./hs-src
$ cabal v2-build
$ file $(find "./dist-newstyle" -type f -name 'egison')

How to build binary (egison-tutorial)

$ git clone https://github.com/egison/egison-tutorial.git
$ TAG="$(awk '/Version:/{print $NF}' egison-tutorial.cabal )"
$ cd egison-tutorial
$ cabal v2-update
$ cabal v2-install
$ cabal v2-configure
$ cabal v2-build
$ mkdir -p bin lib/egison-tutorial
$ cp $(find dist-newstyle/ -type f  -name egison-tutorial | head -n 1) ./bin/egison-tutorial-impl
$ printf '%s\n%s\n' '#!/bin/sh' 'egison_datadir=/usr/local/lib/egison-tutorial egison-tutorial-impl "$@"' > ./bin/egison-tutorial
$ chmod +x ./bin/egison-tutorial
$ file_name="egison-tutorial_$(uname | sed 's/./\L&/')_$(uname -m)_$TAG.zip"
$ git clone --branch $TAG https://github.com/egison/egison.git
$ cp -rf ./egison/lib ./lib/egison-tutorial/
$ zip -r "$file_name" bin lib
### => get zip file
$ shasum -a 256 "$file_name"
### => get hash

Update egison-tutorial.rb

Update formula

# Edit
$ brew edit egison/egison/egison

# Check
$ brew audit --strict egison/egison/egison

# Commit & Push

$ cd /usr/local/Homebrew/Library/Taps/egison/homebrew-egison/
$ git add <something>
$ git commit -m '<something>'
$ git push origin master