1 |
commit: f2f5341aedb640103a3925b5979c148cce2fb54a |
2 |
Author: Mikle Kolyada <zlogene <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jan 12 17:48:59 2020 +0000 |
4 |
Commit: Mikle Kolyada <zlogene <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jan 12 17:48:59 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f2f5341a |
7 |
|
8 |
sci-mathematics/nusmv: remove last-rited pkg |
9 |
|
10 |
Signed-off-by: Mikle Kolyada <zlogene <AT> gentoo.org> |
11 |
|
12 |
sci-mathematics/nusmv/Manifest | 2 - |
13 |
sci-mathematics/nusmv/metadata.xml | 15 ------ |
14 |
sci-mathematics/nusmv/nusmv-2.6.0.ebuild | 83 -------------------------------- |
15 |
3 files changed, 100 deletions(-) |
16 |
|
17 |
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest |
18 |
deleted file mode 100644 |
19 |
index fdca8a2337a..00000000000 |
20 |
--- a/sci-mathematics/nusmv/Manifest |
21 |
+++ /dev/null |
22 |
@@ -1,2 +0,0 @@ |
23 |
-DIST NuSMV-2.6.0.tar.gz 4223312 BLAKE2B 8915a3d0488a3d1d2910db7b7ad789131657c9e8f5562663333ed7b306424ded1985ffaf00b89d0edc693472c3e51003e54e6e71b853f3b28a81a5b3ae88d440 SHA512 3749e0267c2adffaa5f2f98ee925f5a774e3132277a02c549b3f4b836f8b090a44d6a14730b58251d7bb88055eb55e89f0eab7fea8714cb2f0786afd803efd0e |
24 |
-DIST zchaff.64bit.2007.3.12.zip 63139 BLAKE2B d843b029f51ae2437fafb306e6e8029bc484a061d99439d1e4a195831487238753360d1ec159edefc81c1d9565e2587ca492ddb4b5b90d3025e015d3202dde8b SHA512 075d0bceede6643a880763943cba9a2fa0f6c58c47b86c0a2bbbe86a2e3925dc5b3859800d1cab0c558d727635556beb77f9efbd0f2837a768ef8d513dc2b300 |
25 |
|
26 |
diff --git a/sci-mathematics/nusmv/metadata.xml b/sci-mathematics/nusmv/metadata.xml |
27 |
deleted file mode 100644 |
28 |
index 314da184fb2..00000000000 |
29 |
--- a/sci-mathematics/nusmv/metadata.xml |
30 |
+++ /dev/null |
31 |
@@ -1,15 +0,0 @@ |
32 |
-<?xml version="1.0" encoding="UTF-8"?> |
33 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
34 |
-<pkgmetadata> |
35 |
- <maintainer type="person"> |
36 |
- <email>robbat2@g.o</email> |
37 |
- </maintainer> |
38 |
- <maintainer type="project"> |
39 |
- <email>sci-mathematics@g.o</email> |
40 |
- <name>Gentoo Mathematics Project</name> |
41 |
- </maintainer> |
42 |
- <use> |
43 |
- <flag name="minisat">Enable support for MiniSat</flag> |
44 |
- <flag name="zchaff">Enable support for zChaff</flag> |
45 |
- </use> |
46 |
-</pkgmetadata> |
47 |
|
48 |
diff --git a/sci-mathematics/nusmv/nusmv-2.6.0.ebuild b/sci-mathematics/nusmv/nusmv-2.6.0.ebuild |
49 |
deleted file mode 100644 |
50 |
index 0163a1103bd..00000000000 |
51 |
--- a/sci-mathematics/nusmv/nusmv-2.6.0.ebuild |
52 |
+++ /dev/null |
53 |
@@ -1,83 +0,0 @@ |
54 |
-# Copyright 1999-2017 Gentoo Foundation |
55 |
-# Distributed under the terms of the GNU General Public License v2 |
56 |
- |
57 |
-EAPI=6 |
58 |
- |
59 |
-PYTHON_COMPAT=( python2_7 ) |
60 |
- |
61 |
-inherit cmake-utils python-any-r1 toolchain-funcs |
62 |
- |
63 |
-MY_P="NuSMV-${PV}" |
64 |
-NUSMV_A="${MY_P}.tar.gz" |
65 |
-ZCHAFF_A="zchaff.64bit.2007.3.12.zip" |
66 |
- |
67 |
-DESCRIPTION="NuSMV: new symbolic model checker" |
68 |
-HOMEPAGE="http://nusmv.fbk.eu/" |
69 |
-SRC_URI="http://nusmv.fbk.eu/distrib/${NUSMV_A} |
70 |
- zchaff? ( http://www.princeton.edu/~chaff/zchaff/${ZCHAFF_A} )" |
71 |
- |
72 |
-LICENSE="LGPL-2.1" |
73 |
-SLOT="0" |
74 |
-KEYWORDS="~amd64 ~x86" |
75 |
-IUSE="minisat doc zchaff" |
76 |
-REQUIRED_USE="|| ( minisat zchaff )" |
77 |
- |
78 |
-SHARED_DEPEND="minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 )" |
79 |
-RDEPEND="${SHARED_DEPEND} |
80 |
- dev-libs/expat" |
81 |
-DEPEND="${SHARED_DEPEND} |
82 |
- doc? ( |
83 |
- virtual/latex-base |
84 |
- dev-texlive/texlive-latexextra |
85 |
- app-doc/doxygen |
86 |
- ) |
87 |
- app-arch/unzip |
88 |
- dev-libs/libxml2 |
89 |
- ${PYTHON_DEPS}" |
90 |
- |
91 |
-S="${WORKDIR}/${MY_P}/NuSMV" |
92 |
- |
93 |
-src_unpack() { |
94 |
- unpack "${NUSMV_A}" |
95 |
- if use zchaff; then |
96 |
- cp "${DISTDIR}/${ZCHAFF_A}" "${WORKDIR}/${MY_P}/zChaff" || die |
97 |
- fi |
98 |
-} |
99 |
- |
100 |
-src_prepare() { |
101 |
- sed -i -e 's/-mcpu=[^\s]*//' "${WORKDIR}/${MY_P}/cudd-2.4.1.1"/Makefile || die |
102 |
- # Prevent automatic build of minisat - we are using the ebuild from portage |
103 |
- sed -i -e 's/ add_subdirectory(${MINISAT_SOURCE_DIR} ${MINISAT_BUILD_DIR})//' \ |
104 |
- -e 's/MINISAT_LIB/MiniSat/' CMakeLists.txt || die |
105 |
- sed -i -e 's/DEPENDS MINISAT_BUILD//' code/nusmv/core/sat/solvers/CMakeLists.txt || die |
106 |
- # Change the "prog-man/html" rule to optional |
107 |
- sed -i -e '/\s*install( .*html /s:${PROJECT_BINARY_DIR}:share/nusmv/doc OPTIONAL:' doc/prog-man/CMakeLists.txt || die |
108 |
- # Change the doc destination |
109 |
- sed -i -e "s:share/nusmv/doc:share/doc/${PF}:" doc/{tutorial,user-man,prog-man}/CMakeLists.txt || die |
110 |
- |
111 |
- # Correction for proper parallel compilation |
112 |
-# sed -i -e 's/COMMAND ${MAKE}/COMMAND $(MAKE)/' "${WORKDIR}/${MY_P}/"{zchaff,MiniSat}/CMakeLists.txt || die |
113 |
- default |
114 |
-} |
115 |
- |
116 |
-src_configure() { |
117 |
- local mycmakeargs=( |
118 |
- -DENABLE_MINISAT=$(usex minisat) |
119 |
- -DENABLE_ZCHAFF=$(usex zchaff) |
120 |
- -DMINISAT_INCLUDE_DIR="${EPREFIX}"/usr/include/minisat/simp |
121 |
- ) |
122 |
- |
123 |
- cmake-utils_src_configure |
124 |
-} |
125 |
- |
126 |
-src_compile() { |
127 |
- local targets=( all ) |
128 |
- use doc && targets+=( prog-man user-man html tutorial docs ) |
129 |
- cmake-utils_src_compile "${targets[@]}" |
130 |
-} |
131 |
- |
132 |
-src_install() { |
133 |
- cmake-utils_src_install |
134 |
- # Remove docs where they do not belong to |
135 |
- rm -f "${ED%/}"/usr/share/nusmv/{LGPL-2.1,README*,NEWS} || die |
136 |
-} |