about summary refs log tree commit diff
path: root/pkgs/development/compilers/souffle
diff options
context:
space:
mode:
authorMatthew Bauer <mjbauer95@gmail.com>2018-05-07 00:16:50 -0500
committerMatthew Bauer <mjbauer95@gmail.com>2018-05-07 00:17:49 -0500
commite973188bcc9f35dbd12f00c0ef5dd9240da1d9d3 (patch)
tree693382d1ac153fddbe881cbb28103488290e5079 /pkgs/development/compilers/souffle
parentabea0c6eebb427df3950e0c2f36c62b4e111a62a (diff)
souffle: fix on darwin
Fixes #39854
Diffstat (limited to 'pkgs/development/compilers/souffle')
-rw-r--r--pkgs/development/compilers/souffle/default.nix15
1 files changed, 7 insertions, 8 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix
index 5289540e944cc..099a591b407de 100644
--- a/pkgs/development/compilers/souffle/default.nix
+++ b/pkgs/development/compilers/souffle/default.nix
@@ -1,4 +1,7 @@
-{ stdenv, fetchFromGitHub, autoconf, automake, boost, bison, flex, openjdk, doxygen, perl, graphviz, libtool, lsb-release, ncurses, zlib, sqlite }:
+{ stdenv, fetchFromGitHub
+, boost, bison, flex, openjdk, doxygen
+, perl, graphviz, libtool, ncurses, zlib, sqlite
+, autoreconfHook }:
 
 stdenv.mkDerivation rec {
   version = "1.2.0";
@@ -11,12 +14,10 @@ stdenv.mkDerivation rec {
     sha256 = "1g8yvm40h102mab8lacpl1cwgqsw1js0s1yn4l84l9fjdvlh2ygd";
   };
 
+  nativeBuildInputs = [ autoreconfHook bison flex ];
+
   buildInputs = [
-    autoconf automake boost bison flex openjdk
-    # Used for 1.2.0
-    libtool lsb-release ncurses zlib sqlite
-    # Used for docs
-    doxygen perl graphviz
+    boost openjdk ncurses zlib sqlite doxygen perl graphviz
   ];
 
   patchPhase = ''
@@ -29,8 +30,6 @@ stdenv.mkDerivation rec {
   # for boost and failing there, so we tell it what's what here.
   configureFlags = [ "--with-boost-libdir=${boost}/lib" ];
 
-  preConfigure = "./bootstrap";
-
   meta = with stdenv.lib; {
     description = "A translator of declarative Datalog programs into the C++ language";
     homepage    = "http://souffle-lang.github.io/";