[z3-checkins] r33515 - z3/deliverance/branches/packaged
ltucker at codespeak.net
ltucker at codespeak.net
Fri Oct 20 21:52:53 CEST 2006
Author: ltucker
Date: Fri Oct 20 21:52:51 2006
New Revision: 33515
Modified:
z3/deliverance/branches/packaged/README.txt
Log:
updating install instructions, removing steps covered by buildout and setup
Modified: z3/deliverance/branches/packaged/README.txt
==============================================================================
--- z3/deliverance/branches/packaged/README.txt (original)
+++ z3/deliverance/branches/packaged/README.txt Fri Oct 20 21:52:51 2006
@@ -6,9 +6,7 @@
svn co https://svn.openplans.org/svn/deliverance.buildout deliverance.buildout
-If you follow the instructions there and install nose and it's dependencies,
-you should be able to run tests by running nosetests from
-this directory.
+If you follow the instructions there.
Otherwise to install manually:
@@ -24,17 +22,18 @@
install a recent cvs version of libxml2,libxstl and svn lxml.
You are likely to encounter segfaults and other failures if recent versions are not used.
-$ easy_install nose
-$ easy_install FormEncode
-$ easy_install elementtree
-$ easy_install paste
-
checkout deliverance:
$ svn co http://codespeak.net/svn/z3/deliverance/branches/packaged deliverance
$ cd deliverance
-$ nosetests
+$ python setup.py develop
+$ nosetests
+
+you can also run:
+deliverance_env/bin/deliverance-tests
+deliverance_env/bin/deliverance-speed
+from the top level checkout directory
Simple Tests
------------
More information about the z3-checkins
mailing list