Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

symrustc_hybrid.sh: Build Failed #7

Open
AiDaiP opened this issue Jan 4, 2025 · 0 comments
Open

symrustc_hybrid.sh: Build Failed #7

AiDaiP opened this issue Jan 4, 2025 · 0 comments

Comments

@AiDaiP
Copy link

AiDaiP commented Jan 4, 2025

ubuntu@4f90a1113735:~/examples/source_0_original_1c4_rs$ symrustc_hybrid.sh test
[cargo-make] INFO - cargo make 0.36.11
    Updating crates.io index
  Downloaded quick-error v1.2.3
  Downloaded lz4_flex v0.3.5
  Downloaded lz4-sys v1.11.1+lz4-1.10.0
  Downloaded lz4 v1.28.0
  Downloaded 4 crates (438.4 KB) in 0.10s
   Compiling shlex v1.3.0
   Compiling libc v0.2.169
   Compiling quick-error v1.2.3
   Compiling byteorder v1.5.0
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
[cargo-make] INFO - Build File: Makefile.toml/14: shlex, quick-error, libc(build.rs), byteorder                                                                                                                  
[cargo-make] INFO - Task: test
[cargo-make] INFO - Profile: development
[cargo-make] INFO - Running Task: legacy-migration
[cargo-make] INFO - Running Task: runtime
error: package `home v0.5.11` cannot be built because it requires rustc 1.81 or newer, while the currently active rustc version is 1.65.0
Either upgrade to rustc 1.81 or newer, or use
cargo update -p [email protected] --precise ver
where `ver` is the latest version of `home` supporting rustc 1.65.0
[cargo-make] ERROR - Error while executing command, exit code: 101
[cargo-make] WARN - Build Failed.

This seems to be related to the home version. I tried to modify all the home versions in the docker container to lower versions, but it didn't work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant