From 0b08258c7aa45bf6b58580eb4e35fc8694da86a4 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Tue, 4 Aug 2015 20:56:08 -0500 Subject: [PATCH] Update README.md --- README.md | 42 ++++++++++++++++++++---------------------- 1 file changed, 20 insertions(+), 22 deletions(-) diff --git a/README.md b/README.md index 61b8f09..7a46895 100644 --- a/README.md +++ b/README.md @@ -20,15 +20,9 @@ This version aims to update its infrastructure by providing the following: 3. Installation via the [Quicklisp](http://www.quicklisp.org/beta/) library manager -Items 1 and 2 are well underway. Item 3 is pending after Francis Sergeraert kindly -agreed to license the software under [GPLv3](http://www.gnu.org/licenses/gpl-3.0.en.html). - *!!! WARNING !!!* This is work in progress and there are several [issues](https://github.com/gheber/kenzo/issues). -The entire code now compiles fine w/ CCL, ECL, SBCL, but that's just the first step. There are plenty -of examples in [publications](http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/) and scattered -throughout the source. Many work (most?), some don't. *Let's get to work! ...* ## Getting up and running @@ -49,18 +43,26 @@ Then in your Lisp (e.g., in ECL) type ### Quicklisp -I'm a big fan and supporter of [Quicklisp](http://www.quicklisp.org/beta/), and use it for all my local projects. -Assuming you've installed Quicklisp in `C:\home\quicklisp` or `/home/joeuser/quicklisp`, your *local projects directory* will be `C:\home\quicklisp\local-projects` or `/home/joeuser/quicklisp/local-projects`. +Assuming you have [Quicklisp](http://www.quicklisp.org/beta/), there isn't really much to say here: -Making Kenzo `quickload`-able is a piece of cake: +``` +* (ql:quickload :kenzo) +To load "kenzo": + Install 1 Quicklisp release: + kenzo +; Fetching # +; 1835.57KB +================================================== +1,879,625 bytes in 1.48 seconds (1236.91KB/sec) +; Loading "kenzo" +[package cat]..................................... +.................................................. +.............................. +(:KENZO) +* +``` -1. Clone the Kenzo repository into your local projects directory, i.e., `C:\home\quicklisp\local-projects\kenzo` or `/home/joeuser/quicklisp/local-projects/kenzo`. -2. Tell Quicklisp about Kenzo by adding the following two lines to the `system-index.txt` file in the local projects directory: -``` - kenzo\kenzo.asd - kenzo\kenzo-test.asd -``` -Verify that you're good to go by loading and running the Kenzo test suite. For example, in an `sbcl` prompt (I've tested this with SBCL 1.2.13 on Debian and Windows) you should see something like this: +Verify that you're good to go by loading and running the Kenzo regression test suite. For example, in an `sbcl` prompt you should see something like this: ``` * (ql:quickload :kenzo-test) To load "kenzo-test": @@ -76,15 +78,11 @@ Running test suite KENZO Running test L-CMPR .......... Running test S-CMPR ..... ... - Running test CDELTA ---done--- - Did 642 checks. - Pass: 642 (100%) + Did 786 checks. + Pass: 786 (100%) Skip: 0 ( 0%) Fail: 0 ( 0%) ``` Similarly, you'd load Kenzo via `(ql:quickload :kenzo)`. - - -[![GPLv3 Logo](http://www.gnu.org/graphics/gplv3-127x51.png)](http://www.gnu.org/licenses/gpl-3.0.en.html)