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.

Sign up for GitHub

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

Jump to bottom

Build fails on Fedora 12 #102

Closed
vgivanovic opened this issue Jul 11, 2010 · 3 comments
Closed

Build fails on Fedora 12 #102

vgivanovic opened this issue Jul 11, 2010 · 3 comments

Comments

@vgivanovic
Copy link

I have an up-to-date Fedora 12 (Linux 2.6.33.5-124.fc13.x86_64 x86_64) with all the prerequisites, and the build fails with:

$ NO_VALGRIND=1 make check
cfg: building on Linux x86_64
cfg: unix-y environment
cfg: using gcc
cfg: using ocaml native compiler
cfg: building native compiler
cfg: using LLVM version 2.8svn
cfg: found llvm-config at /usr/local/llvm-2.8svn/bin/llvm-config
check: formatting
compile: boot/llvm/llasm.ml
File "boot/llvm/llasm.ml", line 118, characters 4-30:
Error: Unbound value Llvm.set_module_inline_asm
make: *** [boot/llvm/llasm.cmx] Error 2

My path includes /usr/local/llvm-2.8svn/bin which I got from the LLVM svn repository, built, tested and installed today with 'make happiness'.
@graydon
Copy link
Contributor

graydon commented Jul 11, 2010

Ah. The makefile autoconfigury is assuming that "having LLVM" means "having LLVM ocaml bindings", which is not true. As a short-term fix, I've disabled the LLVM backend by default (it's significantly more broken than the built-in one at present). I'll modify the logic later in the week to be more particular about sensing presence or absence of the ocaml bindings. Leaving this open for now.

@vgivanovic
Copy link
Author

Thanks. Disabling the LLVM backend allowed the build to complete.

@rillian
Copy link
Contributor

rillian commented Oct 22, 2010

There's now a check for the llvm bindings, so this issue should be resolved.

mbrubeck pushed a commit to mbrubeck/rust that referenced this issue Oct 17, 2011
@graydon
Fix LLVM-detection logic to notice when we have, or don't have, the o…
777002c 
…caml bindings. Also XFAIL missed new case. Closes rust-lang#102.
@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@solson
Merge pull request rust-lang#102 from oli-obk/rustup
267f4a1 
rustup to 2017-01-12
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#102 from fhahn/add-memrchr
3e1791c 
Add binding for memrchr on Linux
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Change create_object_file to a Result to better indicate failure. Fixes
1d36721 
rust-lang#102
bjorn3 added a commit to bjorn3/rust that referenced this issue Dec 31, 2021
@bjorn3
Remove unused dependency on object (rust-lang#102)
08183f9
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Oct 15, 2024
@Yenyun035 @rajathkotyal
Contracts and Harnesses for unchecked_neg (rust-lang#102)
32e0cf9 
Towards rust-lang#59 

### Changes
* Added contracts for `unchecked_neg` (located in
`library/core/src/num/int_macros.rs`)
* Added a harness for `unchecked_neg` of each signed integer type
  * `i8`, `i16`, `i32`, `i64`, `i128`, `isize` --- 6 harnesses in total.
* Fixed comments.

### Revalidation
1. Per the discussion in rust-lang#59, we have to **build and run Kani from
`feature/verify-rust-std` branch**.
2. To revalidate the verification results, run the following command.
`<harness_to_run>` can be either `num::verify` to run all harnesses or
`num::verify::<harness_name>` (e.g. `check_unchecked_neg_i8`) to run a
specific harness.
```
kani verify-std  "path/to/library" \
    --harness <harness_to_run> \
    -Z unstable-options \
    -Z function-contracts \
    -Z mem-predicates
```

All default harnesses should pass.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: yew005 <yew005@ucsd.edu>
Co-authored-by: Rajath Kotyal <53811196+rajathkotyal@users.noreply.github.com>
Co-authored-by: rajathmCMU <rajathkotyal@gmail.com>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@graydon @vgivanovic @rillian