diff options
| author |   Matthew Kennedy <mkennedy@gentoo.org> | 2003-10-18 10:13:19 +0000 |
|---|---|---|
| committer | Matthew Kennedy <mkennedy@gentoo.org> | 2003-10-18 10:13:19 +0000 |
| commit | 00c176b565f3fef4fcc8b7de690bfe3e8591eef8 (patch) | |
| tree | b74d08cc860280b78330b15908e5ebc72ba2e680 /dev-lisp/cl-rsm-modal | |
| parent | make fb optional #31107 (diff) | |
| download | historical-00c176b565f3fef4fcc8b7de690bfe3e8591eef8.tar.gz historical-00c176b565f3fef4fcc8b7de690bfe3e8591eef8.tar.bz2 historical-00c176b565f3fef4fcc8b7de690bfe3e8591eef8.zip | |
initial import
Diffstat (limited to 'dev-lisp/cl-rsm-modal')
| -rw-r--r-- | dev-lisp/cl-rsm-modal/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-lisp/cl-rsm-modal/Manifest | 4 | ||||
| -rw-r--r-- | dev-lisp/cl-rsm-modal/cl-rsm-modal-1.0.ebuild | 35 | ||||
| -rw-r--r-- | dev-lisp/cl-rsm-modal/files/digest-cl-rsm-modal-1.0 | 1 | ||||
| -rw-r--r-- | dev-lisp/cl-rsm-modal/metadata.xml | 5 |
5 files changed, 54 insertions, 0 deletions
diff --git a/dev-lisp/cl-rsm-modal/ChangeLog b/dev-lisp/cl-rsm-modal/ChangeLog new file mode 100644 index 000000000000..32e61504cc31 --- /dev/null +++ b/dev-lisp/cl-rsm-modal/ChangeLog @@ -0,0 +1,9 @@ +# ChangeLog for dev-lisp/cl-rsm-modal +# Copyright 2000-2003 Gentoo Technologies, Inc.; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lisp/cl-rsm-modal/ChangeLog,v 1.1 2003/10/18 10:13:19 mkennedy Exp $ + +*cl-rsm-modal-1.0 (18 Oct 2003) + + 18 Oct 2003; Matthew Kennedy <mkennedy@gentoo.org> : + Initial import. Ebuild submitted by Matthew Kennedy <mkennedy@genoo.org>. + Based on work from the Debian Project. diff --git a/dev-lisp/cl-rsm-modal/Manifest b/dev-lisp/cl-rsm-modal/Manifest new file mode 100644 index 000000000000..0d7fc13a2f52 --- /dev/null +++ b/dev-lisp/cl-rsm-modal/Manifest @@ -0,0 +1,4 @@ +MD5 9b65b0341efc8f4b29498aad23315229 metadata.xml 164 +MD5 0b971a55ab6a6288559d20cb47dfe9d5 cl-rsm-modal-1.0.ebuild 906 +MD5 9d950632893819c89de713ee7b40c853 ChangeLog 336 +MD5 6daa9610da06241d8457fd44b6219a97 files/digest-cl-rsm-modal-1.0 66 diff --git a/dev-lisp/cl-rsm-modal/cl-rsm-modal-1.0.ebuild b/dev-lisp/cl-rsm-modal/cl-rsm-modal-1.0.ebuild new file mode 100644 index 000000000000..606ea9326ae6 --- /dev/null +++ b/dev-lisp/cl-rsm-modal/cl-rsm-modal-1.0.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2003 Gentoo Technologies, Inc. +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lisp/cl-rsm-modal/cl-rsm-modal-1.0.ebuild,v 1.1 2003/10/18 10:13:19 mkennedy Exp $ + +inherit common-lisp + +DESCRIPTION="McIntire's Common Lisp Modal Logic Library" +HOMEPAGE="http://packages.debian.org/unstable/devel/cl-rsm-modal.html" +SRC_URI="http://ftp.debian.org/debian/pool/main/c/cl-rsm-modal/cl-rsm-modal_1.0.tar.gz" +LICENSE="BSD" +SLOT="0" +KEYWORDS="~x86" +IUSE="" +DEPEND="dev-lisp/common-lisp-controller + virtual/commonlisp " + +CLPACKAGE=rsm-modal + +S=${WORKDIR}/${P} + +src_install() { + common-lisp-install *.lisp *.asd + common-lisp-system-symlink + dodoc copying copyright + dohtml *.html *.jpg + do-debian-credits +} + +pkg_preinst() { + rm -rf /usr/lib/common-lisp/*/${CLPACKAGE} || true +} + +pkg_postrm() { + rm -rf /usr/lib/common-lisp/*/${CLPACKAGE} || true +} diff --git a/dev-lisp/cl-rsm-modal/files/digest-cl-rsm-modal-1.0 b/dev-lisp/cl-rsm-modal/files/digest-cl-rsm-modal-1.0 new file mode 100644 index 000000000000..4b4fae8b864c --- /dev/null +++ b/dev-lisp/cl-rsm-modal/files/digest-cl-rsm-modal-1.0 @@ -0,0 +1 @@ +MD5 4a41531c66b0583fce1aaac58cd29690 cl-rsm-modal_1.0.tar.gz 7947 diff --git a/dev-lisp/cl-rsm-modal/metadata.xml b/dev-lisp/cl-rsm-modal/metadata.xml new file mode 100644 index 000000000000..f418045b09c8 --- /dev/null +++ b/dev-lisp/cl-rsm-modal/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>common-lisp</herd> +</pkgmetadata> |