Skip to content

🍺 Homebrew repo for the TouIST formula (and some solvers)

Notifications You must be signed in to change notification settings

touist/homebrew-touist

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

homebrew-touist

Homebrew tap for the the touist release as well as some QBF and SAT solvers that I wanted to make available more easily.

To install touist:

brew install touist/touist/touist

To push a new release:

brew bump-formula-pr touist/touist/touist --url=https://github.com/touist/touist/archive/v3.4.4.tar.gz

When the PR is green, pull the PR locally:

HOMEBREW_BINTRAY_USER=maelvalais HOMEBREW_BINTRAY_KEY=$(security find-generic-password -s bintray-api-key -a maelvalais -w) brew pull --bottle --bintray-org=touist --test-bot-user=touist https://github.com/touist/homebrew-touist/pull/16

To create a new formula:

brew create --tap touist/touist https://github.com/touist/touist/archive/v3.4.4.tar.gz

Pre-built binaries on Bintray

Bottles (= pre-built binaries) for linux (x86_64) and macOS are built automatically by Travis CI.

Build status on Travis CI

See the gist How-to-automate-build-bottles-your-tap.md for a thoughout explanation on how I did this full automation.