From e182ddf0089cb4c04075740afb75c1acd96353f9 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 5 Jan 2016 22:36:30 +0100
Subject: coqPackages.coquelicot: init at 2.1.1

Coquelicot is a Coq library for Reals.

Homepage: http://coquelicot.saclay.inria.fr/
---
 .../development/coq-modules/coquelicot/default.nix | 25 ++++++++++++++++++++++
 pkgs/top-level/all-packages.nix                    |  4 ++++
 2 files changed, 29 insertions(+)
 create mode 100644 pkgs/development/coq-modules/coquelicot/default.nix

(limited to 'pkgs')

diff --git a/pkgs/development/coq-modules/coquelicot/default.nix b/pkgs/development/coq-modules/coquelicot/default.nix
new file mode 100644
index 000000000000..a57686177c4e
--- /dev/null
+++ b/pkgs/development/coq-modules/coquelicot/default.nix
@@ -0,0 +1,25 @@
+{ stdenv, fetchurl, which, coq, ssreflect }:
+
+stdenv.mkDerivation {
+  name = "coq${coq.coq-version}-coquelicot-2.1.1";
+  src = fetchurl {
+    url = https://gforge.inria.fr/frs/download.php/file/35429/coquelicot-2.1.1.tar.gz;
+    sha256 = "1wxds73h26q03r2xiw8shplh97rsbim2i2s0r7af0fa490bp44km";
+  };
+
+  nativeBuildInputs = [ which ];
+  buildInputs = [ coq ];
+  propagatedBuildInputs = [ ssreflect ];
+
+  configureFlags = "--libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Coquelicot";
+  buildPhase = "./remake";
+  installPhase = "./remake install";
+
+  meta = {
+    homepage = http://coquelicot.saclay.inria.fr/;
+    description = "A Coq library for Reals";
+    license = stdenv.lib.licenses.lgpl3;
+    maintainers = [ stdenv.lib.maintainers.vbgl ];
+    inherit (coq.meta) platforms;
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 0aab338409b2..b6f83d5d3de1 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -14993,6 +14993,8 @@ let
 
     coqeal = callPackage ../development/coq-modules/coqeal {};
 
+    coquelicot = callPackage ../development/coq-modules/coquelicot {};
+
     domains = callPackage ../development/coq-modules/domains {};
 
     fiat = callPackage ../development/coq-modules/fiat {};
@@ -15027,6 +15029,8 @@ let
 
     coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
 
+    coquelicot = callPackage ../development/coq-modules/coquelicot {};
+
     flocq = callPackage ../development/coq-modules/flocq {};
 
     mathcomp = callPackage ../development/coq-modules/mathcomp { };
-- 
cgit 1.4.1