cudd.asd

   1 ;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10; -*-
   2 ;;;
   3 ;;; cudd.asd --- cudd wrapper
   4
   5 ;; Copyright (C) 2009 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 #-asdf-component-shared-unix-library
  33 (asdf:operate 'asdf:load-op :asdf-component-shared-unix-library)
  34
  35 (defpackage #:cudd-system
  36   (:use #:cl #:asdf #:asdf-component-shared-unix-library-system))
  37 (in-package #:cudd-system)
  38
  39 (defsystem #:cudd
  40   :description "?"
  41   :version     "0"
  42   :author      "Utz-Uwe Haus <lisp@uuhaus.de>"
  43   :license     "ask me"
  44   :depends-on  (:cffi :trivial-garbage)
  45   :components  ((:module "foreignlib"
  46                          :if-component-dep-fails :try-next
  47                          :pathname "distr/"
  48                          :components
  49                          (;; try installed copy
  50                           (:shared-unix-library "installed_libcudd"
  51                                                 :pathname "/usr/local/lib/libcudd")
  52                           (:shared-unix-library "installed_libcudd_so"
  53                                                 :pathname "/usr/local/lib/libcudd.so")
  54                           ;; try local copy
  55                           (:shared-unix-library "temp_libcudd"
  56                                                 :pathname "./cudd/libcudd")
  57                           (:shared-unix-library "temp_libcudd_so"
  58                                                 :pathname "./cudd/libcudd.so")))
  59
  60                 ;;              (:file "package")
  61                 (:file "package")
  62                 (:file "cuddapi" :depends-on ("foreignlib" "package"))
  63                 (:file "cuddsat" :depends-on ("cuddapi" "package"))
  64                 ))
  65