pyrox.dev
1{ stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib
2, libXinerama, libXft, libXpm, libSM, libXt, freetype, pkgconfig
3, fontconfig
4}:
5
6let
7 version = "6.6.6";
8in
9stdenv.mkDerivation {
10 name = "swi-prolog-${version}";
11
12 src = fetchurl {
13 url = "http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz";
14 sha256 = "0vcrfskm2hyhv30lxr6v261myb815jc3bgmcn1lgsc9g9qkvp04z";
15 };
16
17 buildInputs = [ gmp readline openssl libjpeg unixODBC libXinerama
18 libXft libXpm libSM libXt zlib freetype pkgconfig fontconfig ];
19
20 hardeningDisable = [ "format" ];
21
22 configureFlags = "--with-world --enable-gmp --enable-shared";
23
24 buildFlags = "world";
25
26 meta = {
27 homepage = http://www.swi-prolog.org/;
28 description = "A Prolog compiler and interpreter";
29 license = "LGPL";
30
31 platforms = stdenv.lib.platforms.linux;
32 maintainers = [ stdenv.lib.maintainers.peti ];
33 };
34}