pkgs/applications/science/math/eukleides/default.nix

   1 { lib, stdenv, fetchurl, bison, flex, makeWrapper, texinfo4, getopt, readline, texlive }:
   2
   3 stdenv.mkDerivation (finalAttrs: rec {
   4   pname = "eukleides";
   5   version = "1.5.4";
   6
   7   src = fetchurl {
   8     url = "http://www.eukleides.org/files/${pname}-${version}.tar.bz2";
   9     sha256 = "0s8cyh75hdj89v6kpm3z24i48yzpkr8qf0cwxbs9ijxj1i38ki0q";
  10   };
  11
  12   patches = [
  13     # use $CC instead of hardcoded gcc
  14     ./use-CC.patch
  15     # allow PostScript transparency in epstopdf call
  16     ./gs-allowpstransparency.patch
  17   ];
  18
  19   nativeBuildInputs = [ bison flex texinfo4 makeWrapper ];
  20
  21   buildInputs = [ getopt readline ];
  22
  23   preConfigure = ''
  24     substituteInPlace Makefile \
  25       --replace mktexlsr true
  26
  27     substituteInPlace doc/Makefile \
  28       --replace ginstall-info install-info
  29
  30     substituteInPlace Config \
  31       --replace '/usr/local' "$out" \
  32       --replace '$(SHARE_DIR)/texmf' "$tex"
  33   '';
  34
  35   # Workaround build failure on -fno-common toolchains like upstream
  36   # gcc-10. Otherwise build fails as:
  37   #   ld: eukleides_build/triangle.o:(.bss+0x28): multiple definition of `A';
  38   #     eukleides_build/quadrilateral.o:(.bss+0x18): first defined here
  39   env.NIX_CFLAGS_COMPILE = "-fcommon";
  40
  41   preInstall = ''
  42     mkdir -p $out/bin
  43   '';
  44
  45   postInstall = ''
  46     wrapProgram $out/bin/euktoeps \
  47       --prefix PATH : ${lib.makeBinPath [ getopt ]}
  48   '';
  49
  50   outputs = [ "out" "doc" "tex" ];
  51
  52   passthru = {
  53     tlType = "run";
  54     # packages needed by euktoeps, euktopdf and eukleides.sty
  55     tlDeps = with texlive; [ collection-pstricks epstopdf iftex moreverb ];
  56     pkgs = [ finalAttrs.finalPackage.tex ];
  57   };
  58
  59   meta = {
  60     description = "Geometry Drawing Language";
  61     homepage = "http://www.eukleides.org/";
  62     license = lib.licenses.gpl3Plus;
  63
  64     longDescription = ''
  65       Eukleides is a computer language devoted to elementary plane
  66       geometry. It aims to be a fairly comprehensive system to create
  67       geometric figures, either static or dynamic. Eukleides allows to
  68       handle basic types of data: numbers and strings, as well as
  69       geometric types of data: points, vectors, sets (of points), lines,
  70       circles and conics.
  71     '';
  72
  73     platforms = lib.platforms.unix;
  74   };
  75 })