{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
  name = "jove-build-env";
  hardeningDisable = [ "format" ];
  buildInputs = with pkgs; [
    # Library depends
    gmp gmp.dev
    isl
    libffi libffi.dev
    libmpc
    libxcrypt
    mpfr mpfr.dev
    xz xz.dev
    zlib zlib.dev

    m4
    bison
    flex
    texinfo

    gcc
    stdenv.cc
    stdenv.cc.libc stdenv.cc.libc_dev

    # Test suite
    qemu_kvm
    parted
  ];
}