about summary refs log tree commit diff
path: root/pkgs/development/compilers/obliv-c/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/obliv-c/default.nix')
-rw-r--r--pkgs/development/compilers/obliv-c/default.nix50
1 files changed, 0 insertions, 50 deletions
diff --git a/pkgs/development/compilers/obliv-c/default.nix b/pkgs/development/compilers/obliv-c/default.nix
deleted file mode 100644
index 98a1d7192ed7..000000000000
--- a/pkgs/development/compilers/obliv-c/default.nix
+++ /dev/null
@@ -1,50 +0,0 @@
-{ lib, stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
-stdenv.mkDerivation rec {
-  pname = "obliv-c";
-
-  version = "0.0pre20210621";
-
-  strictDeps = true;
-  nativeBuildInputs = [ perl ]
-  ++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
-  buildInputs = [ ocamlPackages.num ];
-  propagatedBuildInputs = [ libgcrypt ];
-  src = fetchFromGitHub {
-    owner = "samee";
-    repo = "obliv-c";
-    rev = "e02e5c590523ef4dae06e167a7fa00037bb3fdaf";
-    sha256 = "sha256:02vyr4689f4dmwqqs0q1mrack9h3g8jz3pj8zqiz987dk0r5mz7a";
-  };
-
-  hardeningDisable = [ "fortify" ];
-
-  patches = [ ./ignore-complex-float128.patch ];
-
-  # https://github.com/samee/obliv-c/issues/76#issuecomment-438958209
-  env.OCAMLBUILD = "ocamlbuild -package num -ocamlopt 'ocamlopt -dontlink num' -ocamlc 'ocamlc -dontlink num'";
-
-  preBuild = ''
-    patchShebangs .
-  '';
-
-  preInstall = ''
-    mkdir -p "$out/bin"
-    cp bin/* "$out/bin"
-    mkdir -p "$out/share/doc/obliv-c"
-    cp -r doc/* README* CHANGE* Change* LICEN* TODO* "$out/share/doc/obliv-c"
-    mkdir -p "$out/share/obliv-c"
-    cp -r test "$out/share/obliv-c"
-    mkdir -p "$out/include"
-    cp src/ext/oblivc/*.h "$out/include"
-    mkdir -p "$out/lib"
-    gcc $(ar t _build/libobliv.a | sed -e 's@^@_build/@') --shared -o _build/libobliv.so
-    cp _build/lib*.a _build/lib*.so* "$out/lib"
-  '';
-
-  meta = {
-    description = "GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs";
-    license = lib.licenses.bsd3;
-    maintainers = [lib.maintainers.raskin];
-    platforms = lib.platforms.linux;
-  };
-}