satwrap.asd

   1 ;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10; -*-
   2 ;;;
   3 ;;; satwrap.asd --- SAT solver wrapper for CL
   4
   5 ;; Copyright (C) 2010 Utz-Uwe Haus <lisp@uuhaus.de>
   6 ;;
   7 ;; $Id:$
   8 ;;
   9 ;; This code is free software; you can redistribute it and/or modify
  10 ;; it under the terms of the version 3 of the GNU General
  11 ;; Public License as published by the Free Software Foundation, as
  12 ;; clarified by the prequel found in LICENSE.Lisp-GPL-Preface.
  13 ;;
  14 ;; This code is distributed in the hope that it will be useful, but
  15 ;; without any warranty; without even the implied warranty of
  16 ;; merchantability or fitness for a particular purpose. See the GNU
  17 ;; Lesser General Public License for more details.
  18 ;;
  19 ;; Version 3 of the GNU General Public License is in the file
  20 ;; LICENSE.GPL that was distributed with this file. If it is not
  21 ;; present, you can access it from
  22 ;; http://www.gnu.org/copyleft/gpl.txt (until superseded by a
  23 ;; newer version) or write to the Free Software Foundation, Inc., 59
  24 ;; Temple Place, Suite 330, Boston, MA 02111-1307 USA
  25 ;;
  26 ;; Commentary:
  27
  28 ;;
  29
  30 ;;; Code:
  31
  32
  33 #-asdf-component-shared-unix-library
  34 (asdf:operate 'asdf:load-op :asdf-component-shared-unix-library)
  35
  36 (defpackage #:satwrap-system
  37   (:use #:cl #:asdf #:asdf-component-shared-unix-library-system))
  38 (in-package #:satwrap-system)
  39
  40 (defsystem #:satwrap
  41   :description "?"
  42   :version     "0"
  43   :author      "Utz-Uwe Haus <lisp@uuhaus.de>"
  44   :license     "ask me"
  45   :depends-on  ("cffi"
  46                 "trivial-garbage")
  47   :components  ((:file "package")
  48                 (:file "backend" :depends-on ("package"))
  49                 (:module
  50                  :backends
  51                  :components ((:module
  52                                :precosat
  53                                :if-component-dep-fails :try-next
  54                                :serial T
  55                                :components ((:shared-unix-library
  56                                              "libprecosat"
  57                                              :pathname "libprecosat")
  58                                             (:shared-unix-library
  59                                              "libprecosat_so"
  60                                              :pathname "libprecosat.so")
  61                                             (:file "satwrap.precosat"))))
  62                  :depends-on ("backend" "package"))
  63                 ;; top-level:
  64
  65                 (:file "satwrap" :depends-on ("package"
  66                                               "backends"))
  67                 (:file "dimacs" :depends-on ("package" "backend" "satwrap"))
  68                 ))
  69