Skip to content

Instantly share code, notes, and snippets.

@meditans
Created March 4, 2019 23:27
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/eb8693b21c753c9d605857b5e0256181 to your computer and use it in GitHub Desktop.
Save meditans/eb8693b21c753c9d605857b5e0256181 to your computer and use it in GitHub Desktop.
{ mkDerivation, base, containers, gomp ? null, hspec, QuickCheck, stdenv
, transformers, z3
}:
mkDerivation {
pname = "z3";
version = "4.3";
src = ./.;
isLibrary = true;
isExecutable = true;
libraryHaskellDepends = [ base containers transformers ];
librarySystemDepends = [ gomp z3 ];
testHaskellDepends = [ base hspec QuickCheck ];
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