public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

souffle: fix on darwin

Browse Source 
Fixes #39854
This commit is contained in:
Matthew Bauer 2018-05-07 00:16:50 -05:00
parent abea0c6eeb
commit e973188bcc
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/development/compilers/souffle/default.nix
View File

@ -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 { stdenv.mkDerivation rec {
version = "1.2.0"; version = "1.2.0";
@ -11,12 +14,10 @@ stdenv.mkDerivation rec {
sha256 = "1g8yvm40h102mab8lacpl1cwgqsw1js0s1yn4l84l9fjdvlh2ygd"; sha256 = "1g8yvm40h102mab8lacpl1cwgqsw1js0s1yn4l84l9fjdvlh2ygd";
}; };
nativeBuildInputs = [ autoreconfHook bison flex ];
buildInputs = [ buildInputs = [
autoconf automake boost bison flex openjdk boost openjdk ncurses zlib sqlite doxygen perl graphviz
# Used for 1.2.0
libtool lsb-release ncurses zlib sqlite
# Used for docs
doxygen perl graphviz
]; ];
patchPhase = '' patchPhase = ''
@ -29,8 +30,6 @@ stdenv.mkDerivation rec {
# for boost and failing there, so we tell it what's what here. # for boost and failing there, so we tell it what's what here.
configureFlags = [ "--with-boost-libdir=${boost}/lib" ]; configureFlags = [ "--with-boost-libdir=${boost}/lib" ];
preConfigure = "./bootstrap";
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A translator of declarative Datalog programs into the C++ language"; description = "A translator of declarative Datalog programs into the C++ language";
homepage = "http://souffle-lang.github.io/"; homepage = "http://souffle-lang.github.io/";