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

cuter: fix indentation

Browse Source
This commit is contained in:
Robin Gloster 2017-03-02 11:51:22 +01:00
parent bfe15ec83f
commit eebb5f20a3
No known key found for this signature in database
GPG Key ID: 5E4C836C632C2882
1 changed files with 33 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

66
pkgs/development/tools/erlang/cuter/default.nix
View File

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