pkgs/development/compilers/yap/default.nix

   1 { lib, stdenv, fetchurl, readline, gmp, zlib }:
   2
   3 stdenv.mkDerivation rec {
   4   version = "6.3.3";
   5   pname = "yap";
   6
   7   src = fetchurl {
   8     url = "https://www.dcc.fc.up.pt/~vsc/Yap/${pname}-${version}.tar.gz";
   9     sha256 = "0y7sjwimadqsvgx9daz28c9mxcx9n1znxklih9xg16k6n54v9qxf";
  10   };
  11
  12   buildInputs = [ readline gmp zlib ];
  13
  14   configureFlags = [ "--enable-tabling=yes" ];
  15
  16   NIX_CFLAGS_COMPILE = "-fpermissive";
  17
  18   meta = {
  19     homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/";
  20     description = "A ISO-compatible high-performance Prolog compiler";
  21     license = lib.licenses.artistic2;
  22
  23     maintainers = [ lib.maintainers.peti ];
  24     platforms = lib.platforms.linux;
  25     broken = !stdenv.is64bit;   # the linux 32 bit build fails.
  26   };
  27 }