Sat Jan 23 00:31:24 UTC 2010 pix@kepibu.org
* Make tests file loadable
diff -rN -u old-cl-unification/test/unification-tests.lisp new-cl-unification/test/unification-tests.lisp
--- old-cl-unification/test/unification-tests.lisp 2015-12-16 07:42:55.000000000 +0000
+++ new-cl-unification/test/unification-tests.lisp 2015-12-16 07:42:55.000000000 +0000
@@ -1,10 +1,13 @@
;;;; -*- Mode: Lisp -*-
;;;; unification-tests.lisp --
-;;;; CL-UNIFICATION test suite. Requires Franz's util.test package.
+;;;; CL-UNIFICATION test suite. Requires Franz's util.test package on
+;;;; allegro or the ptester compatibility library on other lisps.
+#+allegro (require :tester)
+#-allegro (asdf:oos 'asdf:load-op :ptester)
(cl:defpackage "UNIFY.TESTS"
- (:use "CL" "UNIFY" "UTIL.TEST"))
+ (:use "CL" "UNIFY" #+allegro "UTIL.TEST" #-allegro "PTESTER"))
(in-package "UNIFY.TESTS")
(with-tests (:name "basic constant unification")