diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/souffle/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/compilers/souffle/default.nix | 35 |
1 files changed, 8 insertions, 27 deletions
diff --git a/nixpkgs/pkgs/development/compilers/souffle/default.nix b/nixpkgs/pkgs/development/compilers/souffle/default.nix index dada4dfe9e81..df8ad5d360e2 100644 --- a/nixpkgs/pkgs/development/compilers/souffle/default.nix +++ b/nixpkgs/pkgs/development/compilers/souffle/default.nix @@ -1,6 +1,6 @@ -{ lib, stdenv, fetchFromGitHub, fetchpatch -, perl, ncurses, zlib, sqlite, libffi -, autoreconfHook, mcpp, bison, flex, doxygen, graphviz +{ lib, stdenv, fetchFromGitHub +, bash-completion, perl, ncurses, zlib, sqlite, libffi +, mcpp, cmake, bison, flex, doxygen, graphviz , makeWrapper }: @@ -10,42 +10,23 @@ let in stdenv.mkDerivation rec { pname = "souffle"; - version = "2.0.2"; + version = "2.2"; src = fetchFromGitHub { owner = "souffle-lang"; repo = "souffle"; rev = version; - sha256 = "1fa6yssgndrln8qbbw2j7j199glxp63irfrz1c2y424rq82mm2r5"; + sha256 = "sha256-whvC+DL9XbQLc4wf2kFxUKXSyJnGkYq0/0uLCLbliJU="; }; - patches = [ - # Pull pending unstream inclusion fix for ncurses-6.3: - # https://github.com/souffle-lang/souffle/pull/2134 - (fetchpatch { - name = "ncurses-6.3.patch"; - url = "https://github.com/souffle-lang/souffle/commit/9e4bdf86d051ef2e1b1a1be64aff7e498fd5dd20.patch"; - sha256 = "0jw1b6qfdf49dx2qlzn1b2yzrgpnkil4w9y3as1m28w8ws7iphpa"; - }) - ]; - - nativeBuildInputs = [ autoreconfHook bison flex mcpp doxygen graphviz makeWrapper perl ]; - buildInputs = [ ncurses zlib sqlite libffi ]; - + nativeBuildInputs = [ bison cmake flex mcpp doxygen graphviz makeWrapper perl ]; + buildInputs = [ bash-completion ncurses zlib sqlite libffi ]; # these propagated inputs are needed for the compiled Souffle mode to work, # since generated compiler code uses them. TODO: maybe write a g++ wrapper # that adds these so we can keep the propagated inputs clean? propagatedBuildInputs = [ ncurses zlib sqlite libffi ]; - # see 565a8e73e80a1bedbb6cc037209c39d631fc393f and parent commits upstream for - # Wno-error fixes - postPatch = '' - substituteInPlace ./src/Makefile.am \ - --replace '-Werror' '-Werror -Wno-error=deprecated -Wno-error=other' - - substituteInPlace configure.ac \ - --replace "m4_esyscmd([git describe --tags --always | tr -d '\n'])" "${version}" - ''; + cmakeFlags = [ "-DSOUFFLE_GIT=OFF" ]; postInstall = '' wrapProgram "$out/bin/souffle" --prefix PATH : "${toolsPath}" |