From 4f6c18925dcd3b036f41eb2321a7921cfddcce87 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Thu, 26 Aug 2010 04:34:20 +0000
Subject: [PATCH] Fix installation for updated E prover release

svn path=/nixpkgs/trunk/; revision=23435
---
 pkgs/applications/science/logic/eProver/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix
index 9aca82295ba8..138995036a63 100644
--- a/pkgs/applications/science/logic/eProver/default.nix
+++ b/pkgs/applications/science/logic/eProver/default.nix
@@ -18,7 +18,7 @@ stdenv.mkDerivation {
   # HOME=. allows to build missing TeX formats
   installPhase = ''
     mkdir -p $out/bin
-    make install-exec
+    make install
     HOME=. make documentation
     mkdir -p $out/share/doc
     cp -r DOC $out/share/doc/EProver