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 2016-01-15 00:29:29.000000000 +0000 +++ new-cl-unification/test/unification-tests.lisp 2016-01-15 00:29:29.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")