Skip to content

Instantly share code, notes, and snippets.

@meditans

meditans/default.nix Secret

Created June 30, 2019 16:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save meditans/67e1ef563c2e585ed3802b4a68859392 to your computer and use it in GitHub Desktop.
Save meditans/67e1ef563c2e585ed3802b4a68859392 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
default.nix
{ mkDerivation, base, containers, gomp ? null, stdenv, transformers, z3 }:
mkDerivation {
pname = "z3";
version = "408.0";
src = ./.;
isLibrary = true;
isExecutable = true;
libraryHaskellDepends = [ base containers transformers ];
librarySystemDepends = [ gomp z3 ];
homepage = "https://github.com/IagoAbal/haskell-z3";
description = "Bindings for the Z3 Theorem Prover";
license = stdenv.lib.licenses.bsd3;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment