Giter VIP home page Giter VIP logo

cyberhive / rust-cheri Goto Github PK

View Code? Open in Web Editor NEW
9.0 9.0 2.0 953.06 MB

Fork of Rust adding CHERI support

License: Other

Rust 97.68% Shell 0.26% Python 0.32% Fluent 0.19% C++ 0.20% Assembly 0.02% Makefile 0.28% Dockerfile 0.11% C 0.06% HTML 0.36% Roff 0.02% CSS 0.10% XSLT 0.01% Batchfile 0.01% JavaScript 0.38% Pascal 0.01% Puppet 0.01% RenderScript 0.02% RPC 0.01% CMake 0.01%
cheri rust

rust-cheri's People

Contributors

alexcrichton avatar bjorn3 avatar bors avatar bors[bot] avatar brson avatar catamorphism avatar centril avatar cjgillot avatar dylan-dpc avatar eddyb avatar estebank avatar flip1995 avatar graydon avatar guillaumegomez avatar johntitor avatar jonas-schievink avatar kennytm avatar manishearth avatar mark-simulacrum avatar matklad avatar matthiaskrgr avatar nikomatsakis avatar nrc avatar pcwalton avatar petrochenkov avatar pnkfelix avatar ralfjung avatar steveklabnik avatar topecongiro avatar veykril avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar

Forkers

benlaurie

rust-cheri's Issues

Build fails

I'm trying to build this using the current HEAD and it fails with this error:

Updating crates.io index

error: failed to select a version for compiler_builtins.
... required by package cfg-if v1.0.0
... which satisfies dependency cfg-if = "^1" (locked to 1.0.0) of package crossbeam-channel v0.5.4
... which satisfies dependency crossbeam-channel = "^0.5.0" (locked to 0.5.4) of package rustc-rayon-core v0.4.1
... which satisfies dependency rayon-core = "^0.4" (locked to 0.4.1) of package rustc-rayon v0.4.0
... which satisfies dependency rustc-rayon = "^0.4" (locked to 0.4.0) of package indexmap v1.9.1
... which satisfies dependency indexmap = "^1.9.1" (locked to 1.9.1) of package bump-stage0 v0.1.0 (/Users/benl/git-work/rust-cheri/src/tools/bump-stage0)
versions that meet the requirements ^0.1.2 (locked to 0.1.82) are: 0.1.82

the package compiler_builtins links to the native library compiler-rt, but it conflicts with a previous package which links to compiler-rt as well:
package compiler_builtins v0.1.73 (https://github.com/lewis-revill/compiler-builtins-cheri.git?branch=ljr-cheri-0.1.73#6ec843c2)
... which satisfies git dependency compiler_builtins of package addr2line v0.17.0 (https://github.com/lewis-revill/addr2line-cheri.git?branch=ljr-cheri-0.17.0#6dbb6efb)
... which satisfies git dependency addr2line of package std v0.0.0 (/Users/benl/git-work/rust-cheri/library/std)
... which satisfies path dependency std (locked to 0.0.0) of package proc_macro v0.0.0 (/Users/benl/git-work/rust-cheri/library/proc_macro)
... which satisfies path dependency proc_macro (locked to 0.0.0) of package test v0.0.0 (/Users/benl/git-work/rust-cheri/library/test)
Only one package in the dependency graph may specify the same links value. This helps ensure that only one copy of a native library is linked in the final binary. Try to adjust your dependencies so that only one package uses the links ='compiler_builtins' value. For more information, see https://doc.rust-lang.org/cargo/reference/resolver.html#links.

failed to select a version for compiler_builtins which could resolve this conflict

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.