pkgs/development/compilers/obliv-c/default.nix

   1 { lib, stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
   2 stdenv.mkDerivation rec {
   3   pname = "obliv-c";
   4   version = "0.0pre20180624";
   5   buildInputs = [ perl ]
   6   ++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
   7   propagatedBuildInputs = [ libgcrypt ];
   8   src = fetchFromGitHub {
   9     owner = "samee";
  10     repo = "obliv-c";
  11     rev = "3d6804ca0fd85868207a0ccbd2509ec064723ac2";
  12     sha256 = "1ib21ngn7zr58xxq4sjigrpaxb0wx35x3k9l4qvwflzrmvnman20";
  13   };
  14
  15   patches = [ ./ignore-complex-float128.patch ];
  16
  17   preBuild = ''
  18     patchShebangs .
  19   '';
  20
  21   preInstall = ''
  22     mkdir -p "$out/bin"
  23     cp bin/* "$out/bin"
  24     mkdir -p "$out/share/doc/obliv-c"
  25     cp -r doc/* README* CHANGE* Change* LICEN* TODO* "$out/share/doc/obliv-c"
  26     mkdir -p "$out/share/obliv-c"
  27     cp -r test "$out/share/obliv-c"
  28     mkdir -p "$out/include"
  29     cp src/ext/oblivc/*.h "$out/include"
  30     mkdir -p "$out/lib"
  31     gcc $(ar t _build/libobliv.a | sed -e 's@^@_build/@') --shared -o _build/libobliv.so
  32     cp _build/lib*.a _build/lib*.so* "$out/lib"
  33   '';
  34
  35   meta = {
  36     inherit version;
  37     description = "A GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs";
  38     license = lib.licenses.bsd3;
  39     maintainers = [lib.maintainers.raskin];
  40     platforms = lib.platforms.linux;
  41   };
  42 }