Code Monkey home page Code Monkey logo

kent-weak-memory / rust Goto Github PK

View Code? Open in Web Editor NEW
0.0 0.0 3.0 909.99 MB

Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

Home Page: https://www.cs.kent.ac.uk/people/staff/mjb211/rust/index.htm

License: Other

Rust 97.85% Shell 0.29% C++ 0.28% Python 0.41% Assembly 0.02% Makefile 0.29% Dockerfile 0.14% C 0.11% HTML 0.10% Roff 0.02% CSS 0.14% XSLT 0.01% Batchfile 0.01% JavaScript 0.32% Pascal 0.02% Puppet 0.01% RenderScript 0.01% RPC 0.01% CMake 0.01%
cheri morello rust rust-lang

rust's People

Contributors

alexcrichton avatar bjorn3 avatar bors avatar brson avatar catamorphism avatar centril avatar dylan-dpc avatar eddyb avatar estebank avatar flip1995 avatar frewsxcv avatar graydon avatar guillaumegomez avatar johntitor avatar jseyfried avatar kennytm avatar m-ou-se avatar manishearth avatar marijnh avatar mark-simulacrum avatar michaelwoerister avatar nikomatsakis avatar nrc avatar pcwalton avatar petrochenkov avatar pnkfelix avatar ralfjung avatar steveklabnik avatar topecongiro avatar varkor avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

rust's Issues

Compilation error: data-layout differs

Hi,

I'm trying to compile the compiler. When running python3 x.py build, I run into an error when building stage 1 std artifacts:

error: internal compiler error: compiler/rustc_codegen_llvm/src/context.rs:176:13: data-layout for target `aarch64-unknown-freebsd-purecap`, `e-m:e-pf200:128:128:128:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-A200-P200-G200`, differs from LLVM target's `aarch64-unknown-freebsd` default layout, `e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128`

By any chance, did you already encountered this error?

(If need be, I can upload the full log and/or the config.toml)

(This error may also come from my (cheribuild built) LLVM, but since I encountered this error while trying to compile Rust, it could be useful to have a note about it here for future reference.)

SSL certificate error at compilation time with dependencies in WSL environment

Hello,

I'm interested in studying the compilation process from Rust to CheriLLVM and I come across your compiler which I am trying to use and make it work. Following the setup instructions in the Readme file, I can successfully compile simple programs (without any dependencies) using both cargo and rustc. Also, I'm able to emit MIR and LLVM-IR files for both aarch64-unknown-freebsd-purecap and aarch64-unknown-freebsd targets.

However, when I attempt to compile programs with dependencies, I encounter the following error when compiling with cargo:

error: failed to download from `https://crates.io/api/v1/crates/addr2line/0.13.0/download`

Caused by:
  [60] SSL peer certificate or SSH remote key was not OK (SSL certificate problem: unable to get local issuer certificate)

I tried to fix this error by myself, trying several solutions, such as:

  1. Putting http.check-revoke = false inside the .cargo/config.toml
  2. Putting net.git-fetch-with-cli = true inside the .cargo/config.toml
  3. Disabling firewalls
  4. Not being behind a proxy
  5. Updating certificates
  6. Rebuilding the compiler from scratch

None of these solutions worked for me. Interestingly, I can access these dependencies with curl without any issues. Also, I tried using another cargo version (the one that is installable via rustup) to check if it can access any crate from crates.io (which it does successfully), so I'm suspecting that this might be actually an issue specific to this cargo version. Either it might be searching for certificates in the wrong directories or overlooking some directories when searching for the certificates.

While I am trying to find a solution (or a workaround) that can solve this problem, I want to ask you if you happened to encounter the same error (or a similar one) and how is it possible to solve it? I would greatly appreciate the assistance.

My environment details:

  • WSL Environment: Ubuntu-22.04
  • Rust version (the one of this repository):
rustc -vV

rustc 1.56.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.56.0-dev
LLVM version: 11.0.0
  • Cargo version (the one of this repository):
cargo -vV

cargo 1.56.0-dev
release: 1.56.0

If any additional details are needed, I can gladly provide them.

Many thanks

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.