diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-16 04:24:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-16 04:24:09 +0000 |
| commit | aedc4b41cf828ee192c3b65882d1f1f18b3f155d (patch) | |
| tree | 05c90f7bd708926915b5909ff19f1e465d0b0f46 /INSTALL | |
| parent | 3d059f356a2add0e713b2dc3f3a5f253572e7892 (diff) | |
| download | open-axiom-aedc4b41cf828ee192c3b65882d1f1f18b3f155d.tar.gz | |
preparing for release
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -33,7 +33,7 @@ separately install it, or download the dependency tarball from the SourceForge download site -http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.4.0-dep.tar.bz2 + http://surfnet.dl.sf.net/project/open-axiom/open-axiom/dependencies/open-axiom-1.4.0-dep.tar.bz2 If you already have a Lisp system installed, please go to step 2. Note however that if you want to build OpenAxiom with the GCL from @@ -74,8 +74,8 @@ different from the one that contains the sources. For example, you may create a directory sibling to open-axiom-1.4.0 and build the system from there: - mkdir build-oa - cd build-oa + mkdir oa-build + cd oa-build ../open-axiom-1.4.0/configure It is possible to tell configure where to put the final OpenAxiom |