Merge pull request #6338 from DamienCassou/plm-2.5

New package PLM: Programmer's Learning Machine
This commit is contained in:
Damien Cassou 2015-02-20 09:17:27 +01:00
commit bc58f50eab
2 changed files with 39 additions and 0 deletions

View File

@ -0,0 +1,36 @@
{stdenv, fetchurl, makeWrapper, jre, gcc, valgrind}:
# gcc and valgrind are not strict dependencies, they could be made
# optional. They are here because plm can only help you learn C if you
# have them installed.
stdenv.mkDerivation rec {
major = "2";
minor = "5";
version = "${major}-${minor}";
name = "plm-${version}";
src = fetchurl {
url = "http://webloria.loria.fr/~quinson/Teaching/PLM/plm-${major}_${minor}.jar";
sha256 = "0m17cxa3nxi2cbswqvlfzp0mlfi3wrkw8ry2xhkxy6aqzm2mlgcc";
name = "${name}.jar";
};
buildInputs = [ makeWrapper jre gcc valgrind ];
phases = [ "installPhase" ];
installPhase = ''
mkdir -p "$prefix/bin"
makeWrapper ${jre}/bin/java $out/bin/plm \
--add-flags "-jar $src" \
--prefix PATH : "$PATH"
'';
meta = with stdenv.lib; {
description = "Free cross-platform programming exerciser";
Homepage = http://webloria.loria.fr/~quinson/Teaching/PLM/;
license = licenses.gpl3;
maintainers = [ maintainers.DamienCassou ];
platforms = stdenv.lib.platforms.all;
};
}

View File

@ -12850,6 +12850,9 @@ let
cmake = cmakeCurses; cmake = cmakeCurses;
}); });
### SCIENCE/PROGRAMMING
plm = callPackage ../applications/science/programming/plm { };
### SCIENCE/LOGIC ### SCIENCE/LOGIC