;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; This file is part of ICCLE2.
;
; ICCLE2 is free software: you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation, either version 3 of the License, or
; (at your option) any later version.
;
; ICCLE2 is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with ICCLE2.  If not, see <http://www.gnu.org/licenses/>.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defsystem "deftests-ric"
  :description "Ric's Deftests for proj 1"
  :version     "0.01"
  :author      "CS572 Team 9"
  :licence     "GPL3.0"
  :components
((:file "deftests/ric-third")
 (:file "deftests/ric-cons")
 (:file "deftests/ric-listp")
 (:file "deftests/ric-null")
 (:file "deftests/ric-not")
 (:file "deftests/ric-greater") 
 (:file "deftests/ric-less")
 (:file "deftests/ric-member")
 (:file "deftests/ric-append")
 (:file "deftests/ric-nth")
 (:file "deftests/ric-nthcdr")
 (:file "deftests/ric-adjoin")
 (:file "deftests/ric-intersection")
 (:file "deftests/ric-length")
 (:file "deftests/ric-reverse")
 (:file "deftests/ric-push")
 (:file "deftests/ric-pop")
 (:file "deftests/ric-subseq")
 (:file "deftests/ric-zerop")
 (:file "deftests/ric-last")
))