Merge pull request #45691 from vbgl/oblivc-20180624

obliv-c: 0.0pre20170827 -> 0.0pre20180624
This commit is contained in:
Sarah Brofeldt 2018-08-28 09:16:33 +02:00 committed by GitHub
commit b4c9f8d035
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,15 +1,15 @@
{ stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
stdenv.mkDerivation rec {
name = "obliv-c-${version}";
version = "0.0pre20170827";
version = "0.0pre20180624";
buildInputs = [ perl ]
++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
propagatedBuildInputs = [ libgcrypt ];
src = fetchFromGitHub {
owner = "samee";
repo = "obliv-c";
rev = "9a6be5a5f44d341bc357055e11922f6a4c4c3b65";
sha256 = "0jz2ayadx62zv2b5ji947bkvw63axl4a2q70lwli86zgmcl390gf";
rev = "3d6804ca0fd85868207a0ccbd2509ec064723ac2";
sha256 = "1ib21ngn7zr58xxq4sjigrpaxb0wx35x3k9l4qvwflzrmvnman20";
};
patches = [ ./ignore-complex-float128.patch ];