-
Notifications
You must be signed in to change notification settings - Fork 0
/
lisp-types-test.asd
40 lines (38 loc) · 1.81 KB
/
lisp-types-test.asd
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
;; Copyright (c) 2016 EPITA Research and Development Laboratory
;;
;; Permission is hereby granted, free of charge, to any person obtaining
;; a copy of this software and associated documentation
;; files (the "Software"), to deal in the Software without restriction,
;; including without limitation the rights to use, copy, modify, merge,
;; publish, distribute, sublicense, and/or sell copies of the Software,
;; and to permit persons to whom the Software is furnished to do so,
;; subject to the following conditions:
;;
;; The above copyright notice and this permission notice shall be
;; included in all copies or substantial portions of the Software.
;;
;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
;; LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
;; OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
;; WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
(asdf:defsystem :lisp-types-test
:depends-on (:lisp-types
:bordeaux-threads
:closer-mop
(:version :lisp-unit "0.9.0"))
:components
((:module "lisp-types"
:components
((:file "test-lisp-types")
(:file "test-util")
(:file "test-perf" :depends-on ("analysis"))
(:file "test-typecase" :depends-on ("test-lisp-types"))
(:file "test-sat" :depends-on ("test-lisp-types" "test-perf"))
(:file "test-graph" :depends-on ("test-lisp-types" "test-perf"))
(:file "analysis" :depends-on ("test-lisp-types")) ;; valid-subtypes
(:file "test-bdd" :depends-on ("analysis" "test-lisp-types" "test-perf"))
(file "test-bdd-reduce")
))))