1 ;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10; -*-
3 ;;; cudd.asd --- cudd wrapper
5 ;; Copyright (C) 2009 Utz-Uwe Haus <lisp@uuhaus.de>
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.
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.
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
32 #-asdf-component-shared-unix-library
33 (asdf:operate 'asdf:load-op :asdf-component-shared-unix-library)
35 (defpackage #:cudd-system
36 (:use #:cl #:asdf #:asdf-component-shared-unix-library-system))
37 (in-package #:cudd-system)
42 :author "Utz-Uwe Haus <lisp@uuhaus.de>"
44 :depends-on (:cffi :trivial-garbage)
45 :components ((:module "foreignlib"
46 :if-component-dep-fails :try-next
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")
55 (:shared-unix-library "temp_libcudd"
56 :pathname "./cudd/libcudd")
57 (:shared-unix-library "temp_libcudd_so"
58 :pathname "./cudd/libcudd.so")))
62 (:file "cuddapi" :depends-on ("foreignlib" "package"))
63 (:file "cuddsat" :depends-on ("cuddapi" "package"))