43 lines
1.4 KiB
Nix
43 lines
1.4 KiB
Nix
{stdenv, autoconf, which, writeText, makeWrapper, fetchFromGitHub, erlang,
|
|
beamPackages, 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 beamPackages; [ 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 ];
|
|
};
|
|
}
|