diff options
Diffstat (limited to 'pkgs/development/compilers/obliv-c/default.nix')
-rw-r--r-- | pkgs/development/compilers/obliv-c/default.nix | 50 |
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; - }; -} |