From 4bbb72da2f7104328854df8862e40027d1513fb8 Mon Sep 17 00:00:00 2001
From: Karn Kallio <tierpluspluslists@gmail.com>
Date: Sat, 25 Dec 2010 18:06:36 +0000
Subject: [PATCH] Add tex macro lkproof for making proof figures.

svn path=/nixpkgs/trunk/; revision=25277
---
 pkgs/misc/tex/lkproof/default.nix | 17 +++++++++++++++++
 pkgs/top-level/all-packages.nix   |  2 ++
 2 files changed, 19 insertions(+)
 create mode 100644 pkgs/misc/tex/lkproof/default.nix

diff --git a/pkgs/misc/tex/lkproof/default.nix b/pkgs/misc/tex/lkproof/default.nix
new file mode 100644
index 00000000000..2d3a1e5f19c
--- /dev/null
+++ b/pkgs/misc/tex/lkproof/default.nix
@@ -0,0 +1,17 @@
+{stdenv, fetchurl, unzip}:
+
+stdenv.mkDerivation {
+  name = "lkproof-3.1";
+  
+  src = fetchurl {
+    url = http://mirror.ctan.org/macros/latex/contrib/lkproof.zip;
+    sha256 = "1qjkjhpc4rm62qxn18r83zdlwnj1wvnkcpdiqlv7w4bakh0gvjly";
+  };
+  
+  buildInputs = [ unzip ];
+
+  installPhase = "
+    ensureDir $out/share/texmf-nix/tex/generic/lkproof
+    cp -prd *.sty $out/share/texmf-nix/tex/generic/lkproof
+  ";
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 6d1611b1925..7a9b13a9111 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -7270,6 +7270,8 @@ let
     tex = tetex;
   };
 
+  lkproof = callPackage ../misc/tex/lkproof { };
+
   mysqlWorkbench = newScope gnome ../applications/misc/mysql-workbench {
     lua = lua5;
     inherit (pythonPackages) pexpect paramiko;