pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
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 meta = {
17 homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/";
18 description = "A ISO-compatible high-performance Prolog compiler";
19 license = stdenv.lib.licenses.artistic2;
20
21 maintainers = [ stdenv.lib.maintainers.simons ];
22 platforms = stdenv.lib.platforms.linux;
23 broken = !stdenv.is64bit; # the linux 32 bit build fails.
24 };
25}