/[cl-kanren-trs]/cl-kanren-trs/tests/kanren-trs-test.asd
ViewVC logotype

Contents of /cl-kanren-trs/tests/kanren-trs-test.asd

Parent Directory Parent Directory | Revision Log Revision Log


Revision 6 - (show annotations)
Fri Feb 24 01:44:55 2012 UTC (2 years, 1 month ago) by mswank
File size: 1648 byte(s)
Removed unnecessary reference to stefil.
1 ;;; -*- Mode: Lisp; Package: COMMON-LISP-USER -*-
2 ;;; Copyright (c) 2008, Matthew Swank
3 ;;; All rights reserved.
4 ;;;
5 ;;; Redistribution and use in source and binary forms, with or without
6 ;;; modification, are permitted provided that the following conditions are met:
7 ;;;
8 ;;; * Redistributions of source code must retain the above copyright
9 ;;; notice, this list of conditions and the following disclaimer.
10 ;;; * Redistributions in binary form must reproduce the above copyright
11 ;;; notice, this list of conditions and the following disclaimer in the
12 ;;; documentation and/or other materials provided with the distribution.
13 ;;;
14 ;;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
15 ;;; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 ;;; IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 ;;; ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
18 ;;; LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
19 ;;; CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
20 ;;; SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
21 ;;; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
22 ;;; CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
23 ;;; ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
24 ;;; THE POSSIBILITY OF SUCH DAMAGE.
25
26 (asdf:defsystem :kanren-trs-test
27 :components
28 ((:file "packages")
29 (:file "kanren-aux" :depends-on ("packages"))
30 (:file "kanren-tests" :depends-on ("kanren-aux")))
31 :depends-on (:kanren-trs))

  ViewVC Help
Powered by ViewVC 1.1.5