2011-07-07 23:53:21 +02:00
|
|
|
{ stdenv, fetchurl, bison, flex, texinfo, readline, texLive }:
|
|
|
|
|
|
|
|
let
|
|
|
|
name = "eukleides";
|
|
|
|
version = "1.5.4";
|
|
|
|
in
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "${name}-${version}";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://www.eukleides.org/files/${name}-${version}.tar.bz2";
|
|
|
|
sha256 = "0s8cyh75hdj89v6kpm3z24i48yzpkr8qf0cwxbs9ijxj1i38ki0q";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [bison flex texinfo readline texLive];
|
|
|
|
|
|
|
|
preConfigure = "sed -i 's/ginstall-info/install-info/g' doc/Makefile";
|
2012-01-18 21:16:00 +01:00
|
|
|
installPhase = "mkdir -p $out/bin ; make PREFIX=$out install";
|
2011-07-07 23:53:21 +02:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Geometry Drawing Language";
|
|
|
|
homepage = "http://www.eukleides.org/";
|
2014-06-19 06:19:00 +02:00
|
|
|
license = stdenv.lib.licenses.gpl2;
|
2011-07-07 23:53:21 +02:00
|
|
|
|
|
|
|
longDescription = ''
|
|
|
|
Eukleides is a computer language devoted to elementary plane
|
|
|
|
geometry. It aims to be a fairly comprehensive system to create
|
|
|
|
geometric figures, either static or dynamic. Eukleides allows to
|
|
|
|
handle basic types of data: numbers and strings, as well as
|
|
|
|
geometric types of data: points, vectors, sets (of points), lines,
|
|
|
|
circles and conics.
|
|
|
|
'';
|
|
|
|
|
2012-05-09 23:10:12 +02:00
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2016-05-16 22:30:20 +02:00
|
|
|
maintainers = [ stdenv.lib.maintainers.peti ];
|
2011-07-07 23:53:21 +02:00
|
|
|
};
|
|
|
|
}
|