{ pkgs ? import <nixpkgs> {} }:

pkgs.mkShell {
  buildInputs = with pkgs; [
    pkgconfig cairo pango z3

    # keep this line if you use bash
    pkgs.bashInteractive
  ];
}