2016-07-20 05:53:33 -07:00
|
|
|
{ stdenv, fetchzip, ocaml, findlib, yojson, menhir, lib
|
2015-01-28 22:45:39 -08:00
|
|
|
, withEmacsMode ? false, emacs }:
|
2014-09-21 03:02:55 -07:00
|
|
|
|
|
|
|
assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.00";
|
|
|
|
|
2016-07-20 05:53:33 -07:00
|
|
|
let
|
|
|
|
version = if lib.versionOlder (lib.getVersion ocaml) "4.02.0"
|
|
|
|
then
|
|
|
|
"2.3.1"
|
|
|
|
else
|
2016-10-23 05:49:17 -07:00
|
|
|
"2.5.1";
|
2016-07-20 05:53:33 -07:00
|
|
|
hashes = {
|
|
|
|
"2.3.1" = "192jamcc7rmvadlqqsjkzsl6hlgwhg9my1qc89fxh1lmd4qdsrpn";
|
2016-10-23 05:49:17 -07:00
|
|
|
"2.5.1" = "0p3hqxawp18q43ws6506cnndi49f3gxzmai0x2qch7h42dgh1cb8";
|
2016-07-20 05:53:33 -07:00
|
|
|
};
|
|
|
|
in
|
2015-01-28 22:45:39 -08:00
|
|
|
|
2014-07-05 08:29:21 -07:00
|
|
|
stdenv.mkDerivation {
|
|
|
|
|
2015-01-28 22:45:39 -08:00
|
|
|
name = "merlin-${version}";
|
2014-07-05 08:29:21 -07:00
|
|
|
|
2015-01-28 22:45:39 -08:00
|
|
|
src = fetchzip {
|
|
|
|
url = "https://github.com/the-lambda-church/merlin/archive/v${version}.tar.gz";
|
2016-07-20 05:53:33 -07:00
|
|
|
sha256 = hashes."${version}";
|
2014-07-05 08:29:21 -07:00
|
|
|
};
|
|
|
|
|
2014-11-03 05:29:13 -08:00
|
|
|
buildInputs = [ ocaml findlib yojson menhir ]
|
|
|
|
++ stdenv.lib.optional withEmacsMode emacs;
|
2014-07-05 08:29:21 -07:00
|
|
|
|
2014-11-03 05:29:13 -08:00
|
|
|
preConfigure = "mkdir -p $out/bin";
|
2014-07-05 08:29:21 -07:00
|
|
|
prefixKey = "--prefix ";
|
2014-11-03 05:29:13 -08:00
|
|
|
configureFlags = stdenv.lib.optional withEmacsMode "--enable-compiled-emacs-mode";
|
2014-07-05 08:29:21 -07:00
|
|
|
|
2014-09-21 03:02:55 -07:00
|
|
|
meta = with stdenv.lib; {
|
2014-09-09 16:28:49 -07:00
|
|
|
description = "An editor-independent tool to ease the development of programs in OCaml";
|
2014-08-01 00:42:37 -07:00
|
|
|
homepage = "http://the-lambda-church.github.io/merlin/";
|
2014-09-21 03:02:55 -07:00
|
|
|
license = licenses.mit;
|
|
|
|
maintainers = [ maintainers.vbgl ];
|
2014-07-05 08:29:21 -07:00
|
|
|
};
|
|
|
|
}
|