mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-20 11:05:14 +00:00
obliv-c: init at 0.0pre20161001
This commit is contained in:
parent
2e255a2edd
commit
667c2fb025
33
pkgs/development/compilers/obliv-c/default.nix
Normal file
33
pkgs/development/compilers/obliv-c/default.nix
Normal file
@ -0,0 +1,33 @@
|
||||
{stdenv, fetchurl, ocaml, libgcrypt, fetchFromGitHub, ocamlPackages, perl}:
|
||||
stdenv.mkDerivation rec {
|
||||
name = "obliv-c-${version}";
|
||||
version = "0.0pre20161001";
|
||||
buildInputs = [ ocaml ocamlPackages.findlib perl ];
|
||||
propagatedBuildInputs = [ libgcrypt ];
|
||||
src = fetchFromGitHub {
|
||||
owner = "samee";
|
||||
repo = "obliv-c";
|
||||
rev = "32d71fb46983aded604045e8cda7874d8fb160a2";
|
||||
sha256 = "05bicvalsfabngvf41q02bcyzkibmyihj7naqd53kdq75xa1yf37";
|
||||
};
|
||||
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 = {
|
||||
inherit version;
|
||||
description = ''A GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs'';
|
||||
license = stdenv.lib.licenses.bsd3;
|
||||
maintainers = [stdenv.lib.maintainers.raskin];
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
};
|
||||
}
|
@ -5051,6 +5051,8 @@ in
|
||||
|
||||
nvidia_cg_toolkit = callPackage ../development/compilers/nvidia-cg-toolkit { };
|
||||
|
||||
obliv-c = callPackage ../development/compilers/obliv-c {};
|
||||
|
||||
ocaml-ng = callPackage ./ocaml-packages.nix { };
|
||||
|
||||
ocamlPackages = recurseIntoAttrs ocaml-ng.ocamlPackages;
|
||||
|
Loading…
Reference in New Issue
Block a user