-
Notifications
You must be signed in to change notification settings - Fork 1
/
lisp-inference.asd
48 lines (43 loc) · 1.4 KB
/
lisp-inference.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
41
42
43
44
45
46
47
48
;; -*- mode: lisp -*-
;; Manoel Vilela
;;;; lisp-inference.asd
(asdf:defsystem #:lisp-inference
:description "An Inference Engine using Propositional Calculus"
:author "Manoel Vilela <[email protected]>"
:license "BSD"
:version "0.2.0"
:serial t
:pathname "src"
:components ((:file "package")
(:file "operators")
(:file "parser")
(:file "equivalences"
:depends-on ("parser" "operators"))
(:file "inferences"
:depends-on ("parser" "operators"))
(:file "truth-table"
:depends-on ("parser" "operators" "equivalences"))))
(asdf:defsystem #:lisp-inference/web
:description "An web interface for Lisp Inference Truth Table"
:author "Manoel Vilela <[email protected]>"
:license "BSD"
:version "0.2.0"
:serial t
:depends-on (:lisp-inference
:weblocks
:weblocks-ui
:find-port
:str)
:pathname "web"
:components ((:file "webapp")))
(asdf:defsystem #:lisp-inference/test
:description "Lisp Inference Test Suit"
:author "Manoel Vilela <[email protected]>"
:license "BSD"
:version "0.2.0"
:serial t
:pathname "t"
:depends-on (:lisp-inference :prove)
:components ((:file "test"))
:perform (asdf:test-op :after (op c)
(funcall (intern #.(string :run) :prove) c)))