Revision 843ee3e0ff197e366fa8d5bdd22e53978d739f84 authored by Anish Tondwalkar on 31 May 2019, 08:20:30 UTC, committed by Anish Tondwalkar on 31 May 2019, 08:20:30 UTC
1 parent e06d483
Raw File
default.nix
{ fetchgitLocal }:
{ mkDerivation, ansi-terminal, array, ascii-progress, async
, attoparsec, base, bifunctors, binary, boxes, bytestring, cereal
, cmdargs, containers, deepseq, directory, filemanip, filepath
, ghc-prim, hashable, intern, located-base, mtl, parallel, parsec, pretty
, process, stdenv, syb, tasty, tasty-hunit, tasty-rerun, text
, text-format, transformers, unordered-containers, z3
, dotgen, fgl, fgl-visualize
}:
mkDerivation {
  pname = "liquid-fixpoint";
  version = "9.9.9.9";
  src = fetchgitLocal ./.;
  isLibrary = true;
  isExecutable = true;
  libraryHaskellDepends = [
    ansi-terminal array ascii-progress async attoparsec base bifunctors
    binary boxes bytestring cereal cmdargs containers deepseq directory
    filemanip filepath ghc-prim hashable intern located-base mtl parallel parsec
    pretty process syb text text-format transformers
    unordered-containers
    dotgen fgl fgl-visualize
  ];
  executableHaskellDepends = [ base ];
  testHaskellDepends = [
    base directory filepath process tasty tasty-hunit tasty-rerun text
  ];
  testSystemDepends = [ z3 ];
  homepage = "https://github.com/ucsd-progsys/liquid-fixpoint";
  description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
  license = stdenv.lib.licenses.bsd3;
}
back to top