kenzo.asd

;;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10 -*

(in-package :cl-user)

(defpackage :kenzo-asd
  (:use :cl :asdf))

(in-package :kenzo-asd)

(asdf:defsystem #:kenzo
  :description "A Symbolic Software for Effective Homology Computation by Francis Sergeraert"
  :version "1.1.9"
  :author "Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>"
  :license "GPLv3"
  :serial t
  :components
  ((:module "src"
            :components
            ((:module "kenzo-7"
                      :components
                      ((:file "package")
                       (:file "kenzo")
                       (:file "abbreviations")
                       (:file "macros")
                       (:file "various")
                       (:file "classes")
                       (:file "combinations")
                       (:file "chain-complexes")
                       (:file "chcm-elementary-op")
                       (:file "effective-homology")
                       (:file "homology-groups")
                       (:file "searching-homology")
                       (:file "cones")
                       (:file "bicones")
                       (:file "tensor-products")
                       (:file "coalgebras")
                       (:file "cobar")
                       (:file "algebras")
                       (:file "bar")
                       (:file "simplicial-sets")
                       (:file "simplicial-mrphs")
                       (:file "delta")
                       (:file "special-smsts")
                       (:file "suspensions")
                       (:file "disk-pasting")
                       (:file "cartesian-products")
                       (:file "eilenberg-zilber")
                       (:file "kan")
                       (:file "simplicial-groups")
                       (:file "fibrations")
                       (:file "loop-spaces")
                       (:file "ls-twisted-products")
                       (:file "lp-space-efhm")
                       (:file "classifying-spaces")
                       (:file "k-pi-n")
                       (:file "serre")
                       (:file "cs-twisted-products")
                       (:file "cl-space-efhm")
                       (:file "whitehead")
                       (:file "smith")))
             (:module "kenzo-8"
                      :components
                      ((:file "package")
                       (:file "cat-init")
                       (:file "macros")
                       (:file "various")
                       (:file "classes")
                       (:file "combinations")
                       (:file "chain-complexes")
                       (:file "chcm-elementary-op")
                       (:file "effective-homology")
                       (:file "homology-groups")
                       (:file "searching-homology")
                       (:file "cones")
                       (:file "bicones")
                       (:file "tensor-products")
                       (:file "coalgebras")
                       (:file "cobar")
                       (:file "algebras")
                       (:file "bar")
                       (:file "simplicial-sets")
                       (:file "simplicial-mrphs")
                       (:file "delta")
                       (:file "special-smsts")
                       (:file "suspensions")
                       (:file "disk-pasting")
                       (:file "cartesian-products")
                       (:file "eilenberg-zilber")
                       (:file "kan")
                       (:file "simplicial-groups")
                       (:file "fibrations")
                       (:file "loop-spaces")
                       (:file "ls-twisted-products")
                       (:file "lp-space-efhm")
                       (:file "classifying-spaces")
                       (:file "k-pi-n")
                       (:file "serre")
                       (:file "cs-twisted-products")
                       (:file "cl-space-efhm")
                       (:file "whitehead")
                       (:file "smith")))
             (:module "kenzo-9"
                      :components
                      ((:file "package")
                       (:file "cat-init")
                       (:file "macros")
                       (:file "various")
                       (:file "classes")
                       (:file "combinations")
                       (:file "chain-complexes")
                       (:file "chain-complexes-dvf")
                       (:file "chcm-elementary-op")
                       (:file "effective-homology")
                       (:file "homology-groups")
                       (:file "searching-homology")
                       (:file "cones")
                       (:file "bicones")
                       (:file "tensor-products")
                       (:file "coalgebras")
                       (:file "cobar")
                       (:file "algebras")
                       (:file "bar")
                       (:file "simplicial-sets")
                       (:file "simplicial-mrphs")
                       (:file "delta")
                       (:file "special-smsts")
                       (:file "suspensions")
                       (:file "disk-pasting")
                       (:file "cartesian-products")
                       (:file "eilenberg-zilber")
                       (:file "kan")
                       (:file "simplicial-groups")
                       (:file "fibrations")
                       (:file "fibrations-dvf")
                       (:file "loop-spaces")
                       (:file "ls-twisted-products")
                       (:file "lp-space-efhm")
                       (:file "classifying-spaces")
                       (:file "classifying-spaces-dvf")
                       (:file "k-pi-n")
                       (:file "serre")
                       (:file "cs-twisted-products")
                       (:file "cl-space-efhm")
                       (:file "whitehead")
                       (:file "new-smith")))))))