From 89964dd2418854b9465043484b8d6e1b477a2b1e Mon Sep 17 00:00:00 2001 From: Dries Van Daele Date: Sat, 5 Oct 2013 20:59:34 +0200 Subject: [PATCH] add tabling to yap --- pkgs/development/compilers/yap/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix index 44e40710569..a29c0de65b8 100644 --- a/pkgs/development/compilers/yap/default.nix +++ b/pkgs/development/compilers/yap/default.nix @@ -11,6 +11,8 @@ stdenv.mkDerivation rec { buildInputs = [ readline gmp zlib ]; + configureFlags = "--enable-tabling=yes"; + meta = { homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/"; description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler";