document building process?

[dimpase]

Would it be possible to add a note how to build Kenzo using your setup ?

[dimpase]

please see my pull request, where this is addressed in one of commits.

[gheber]

Thanks a lot. I'll go over it tonight.

[gheber]

I have added a quick-start guide to the README. Does that work for you?

[dimpase]

It does work; but this is running Kenzo in a CL interpreter (it takes few seconds to load, it just cannot be that compilation of code is done), which is not fast enough for anything but toy examples.
Certainly for doing real things one would need to compile the code, IMHO.

[dimpase]

One way or another, it's a bug that the ASDF way of load the Kenzo system does not work with SBCL.

[gheber]

Have a look at my latest commit, esp. kenzo/doc/How-to-Compile-Kenzo-with-SBCL.txt. Does that do what you're looking for?

[dimpase]

No, this is an old pre-ASDF way to build things; on ECL cat-init.lisp is not needed at all. If we want to have something ready for quicklisp, it ought to be compiler-neutral...

[gheber]

I think I've cornered the problem. Have a look at issues #9, #10, #11, #12, #13. For now, I have commented the offending functions. With that (asdf:operate 'asdf:load-op 'kenzo) works just fine w/ SBCL 1.2.12. The test suite has one failure now, because of a missing function.