diff options
| author | Dries Van Daele <dries_van_daele@telenet.be> | 2013-10-05 20:59:34 +0200 |
|---|---|---|
| committer | Dries Van Daele <dries_van_daele@telenet.be> | 2013-10-05 20:59:34 +0200 |
| commit | 89964dd2418854b9465043484b8d6e1b477a2b1e (patch) | |
| tree | ddfd69daed9731ac310f6fbcb958972202e6b06c /pkgs/development/compilers/yap | |
| parent | d1ab7ca2ec7c52a524d6e3509b667116050c47a8 (diff) | |
| download | nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar.gz nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar.bz2 nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar.lz nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar.xz nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.tar.zst nixlib-89964dd2418854b9465043484b8d6e1b477a2b1e.zip | |
add tabling to yap
Diffstat (limited to 'pkgs/development/compilers/yap')
| -rw-r--r-- | pkgs/development/compilers/yap/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix index 44e407105690..a29c0de65b87 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"; |