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

pkgs/development/compilers/pakcs: minor cosmetic changes

Browse Source 
svn path=/nixpkgs/trunk/; revision=29354
This commit is contained in:
Peter Simons 2011-09-19 16:38:43 +00:00
parent a5bbfc5786
commit c9a0666da7
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/compilers/pakcs/default.nix
View File

@ -1,9 +1,7 @@
{ stdenv, fetchurl, ghc, swiProlog, syb, mtl, makeWrapper, rlwrap, tk }: { stdenv, fetchurl, ghc, swiProlog, syb, mtl, makeWrapper, rlwrap, tk }:
stdenv.mkDerivation rec { stdenv.mkDerivation {
pname = "pakcs"; name = "pakcs-1.9.2";
version = "1.9.2";
name = "${pname}-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.informatik.uni-kiel.de/~pakcs/download/pakcs_src.tar.gz"; url = "http://www.informatik.uni-kiel.de/~pakcs/download/pakcs_src.tar.gz";
@ -44,7 +42,7 @@ stdenv.mkDerivation rec {
(cd $out/curry2prolog/ ; make) (cd $out/curry2prolog/ ; make)
ensureDir $out/share/emacs/site-lisp/curry-pakcs ensureDir $out/share/emacs/site-lisp/curry-pakcs
for e in $out/tools/emacs/*.el ; do for e in "$out/tools/emacs/"*.el ; do
ln -s $out/tools/emacs/$e $out/share/emacs/site-lisp/curry-pakcs/; ln -s $out/tools/emacs/$e $out/share/emacs/site-lisp/curry-pakcs/;
done done
@ -60,7 +58,7 @@ stdenv.mkDerivation rec {
''; '';
meta = { meta = {
description = "PAKCS is an implementation of the multi-paradigm declarative language Curry."; description = "an implementation of the multi-paradigm declarative language Curry";
longDescription = '' longDescription = ''
PAKCS is an implementation of the multi-paradigm declarative language PAKCS is an implementation of the multi-paradigm declarative language
Curry jointly developed by the Portland State University, the Aachen Curry jointly developed by the Portland State University, the Aachen
@ -75,7 +73,7 @@ stdenv.mkDerivation rec {
homepage = http://www.informatik.uni-kiel.de/~pakcs/; homepage = http://www.informatik.uni-kiel.de/~pakcs/;
license = stdenv.lib.licenses.bsd3; license = stdenv.lib.licenses.bsd3;
maintainers = [ stdenv.lib.maintainers.kkallio ]; maintainers = [ stdenv.lib.maintainers.kkallio stdenv.lib.maintainers.simons ];
platforms = stdenv.lib.platforms.linux; platforms = stdenv.lib.platforms.linux;
}; };
} }