845f2a8658
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex. Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice. svn path=/nixpkgs/trunk/; revision=30552
34 lines
788 B
Nix
34 lines
788 B
Nix
{stdenv, fetchurl, ocaml, findlib, camlp5 }:
|
|
|
|
let
|
|
ocaml_version = (builtins.parseDrvName ocaml.name).version;
|
|
version = "0.8";
|
|
pname = "ulex";
|
|
|
|
in
|
|
|
|
stdenv.mkDerivation {
|
|
name = "${pname}-${version}";
|
|
|
|
src = fetchurl {
|
|
url = "http://www.cduce.org/download/old/${pname}-${version}.tar.gz";
|
|
sha256 = "19faabg8hzz155xlzmjwsl59d7slahb5m1l9zh1fqvvpp81r26cp";
|
|
};
|
|
|
|
buildInputs = [ocaml findlib camlp5];
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
patches = [ ./meta_version.patch ./camlp5.patch ];
|
|
|
|
propagatedBuildInputs = [ camlp5 ];
|
|
|
|
buildFlags = "all all.opt";
|
|
|
|
meta = {
|
|
homepage = http://www.cduce.org/download.html;
|
|
description = "ulex is a lexer generator for Unicode and OCaml";
|
|
license = "MIT";
|
|
maintainers = [ stdenv.lib.maintainers.roconnor ];
|
|
};
|
|
}
|