public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.simple-io: init at 0.2

Browse Source 
Purely functional IO for Coq.

homepage: https://github.com/Lysxia/coq-simple-io
This commit is contained in:
Vincent Laporte 2018-12-03 14:45:03 +00:00 committed by Vincent Laporte
parent e21a5e6035
commit 655231a612
2 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkgs/development/coq-modules/simple-io/default.nix Normal file
View File

@ -0,0 +1,32 @@
{ stdenv, fetchFromGitHub, coq }:
stdenv.mkDerivation rec {
version = "0.2";
name = "coq${coq.coq-version}-simple-io-${version}";
src = fetchFromGitHub {
owner = "Lysxia";
repo = "coq-simple-io";
rev = version;
sha256 = "1sbcf57gn134risiicpbxsf4kbzdq7klfn4vn8525kahlr82l65f";
};
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml ocamlbuild ]);
doCheck = !stdenv.lib.versionAtLeast coq.coq-version "8.9";
checkTarget = "test";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
description = "Purely functional IO for Coq";
inherit (src.meta) homepage;
inherit (coq.meta) platforms;
license = stdenv.lib.licenses.mit;
maintainers = [ stdenv.lib.maintainers.vbgl ];
};
passthru = {
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6";
};
}

1
pkgs/top-level/coq-packages.nix
View File

@ -36,6 +36,7 @@ let
multinomials = callPackage ../development/coq-modules/multinomials {}; multinomials = callPackage ../development/coq-modules/multinomials {};
paco = callPackage ../development/coq-modules/paco {}; paco = callPackage ../development/coq-modules/paco {};
QuickChick = callPackage ../development/coq-modules/QuickChick {}; QuickChick = callPackage ../development/coq-modules/QuickChick {};
simple-io = callPackage ../development/coq-modules/simple-io { };
ssreflect = callPackage ../development/coq-modules/ssreflect { }; ssreflect = callPackage ../development/coq-modules/ssreflect { };
stdpp = callPackage ../development/coq-modules/stdpp { }; stdpp = callPackage ../development/coq-modules/stdpp { };
StructTact = callPackage ../development/coq-modules/StructTact {}; StructTact = callPackage ../development/coq-modules/StructTact {};