swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 12:59:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

cairo-lang: init at 1.1.0

Browse source 
`cairo-lang` is a general purpose language for provable computations using
PCP (probabilistically checkable proofs — https://en.wikipedia.org/wiki/Probabilistically_checkable_proof)

This is the v1 Rust-based compiler version of the project.
This commit is contained in:
Raito Bezarius 2023-06-07 14:40:26 +02:00
parent 0663e8287c
commit 2ef54182a3
2 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
pkgs/development/compilers/cairo/default.nix Normal file
View file

@ -0,0 +1,40 @@
{ lib
, rustPlatform
, fetchFromGitHub
, rustfmt
}:
rustPlatform.buildRustPackage rec {
pname = "cairo";
version = "1.1.0";
src = fetchFromGitHub {
owner = "starkware-libs";
repo = "cairo";
rev = "v${version}";
hash = "sha256-8dzDe4Kw9OASD0i3bMooqEclStxS/Ta/tOVCcFhvwSI=";
};
cargoHash = "sha256-IY3RE+EeNRhUSZX+bqojhPl6y8qm+i9C0zQmNApmat8=";
nativeCheckInputs = [
rustfmt
];
checkFlags = [
# Requires a mythical rustfmt 2.0 or a nightly compiler
"--skip=golden_test::sourcegen_ast"
];
postInstall = ''
# The core library is needed for compilation.
cp -r corelib $out/
'';
meta = with lib; {
description = "Turing-complete language for creating provable programs for general computation";
homepage = "https://github.com/starkware-libs/cairo";
license = licenses.asl20;
maintainers = with maintainers; [ raitobezarius ];
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -21023,6 +21023,8 @@ with pkgs;
cairo = callPackage ../development/libraries/cairo { };
cairo-lang = callPackage ../development/compilers/cairo { };
cairomm = callPackage ../development/libraries/cairomm { };
cairomm_1_16 = callPackage ../development/libraries/cairomm/1.16.nix {