2021-09-25 09:04:30 +00:00
|
|
|
{ ocamlPackages
|
|
|
|
, fetchFromGitHub
|
|
|
|
, lib
|
|
|
|
, zlib
|
|
|
|
, pkg-config
|
|
|
|
, cacert
|
|
|
|
, gmp
|
|
|
|
, libev
|
|
|
|
, autoconf
|
|
|
|
, sqlite
|
|
|
|
, stdenv
|
|
|
|
}:
|
2021-05-22 07:30:29 +00:00
|
|
|
let
|
2021-09-25 10:50:28 +00:00
|
|
|
mkCombyPackage = { pname, extraBuildInputs ? [ ], extraNativeInputs ? [ ], preBuild ? "" }:
|
2021-05-22 07:30:29 +00:00
|
|
|
ocamlPackages.buildDunePackage rec {
|
2021-09-25 10:50:28 +00:00
|
|
|
inherit pname preBuild;
|
|
|
|
version = "1.7.0";
|
2021-05-22 07:30:29 +00:00
|
|
|
useDune2 = true;
|
|
|
|
minimumOcamlVersion = "4.08.1";
|
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "comby-tools";
|
|
|
|
repo = "comby";
|
|
|
|
rev = version;
|
2021-09-25 10:50:28 +00:00
|
|
|
sha256 = "sha256-Y2RcYvJOSqppmxxG8IZ5GlFkXCOIQU+1jJZ6j+PBHC4";
|
2021-05-22 07:30:29 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
ocamlPackages.ppx_deriving
|
|
|
|
ocamlPackages.ppx_deriving_yojson
|
|
|
|
ocamlPackages.ppx_sexp_conv
|
|
|
|
ocamlPackages.ppx_sexp_message
|
|
|
|
] ++ extraNativeInputs;
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
ocamlPackages.core
|
|
|
|
ocamlPackages.ocaml_pcre
|
|
|
|
ocamlPackages.mparser
|
|
|
|
ocamlPackages.mparser-pcre
|
|
|
|
ocamlPackages.angstrom
|
|
|
|
] ++ extraBuildInputs;
|
|
|
|
|
|
|
|
checkInputs = [ cacert ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Tool for searching and changing code structure";
|
|
|
|
license = lib.licenses.asl20;
|
|
|
|
homepage = "https://comby.dev";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
combyKernel = mkCombyPackage { pname = "comby-kernel"; };
|
2021-09-25 10:50:28 +00:00
|
|
|
combySemantic = mkCombyPackage { pname = "comby-semantic"; extraBuildInputs = [ ocamlPackages.cohttp-lwt-unix ]; };
|
2021-09-25 09:04:30 +00:00
|
|
|
in
|
|
|
|
mkCombyPackage {
|
2021-05-22 07:30:29 +00:00
|
|
|
pname = "comby";
|
|
|
|
|
2021-09-25 10:50:28 +00:00
|
|
|
# tests have to be removed before building otherwise installPhase will fail
|
|
|
|
# cli tests expect a path to the built binary
|
|
|
|
preBuild = ''
|
|
|
|
substituteInPlace test/common/dune \
|
|
|
|
--replace "test_cli_list" "" \
|
|
|
|
--replace "test_cli_helper" "" \
|
|
|
|
--replace "test_cli" ""
|
|
|
|
rm test/common/{test_cli_list,test_cli_helper,test_cli}.ml
|
|
|
|
'';
|
|
|
|
|
2021-05-22 07:30:29 +00:00
|
|
|
extraBuildInputs = [
|
|
|
|
zlib
|
|
|
|
gmp
|
|
|
|
libev
|
|
|
|
sqlite
|
|
|
|
ocamlPackages.shell # This input must appear before `parany` or any other input that propagates `ocamlnet`
|
|
|
|
ocamlPackages.lwt
|
|
|
|
ocamlPackages.patience_diff
|
|
|
|
ocamlPackages.toml
|
|
|
|
ocamlPackages.cohttp-lwt-unix
|
|
|
|
ocamlPackages.opium
|
|
|
|
ocamlPackages.textutils
|
|
|
|
ocamlPackages.jst-config
|
|
|
|
ocamlPackages.parany
|
|
|
|
ocamlPackages.conduit-lwt-unix
|
|
|
|
ocamlPackages.lwt_react
|
|
|
|
ocamlPackages.tls
|
|
|
|
combyKernel
|
2021-09-25 09:04:30 +00:00
|
|
|
combySemantic
|
2021-05-22 07:30:29 +00:00
|
|
|
] ++ (if !stdenv.isAarch32 && !stdenv.isAarch64 then
|
|
|
|
[ ocamlPackages.hack_parallel ]
|
|
|
|
else
|
|
|
|
[ ]);
|
|
|
|
|
|
|
|
extraNativeInputs = [
|
|
|
|
autoconf
|
|
|
|
pkg-config
|
|
|
|
ocamlPackages.ppx_jane
|
|
|
|
ocamlPackages.ppx_expect
|
|
|
|
ocamlPackages.dune-configurator
|
|
|
|
];
|
2021-09-25 10:50:28 +00:00
|
|
|
|
2021-05-22 07:30:29 +00:00
|
|
|
}
|