Merge pull request #13867 from ericbmerritt/cuter-support

cuter: init at 0.1
This commit is contained in:
Arseniy Seroka 2016-03-13 21:49:24 +03:00
commit 42b7191499
2 changed files with 44 additions and 0 deletions

View File

@ -0,0 +1,43 @@
{stdenv, autoconf, which, writeText, makeWrapper, fetchFromGitHub, erlang,
erlangPackages, z3, python27 }:
stdenv.mkDerivation rec {
name = "cuter";
version = "0.1";
src = fetchFromGitHub {
owner = "aggelgian";
repo = "cuter";
rev = "v${version}";
sha256 = "1ax1pj6ji4w2mg3p0nh2lzmg3n9mgfxk4cf07pll51yrcfpfrnfv";
};
setupHook = writeText "setupHook.sh" ''
addToSearchPath ERL_LIBS "$1/lib/erlang/lib/"
'';
buildInputs = with erlangPackages; [ autoconf erlang z3 python27 makeWrapper which ];
buildFlags = "PWD=$(out)/lib/erlang/lib/cuter-${version} cuter_target";
configurePhase = ''
autoconf
./configure --prefix $out
'';
installPhase = ''
mkdir -p "$out/lib/erlang/lib/cuter-${version}"
mkdir -p "$out/bin"
cp -r * "$out/lib/erlang/lib/cuter-${version}"
cp cuter "$out/bin/cuter"
wrapProgram $out/bin/cuter \
--prefix PATH : "${python27}/bin" \
--suffix PYTHONPATH : "${z3}/lib/python2.7/site-packages" \
--suffix ERL_LIBS : "$out/lib/erlang/lib"
'';
meta = {
description = "A concolic testing tool for the Erlang functional programming language";
license = stdenv.lib.licenses.gpl3;
homepage = "https://github.com/aggelgian/cuter";
maintainers = with stdenv.lib.maintainers; [ ericbmerritt ];
};
}

View File

@ -5356,6 +5356,7 @@ let
fetchHex = callPackage ../development/tools/build-managers/rebar3/fetch-hex.nix { };
erlangPackages = callPackage ../development/erlang-modules { };
cuter = erlangPackages.callPackage ../development/tools/erlang/cuter { };
hex2nix = erlangPackages.callPackage ../development/tools/erlang/hex2nix { };
elixir = callPackage ../development/interpreters/elixir { };