diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/yap/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/yap/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/yap/default.nix b/nixpkgs/pkgs/development/compilers/yap/default.nix new file mode 100644 index 000000000000..3ad0bc25787e --- /dev/null +++ b/nixpkgs/pkgs/development/compilers/yap/default.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchurl, readline, gmp, zlib }: + +stdenv.mkDerivation rec { + version = "6.3.3"; + name = "yap-${version}"; + + src = fetchurl { + url = "https://www.dcc.fc.up.pt/~vsc/Yap/${name}.tar.gz"; + sha256 = "0y7sjwimadqsvgx9daz28c9mxcx9n1znxklih9xg16k6n54v9qxf"; + }; + + buildInputs = [ readline gmp zlib ]; + + configureFlags = [ "--enable-tabling=yes" ]; + + NIX_CFLAGS_COMPILE = [ "-fpermissive" ]; + + meta = { + homepage = http://www.dcc.fc.up.pt/~vsc/Yap/; + description = "A ISO-compatible high-performance Prolog compiler"; + license = stdenv.lib.licenses.artistic2; + + maintainers = [ stdenv.lib.maintainers.peti ]; + platforms = stdenv.lib.platforms.linux; + broken = !stdenv.is64bit; # the linux 32 bit build fails. + }; +} |