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 :backends
  50                            :components
  51                            ((: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                             (:module
  63                              :minisat
  64                              :if-component-dep-fails :try-next
  65                              :serial T
  66                              :components ((:shared-unix-library
  67                                            "libminisat"
  68                                            :pathname "simp/.libs/libminisat")
  69                                           (:shared-unix-library
  70                                            "libminisat_so"
  71                                            :pathname "simp/.libs/libminisat.so")
  72                                           (:file "satwrap.minisat"))))
  73                            :depends-on ("backend" "package"))
  74                   ;; top-level:
  75
  76                   (:file "satwrap" :depends-on ("package"
  77                                                 "backends"))
  78                   (:file "dimacs" :depends-on ("package" "backend" "satwrap"))
  79                   ))
  80