test-module-excessive-depend.script 3.58 KB
Newer Older
1
;;; -*- Lisp -*-
2

3 4 5 6 7 8 9 10 11 12 13 14
;;;---------------------------------------------------------------------------
;;; Here's what we are trying to test.  Let us say we have a system X that
;;; contains a file, "file1" and a module, "quux" that depends on file 1.  In
;;; turn, "quux" contains "file2" which depends on loading another system, Y
;;; (note that this dependency cannot be recorded using only the defsystem
;;; grammar; we must use an ancillary method definition).  If we over-force
;;; actions, then the recompiling of "file1" will force "quux" to be loaded,
;;; forcing "file2" load and in turn forcing the reload and recompilation of Y.
;;; If operations are done properly, a change to file1 will force recompilation
;;; and reloading of "file2," but /not/ of system Y.
;;;---------------------------------------------------------------------------

15 16
(setf asdf::*asdf-session* (make-instance asdf::*asdf-session-class*))

17 18 19 20 21 22
(def-test-system :test-module-excessive-depend
  :components ((:file "file1")
               (:module "quux"
                :pathname ""
                :depends-on ("file1")
                :components ((:file "file2")))))
23

24 25
(defun find-quux ()
  (find-component :test-module-excessive-depend "quux"))
26

27 28
(defun find-file2 ()
  (find-component (find-quux) "file2"))
29

30 31 32 33
(defmethod component-depends-on ((op load-op)
                                 (c (eql (find-file2))))
  (cons `(load-op ,(find-system "file3-only"))
        (call-next-method)))
34

35 36 37 38
(defmethod component-depends-on ((op compile-op)
                                 (c (eql (find-file2))))
  (cons `(load-op ,(find-system "file3-only"))
        (call-next-method)))
39

40 41
(DBG "loading test-module-excessive-depend"
     (operate 'load-op 'test-module-excessive-depend))
42

43 44 45 46 47 48 49 50 51
;; test that it compiled
(defparameter file1 (test-fasl "file1"))
(defparameter file2 (test-fasl "file2"))
(defparameter file3 (test-fasl "file3"))
(defparameter file1-date (file-write-date file1))
(defparameter file2-date (file-write-date file2))
(defparameter file3-date (file-write-date file3))
(unless (and file1-date file2-date file3-date)
  (error "Failed to compile one of the three files ~
52
	     that should be compiled for this test: ~{~a~}"
53 54 55 56
         (mapcar #'cdr
                 (remove-if #'car
                            (pairlis (list file1-date file2-date file3-date)
                                     '("file1" "file2" "file3"))))))
57

58
;; and loaded
59 60
(assert (eval (find-symbol* '#:*file1* :test-package)))
(assert (eval (find-symbol* '#:*file3* :test-package)))
61 62


63 64 65 66
;; now touch file1 and check that file2 _is_ also recompiled
;; but that file3 is _not_ recompiled.
;; this will only work if the cross-module (intra-system)
;; dependency bug is fixed and the excessive compilation bug is fixed.
67

68
(defparameter before file3-date)
69
(touch-file (test-source "file1.lisp") :timestamp (- before 60))
70
(touch-file file1 :timestamp (- before 90))
71
(touch-file (test-source "file2.lisp") :timestamp (- before 30))
72
(touch-file file2 :timestamp (- before 15))
73

74 75
(defparameter plan (traverse 'load-op 'test-module-excessive-depend))
(defparameter file3c (find-component :file3-only "file3"))
76
#|(format t "~%Operation plan is:~%")(pprint plan)(terpri)|#
77
(when (loop :for (o . c) :in plan :thereis (and (eq c file3c) (typep o 'asdf:compile-op)))
78
  (error "Excessive operations on file3-only system.  Bad propagation of dependencies."))
79
(operate 'load-op 'test-module-excessive-depend)
80 81
(assert-compare (>= (file-write-date file1) before))
(assert-compare (>= (file-write-date file2) before))
82 83 84
(unless (= (file-write-date file3)
           file3-date)
  (error "Excessive compilation of file3.lisp:  traverse bug."))