pyrox.dev
1{ stdenv, fetchurl, readline, gmp, zlib }:
2
3stdenv.mkDerivation rec {
4 version = "6.3.3";
5 name = "yap-${version}";
6
7 src = fetchurl {
8 url = "http://www.dcc.fc.up.pt/~vsc/Yap/${name}.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 = stdenv.lib.licenses.artistic2;
22
23 maintainers = [ stdenv.lib.maintainers.peti ];
24 platforms = stdenv.lib.platforms.linux;
25 broken = !stdenv.is64bit; # the linux 32 bit build fails.
26 };
27}