beam-packages: drop erlang R18 R19 R20 and cuter
(cherry picked from commit f55c3e2f21073be564fed477847ad5bd649c9fb9)
This commit is contained in:
committed by
Raphael Megzari
parent
5bf359c593
commit
0894deca29
@@ -1,46 +0,0 @@
|
||||
{ lib, stdenv, autoreconfHook, which, writeText, makeWrapper, fetchFromGitHub, erlang
|
||||
, z3, python }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "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/"
|
||||
'';
|
||||
|
||||
nativeBuildInputs = [ autoreconfHook makeWrapper which ];
|
||||
buildInputs = [ python python.pkgs.setuptools z3.python erlang ];
|
||||
|
||||
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 : "${python}/bin" \
|
||||
--suffix PYTHONPATH : "${z3}/${python.sitePackages}" \
|
||||
--suffix ERL_LIBS : "$out/lib/erlang/lib"
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "A concolic testing tool for the Erlang functional programming language";
|
||||
license = lib.licenses.gpl3;
|
||||
homepage = "https://github.com/aggelgian/cuter";
|
||||
maintainers = with lib.maintainers; [ ericbmerritt ];
|
||||
platforms = with lib.platforms; unix;
|
||||
};
|
||||
}
|
||||
Reference in New Issue
Block a user