Sat Apr  2 02:47:50 UTC 2011  rbrown@common-lisp.net
  * Add cl-unification-test.asd
  Make (asdf:test-system 'cl-unification) work.
diff -rN -u old-cl-unification/cl-unification-test.asd new-cl-unification/cl-unification-test.asd
--- old-cl-unification/cl-unification-test.asd	1970-01-01 00:00:00.000000000 +0000
+++ new-cl-unification/cl-unification-test.asd	2013-11-10 20:13:31.000000000 +0000
@@ -0,0 +1,31 @@
+;;;;    cl-unification-test.asd
+
+
+(in-package #:asdf)
+
+;; Tests implemented using the ptester framework are run at *load* time, so
+;; we tell ASDF that loading a file containing ptester code is never done.
+;; This causes ASDF to run all the tests whenever ASDF:LOAD-SYSTEM or
+;; ASDF:TEST-SYSTEM is called with argument CL-UNIFICATION-TEST.
+
+(defclass ptester-source-file (cl-source-file)
+  ()
+  (:documentation "A Common Lisp source file containing ptester code."))
+
+(defmethod operation-done-p ((operation load-op) (component ptester-source-file))
+  nil)
+
+
+(in-package #:common-lisp-user)
+
+(defpackage #:cl-unification-test-system
+  (:use #:common-lisp #:asdf))
+
+(in-package #:cl-unification-test-system)
+
+(defsystem #:cl-unification-test
+  :depends-on (:cl-unification :ptester)
+  :components
+  ((:module "test"
+    :components
+    ((:ptester-source-file "unification-tests")))))
diff -rN -u old-cl-unification/cl-unification.asd new-cl-unification/cl-unification.asd
--- old-cl-unification/cl-unification.asd	2013-11-10 20:13:31.000000000 +0000
+++ new-cl-unification/cl-unification.asd	2013-11-10 20:13:31.000000000 +0000
@@ -25,6 +25,7 @@
 
 (asdf:defsystem :cl-unification
   :author "Marco Antoniotti"
+  :in-order-to ((test-op (test-op :cl-unification-test)))
   :serial t
   :components ((:file "unification-package")
                (:file "variables")
diff -rN -u old-cl-unification/test/unification-tests.lisp new-cl-unification/test/unification-tests.lisp
--- old-cl-unification/test/unification-tests.lisp	2013-11-10 20:13:31.000000000 +0000
+++ new-cl-unification/test/unification-tests.lisp	2013-11-10 20:13:31.000000000 +0000
@@ -1,13 +1,13 @@
 ;;;; -*- Mode: Lisp -*-
 
 ;;;; unification-tests.lisp --
-;;;; 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-UNIFICATION test suite.  Requires ptester, the public version of
+;;;; Franz's util.test package.
+
+(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION.TESTS"
+  (:use "CL" "UNIFY" "PTESTER")
+  (:nicknames  "CL.EXT.DACF.UNIFICATION.TESTS" "UNIFY.TESTS"))
 
-(cl:defpackage "UNIFY.TESTS"
-  (:use "CL" "UNIFY" #+allegro "UTIL.TEST" #-allegro "PTESTER"))
 (in-package "UNIFY.TESTS")
 
 ;; nil seems like a lousy default for this