diff options
author | Ludovic Courtès <ludo@gnu.org> | 2010-06-06 22:39:28 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2010-06-06 22:39:28 +0000 |
commit | 82c134950330b44b30195a01113a5fdbe6b66e24 (patch) | |
tree | 568a61f1c4caeee6616860975f8c54d608135e6a /pkgs | |
parent | 43790aa2dca88dd964f8a6d99d14e5a9445671e9 (diff) | |
download | nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar.gz nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar.bz2 nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar.lz nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar.xz nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.tar.zst nixlib-82c134950330b44b30195a01113a5fdbe6b66e24.zip |
Proof General: Build and install via the makefile.
svn path=/nixpkgs/trunk/; revision=22162
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/default.nix | 30 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 18 insertions, 14 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix index fe02132698a3..d8316886c34e 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, emacs, perl }: +{ stdenv, fetchurl, emacs, texinfo, texLive, perl, which, automake }: let pname = "ProofGeneral"; @@ -15,28 +15,32 @@ stdenv.mkDerivation { sha256 = "ae430590d6763618df50a662a37f0627d3c3c8f31372f6f0bb2116b738fc92d8"; }; - buildInputs = [ emacs perl ]; - sourceRoot = name; - postPatch = "EMACS=emacs make clean"; + buildInputs = [ emacs texinfo texLive perl which ]; + + patchPhase = + '' sed -i "Makefile" \ + -e "s|^\(\(DEST_\)\?PREFIX\)=.*$|\1=$out|g ; \ + s|/sbin/install-info|install-info|g" - # Skip building ... - buildPhase = "true"; + sed -i "bin/proofgeneral" -e's/which/type -p/g' + ''; - installPhase = '' - DEST=$out/share/emacs/site-lisp/ProofGeneral - ensureDir $DEST - cp -a * $DEST - ''; + installPhase = + # Copy `texinfo.tex' in the right place so that `texi2pdf' works. + '' cp -v "${automake}/share/"automake-*/texinfo.tex doc + make install install-doc + ''; meta = { - description = "A generic front-end for proof assistants"; + description = "Proof General, an Emacs front-end for proof assistants"; longDescription = '' Proof General is a generic front-end for proof assistants (also known as interactive theorem provers), based on the customizable text editor Emacs. ''; homepage = website; - license = "GPL"; + license = "GPLv2+"; + platforms = stdenv.lib.platforms.gnu; # arbitrary choice }; } diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 0be5a180361a..62e2adea7662 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7665,7 +7665,7 @@ let }; proofgeneral = import ../applications/editors/emacs-modes/proofgeneral { - inherit stdenv fetchurl emacs perl; + inherit stdenv fetchurl emacs texinfo texLive perl which automake; }; quack = import ../applications/editors/emacs-modes/quack { |