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

Add top-level makefile plus (non-autoconf) configure script #146

Closed
graydon opened this issue Aug 12, 2010 · 1 comment
Closed

Add top-level makefile plus (non-autoconf) configure script #146

graydon opened this issue Aug 12, 2010 · 1 comment
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup.

Comments

@graydon
Copy link
Contributor

graydon commented Aug 12, 2010

Move to a top-level Makefile (not one in src/ and one in doc/) and support out-of-tree builds by writing a minimal configure script that copies the Makefile to $CWD and sets its VPATH.

(Not to be confused with "use autoconf". The configure script can be plain shell or python).
@graydon
Copy link
Contributor Author

graydon commented Apr 19, 2011

Done at or around 3ae9ca4

@graydon graydon closed this as completed Apr 19, 2011
oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@solson
Merge pull request rust-lang#146 from oli-obk/peephole1
0ca0676 
[Peephole Optimization 1/n] Don't allocate for structs with a single primval field
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#146 from alexcrichton/no-std
61eddaf 
Add a default-on std feature
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@steveklabnik
Merge pull request rust-lang#146 from Havvy/impl
13f02d1 
Implementations improvements part 1
bjorn3 pushed a commit to bjorn3/rust that referenced this issue Mar 26, 2022
@antoyo
Merge pull request rust-lang#146 from bjorn3/rustup
39683d8 
Rustup to rustc 1.61.0-nightly (d53246f 2022-03-25)
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
celinval added a commit to celinval/rust-dev that referenced this issue Nov 20, 2024
@carolynzech @celinval
kani list Workflow (rust-lang#146)
4db111f 
Adds a workflow that runs `kani list` on the standard library and posts
the results in a comment on the pull request. This workflow runs iff a
pull request is merged, so that we have one comment at the end of a PR
with the most up-to-date list results. (I considered other approaches,
like running it on opening the PR or with every commit, but decided
having one single comment with the final changes was best for
brevity/clarity).

See this [test
PR](carolynzech#10) on my fork
as a demo of how it would work.

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: Celina G. Val <celinval@amazon.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon