From f40740ee8e4ed3735dd113e299ce1833d45db729 Mon Sep 17 00:00:00 2001 From: Dima Pasechnik Date: Sat, 13 Jun 2015 19:04:15 +0100 Subject: [PATCH 1/2] a fix to allow compilation on ECL --- src/effective-homology.lisp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/effective-homology.lisp b/src/effective-homology.lisp index 13454c0..fde20b9 100644 --- a/src/effective-homology.lisp +++ b/src/effective-homology.lisp @@ -79,6 +79,9 @@ ;;; HOMOTOPY-EQUIVALENCES ;;; +;;(defgeneric build-hmeq (keyword lrdct &key &allow-other-keys) +(DEFGENERIC BUILD-HMEQ (keyword lrdct &key) + (:documentation "needed by ECL")) (DEFMETHOD BUILD-HMEQ ((keyword1 (eql :lrdct)) lrdct &key rrdct orgn) (declare From adcc9a6483d79cfb24f550d5501d584b9729ba8d Mon Sep 17 00:00:00 2001 From: Dima Pasechnik Date: Sat, 13 Jun 2015 19:29:36 +0100 Subject: [PATCH 2/2] explain how to load the stuff --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 22a31dc..4a647a9 100644 --- a/README.md +++ b/README.md @@ -23,3 +23,15 @@ This is work in progress. The entire code now compiles fine w/ 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! ...* + + +To load Kenzo as provided by this repo, make sure ASDF knowns where to find +the source, e.g. by creating a link to this directory at + + ~/.local/share/common-lisp/source/ + +Then in your Lisp (e.g. in ECL) type +```lisp +(require :asdf) +(require :kenzo) +```