Commit 822dd9b4 authored by Anderson Torres's avatar Anderson Torres
Browse files

spigot: add a simple test

parent 5ff9d480
Loading
Loading
Loading
Loading
+7 −0
Original line number Diff line number Diff line
{ lib
, stdenv
, fetchurl
, callPackage
, cmake
, gmp
, halibut
@@ -32,6 +33,12 @@ stdenv.mkDerivation (finalAttrs: {

  strictDeps = true;

  passthru.tests = {
    approximation = callPackage ./tests/approximation.nix {
      spigot = finalAttrs.finalPackage;
    };
  };

  meta = {
    homepage = "https://www.chiark.greenend.org.uk/~sgtatham/spigot/";
    description = "A command-line exact real calculator";
+21 −0
Original line number Diff line number Diff line
{ lib
, stdenv
, spigot
}:

stdenv.mkDerivation {
  pname = "spigot-approximation";
  inherit (spigot) version;

  nativeBuildInputs = [ spigot ];

  dontInstall = true;

  buildCommand = ''
    [ "$(spigot -b2 -d32 '(pi/1-355/113)')" = "-0.00000000000000000000010001111001" ]
    [ "$(spigot -b2 -d32 '(e/1-1457/536)')" = "-0.00000000000000000001110101101011" ]
    touch $out
  '';

  meta.timeout = 10;
}