close
Warning:
Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.
Rev | Line | |
---|
[85] | 1 | ;;; -*- mode: lisp -*-
|
---|
| 2 | (in-package :cl-user)
|
---|
| 3 |
|
---|
| 4 | #+sbcl(require :asdf)
|
---|
| 5 |
|
---|
[193] | 6 | (defpackage #:ngrobner-system
|
---|
[85] | 7 | (:use #:asdf #:cl))
|
---|
| 8 |
|
---|
[194] | 9 | (in-package #:ngrobner-system)
|
---|
[85] | 10 |
|
---|
[193] | 11 | (defsystem ngrobner
|
---|
[85] | 12 | :author "Marek Rychlik"
|
---|
| 13 | :licence "LLGPL"
|
---|
[4330] | 14 | ;; TODO: Define dependencies for components in a manner
|
---|
| 15 | ;; independent of file order
|
---|
[3746] | 16 | :components ((:file "copy")
|
---|
[4328] | 17 | (:file "utils")
|
---|
| 18 | (:file "ring" :depends-on ("copy"))
|
---|
[4327] | 19 | (:file "rational-field" :depends-on ("ring"))
|
---|
| 20 | (:file "integer-ring" :depends-on ("rational-field" "ring"))
|
---|
[1611] | 21 | (:file "monom")
|
---|
[3772] | 22 | (:file "polynomial")
|
---|
[1074] | 23 | (:file "infix")
|
---|
| 24 | (:file "infix-printer")
|
---|
[3783] | 25 | (:file "symbolic-polynomial")
|
---|
[3986] | 26 | (:file "heap")
|
---|
[4088] | 27 | (:file "grobner-debug")
|
---|
| 28 | (:file "division")
|
---|
[4330] | 29 | (:file "priority-queue" :depends-on ("heap"))
|
---|
[4133] | 30 | (:file "pair-queue")
|
---|
[4134] | 31 | (:file "criterion")
|
---|
[4268] | 32 | (:file "buchberger")
|
---|
[3744] | 33 | ;;(:file "gebauer-moeller")
|
---|
| 34 | ;;(:file "gb-postprocessing")
|
---|
| 35 | ;;(:file "grobner-wrap")
|
---|
| 36 | ;;(:file "ideal")
|
---|
| 37 | ;;(:file "ngrobner-package")
|
---|
[3745] | 38 | ;;(:file "ngrobner")
|
---|
[87] | 39 | )
|
---|
[85] | 40 |
|
---|
[194] | 41 | :perform (load-op :after (op ngrobner)
|
---|
| 42 | (pushnew :ngrobner cl:*features*))
|
---|
[88] | 43 |
|
---|
[85] | 44 | )
|
---|
Note:
See
TracBrowser
for help on using the repository browser.
Download in other formats: