Difference between revisions of "How do I... ?"
From CVC4
m (→Dealing with Subversion) |
(→Dealing with Subversion: adding SVN detail) |
||
Line 5: | Line 5: | ||
*[[...check out CVC4 from the repository?]] | *[[...check out CVC4 from the repository?]] | ||
**From the command line: | **From the command line: | ||
− | svn co https://subversive.cims.nyu.edu/cvc4/cvc4 | + | svn co https://subversive.cims.nyu.edu/cvc4/cvc4/trunk cvc4 |
− | **From eclipse: | + | **From eclipse: |
+ | "File -> New -> Project..." then choose "Project from SVN" under the SVN category. Use the repository location <code>https://subversive.cims.nyu.edu/cvc4/cvc4/trunk</code> and click "Finish." | ||
*[[...browse CVC4 sources online?]] | *[[...browse CVC4 sources online?]] |
Revision as of 14:25, 15 December 2009
This page is a repository for questions about working with CVC4. If you have a question, please add it here. If you have an answer, please add the answer to the Developer's Guide, or another wiki page, and then link to it from here.
Dealing with Subversion
- ...check out CVC4 from the repository?
- From the command line:
svn co https://subversive.cims.nyu.edu/cvc4/cvc4/trunk cvc4
- From eclipse:
"File -> New -> Project..." then choose "Project from SVN" under the SVN category. Use the repository location https://subversive.cims.nyu.edu/cvc4/cvc4/trunk
and click "Finish."
The source code is available at https://subversive.cims.nyu.edu/cvc4/cvc4/. CIMS login is required. Expect for your browser to whine about the certificate.
- ...update my working copy to the newest committed version?
- From the command line: enter the root cvc4 source directory and issue an svn update
cd cvc4 svn update
- ...rename a file or directory?
- ...revert changes in my working directory?
- ...revert changes that have already been committed to the repository?
- ...see what I've changed in my working copy?
- ...resolve a conflict?
- ...create a branch?
- ...merge a branch back into the trunk?
- ...symbolically tag a version?
Dealing with the source tree
- ...add a new source directory to the tree?
- ...add a new source file to the tree?
- ...update the copyright information at the top of each file in the tree?