[gentoo-commits] proj/lisp:master commit in: dev-lisp/rsm-modal/, dev-lisp/rsm-modal/files/
commit: e608f233f78ef2447afcdf819bf39631d041944d
Author: Chema Alonso Josa gentoo org>
AuthorDate: Sun Mar 18 22:24:10 2018 +
Commit: José María Alonso gentoo org>
CommitDate: Sun Mar 18 22:24:10 2018 +
URL:https://gitweb.gentoo.org/proj/lisp.git/commit/?id=e608f233
dev-lisp/rsm-modal: Drops package
.../files/1.2-gentoo-fix-defconstant.patch | 19
dev-lisp/rsm-modal/rsm-modal-1.2.ebuild| 35 --
2 files changed, 54 deletions(-)
diff --git a/dev-lisp/rsm-modal/files/1.2-gentoo-fix-defconstant.patch
b/dev-lisp/rsm-modal/files/1.2-gentoo-fix-defconstant.patch
deleted file mode 100644
index c515cdb1..
--- a/dev-lisp/rsm-modal/files/1.2-gentoo-fix-defconstant.patch
+++ /dev/null
@@ -1,19 +0,0 @@
-diff -Naur cl-rsm-modal.orig/modal.lisp cl-rsm-modal/modal.lisp
cl-rsm-modal.orig/modal.lisp 2003-09-11 18:40:26.0 +0200
-+++ cl-rsm-modal/modal.lisp2008-12-16 01:36:17.0 +0100
-@@ -34,10 +34,11 @@
- (make-hash-table :test #'equalp)
- "Stores modal systems by name.")
-
--(defconstant +primitive-truth-function+
--#'(lambda (world prop)
--(declare (ignore world prop))
--nil)
-+(defun always-false (world prop)
-+ (declare (ignore world prop))
-+ nil)
-+
-+(defconstant +primitive-truth-function+ 'always-false
- "The default function to compute the default value of
- a proposition in a given world."
- )
diff --git a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
b/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
deleted file mode 100644
index d2b67085..
--- a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit common-lisp-3
-
-DESCRIPTION="R. Scott McIntire's Common Lisp Modal Logic Library."
-HOMEPAGE="http://packages.debian.org/unstable/devel/cl-rsm-modal;
-SRC_URI="mirror://debian/pool/main/c/cl-${PN}/cl-${PN}_${PV}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE=""
-
-RDEPEND="!dev-lisp/cl-${PN}
- dev-lisp/cl-plus"
-
-S="${WORKDIR}"/cl-${PN}
-
-src_unpack() {
- unpack ${A}
-}
-
-src_prepare() {
- eapply "${FILESDIR}"/${PV}-gentoo-fix-defconstant.patch
- eapply_user
-}
-
-src_install() {
- common-lisp-install-sources *.lisp
- common-lisp-install-asdf
- dohtml ${PN}.html
-}
[gentoo-commits] proj/lisp:master commit in: dev-lisp/rsm-modal/
commit: f66540c02a0c44c388b57cebb978c272ebf7bbec
Author: Chema Alonso Josa gentoo org>
AuthorDate: Tue Jul 4 16:17:47 2017 +
Commit: José María Alonso gentoo org>
CommitDate: Tue Jul 4 16:17:47 2017 +
URL:https://gitweb.gentoo.org/proj/lisp.git/commit/?id=f66540c0
dev-lisp/rsm-modal: Updates to common-lisp-3 eclass
dev-lisp/rsm-modal/rsm-modal-1.2.ebuild | 17 +++--
1 file changed, 11 insertions(+), 6 deletions(-)
diff --git a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
b/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
index c4876d35..d2b67085 100644
--- a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
+++ b/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild
@@ -1,8 +1,9 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Id$
-inherit common-lisp-2
+EAPI=6
+
+inherit common-lisp-3
DESCRIPTION="R. Scott McIntire's Common Lisp Modal Logic Library."
HOMEPAGE="http://packages.debian.org/unstable/devel/cl-rsm-modal;
@@ -20,11 +21,15 @@ S="${WORKDIR}"/cl-${PN}
src_unpack() {
unpack ${A}
- epatch "${FILESDIR}"/${PV}-gentoo-fix-defconstant.patch
+}
+
+src_prepare() {
+ eapply "${FILESDIR}"/${PV}-gentoo-fix-defconstant.patch
+ eapply_user
}
src_install() {
- common-lisp-install *.{lisp,asd}
- common-lisp-symlink-asdf
+ common-lisp-install-sources *.lisp
+ common-lisp-install-asdf
dohtml ${PN}.html
}
[gentoo-commits] proj/lisp:master commit in: dev-lisp/rsm-modal/
commit: f9c2c63fa4a92945eba3a1a8e3379bff458ee348 Author: Chema Alonso Josa gentoo org> AuthorDate: Fri Dec 2 21:50:18 2016 + Commit: José María Alonso gentoo org> CommitDate: Fri Dec 2 21:50:18 2016 + URL:https://gitweb.gentoo.org/proj/lisp.git/commit/?id=f9c2c63f dev-lisp/rsm-modal: Updates header dev-lisp/rsm-modal/rsm-modal-1.2.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild b/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild index 706ae54..c4876d3 100644 --- a/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild +++ b/dev-lisp/rsm-modal/rsm-modal-1.2.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: $ +# $Id$ inherit common-lisp-2
