From c832eca9b56eb01e826d3fa02f4cc387b76d03b6 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Sat, 5 Nov 2022 14:37:44 +0000
Subject: [PATCH] tasty-smallcheck: init at 0.8.2
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/tasty-smallcheck.nix | 36 ++++++++++++++++++++++++++++++++++++
3 files changed, 39 insertions(+)
create mode 100644 pkgs/tasty-smallcheck.nix
diff --git a/manifest.dhall b/manifest.dhall
index fb4cd69f..55797128 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -590,6 +590,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "tasty-lua" "1.0.2"
, callHackage "tasty-hslua" "1.0.2"
, callHackage "tasty-golden" "2.3.5"
+ , callHackage "tasty-smallcheck" "0.8.2"
, callHackage "tasty-quickcheck" "0.10.2"
, callHackage "tasty-wai" "0.1.2.0"
, callHackage "test-framework" "0.8.2.0"
diff --git a/overlay.nix b/overlay.nix
index c8042ed2..46be0f85 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -813,6 +813,8 @@ final: prev: with pkgs.haskell.lib; {
tasty-quickcheck = prev.callPackage (./pkgs/tasty-quickcheck.nix) { };
+ tasty-smallcheck = prev.callPackage (./pkgs/tasty-smallcheck.nix) { };
+
tasty-wai = prev.callPackage (./pkgs/tasty-wai.nix) { };
test-framework = prev.callPackage (./pkgs/test-framework.nix) { };
diff --git a/pkgs/tasty-smallcheck.nix b/pkgs/tasty-smallcheck.nix
new file mode 100644
index 00000000..8ad35058
--- /dev/null
+++ b/pkgs/tasty-smallcheck.nix
@@ -0,0 +1,36 @@
+{ mkDerivation
+, base
+, lib
+, optparse-applicative
+, smallcheck
+, tagged
+, tasty
+}:
+mkDerivation {
+ pname = "tasty-smallcheck";
+ version = "0.8.2";
+ sha256 = "d5cbd7a2a7100e4afd3aaac01a8fa1b7814fb074d93aeff1b51240b687e54f33";
+ revision = "1";
+ editedCabalFile = "0033ha2w9rzc1rxpzh1dkfdrn256i5lvb41pqbdh2i6kli0v5vmh";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [
+ base
+ optparse-applicative
+ smallcheck
+ tagged
+ tasty
+ ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/feuerbach/tasty";
+ description = "SmallCheck support for the Tasty test framework";
+ license = lib.licenses.mit;
+ broken = false;
+}
--
GitLab