1 |
commit: fcefefe71ba9b05fa30693775f6adcc36b03c4a6 |
2 |
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Jun 25 20:51:41 2016 +0000 |
4 |
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Jun 25 21:03:07 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fcefefe7 |
7 |
|
8 |
sci-mathematics/coq: Clean up old. |
9 |
|
10 |
Package-Manager: portage-2.2.28 |
11 |
|
12 |
.../files/coq-8.4_p5-do-not-install-revision.patch | 19 ------------------- |
13 |
sci-mathematics/coq/files/coq-8.4_p5-hevea.patch | 11 ----------- |
14 |
sci-mathematics/coq/files/coqide.desktop | 9 --------- |
15 |
3 files changed, 39 deletions(-) |
16 |
|
17 |
diff --git a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch b/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch |
18 |
deleted file mode 100644 |
19 |
index e97f4a1..0000000 |
20 |
--- a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch |
21 |
+++ /dev/null |
22 |
@@ -1,19 +0,0 @@ |
23 |
---- coq-8.4pl5-orig/Makefile.build 2014-10-22 19:30:53.000000000 +1100 |
24 |
-+++ coq-8.4pl5/Makefile.build 2015-02-15 12:06:48.044999959 +1100 |
25 |
-@@ -655,16 +655,12 @@ |
26 |
- # it with libraries |
27 |
- -$(MKDIR) $(FULLCOQLIB)/plugins/micromega |
28 |
- $(INSTALLBIN) $(CSDPCERT) $(FULLCOQLIB)/plugins/micromega |
29 |
-- rm -f $(FULLCOQLIB)/revision |
30 |
-- -$(INSTALLLIB) revision $(FULLCOQLIB) |
31 |
- |
32 |
- install-library-light: |
33 |
- $(MKDIR) $(FULLCOQLIB) |
34 |
- $(INSTALLSH) $(FULLCOQLIB) $(LIBFILESLIGHT) $(INITPLUGINS) |
35 |
- $(MKDIR) $(FULLCOQLIB)/states |
36 |
- $(INSTALLLIB) states/*.coq $(FULLCOQLIB)/states |
37 |
-- rm -f $(FULLCOQLIB)/revision |
38 |
-- -$(INSTALLLIB) revision $(FULLCOQLIB) |
39 |
- ifeq ($(BEST),opt) |
40 |
- $(INSTALLSH) $(FULLCOQLIB) $(INITPLUGINSOPT) |
41 |
- endif |
42 |
|
43 |
diff --git a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch |
44 |
deleted file mode 100644 |
45 |
index c76f1de..0000000 |
46 |
--- a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch |
47 |
+++ /dev/null |
48 |
@@ -1,11 +0,0 @@ |
49 |
---- coq-8.4pl5-orig/Makefile.doc 2014-10-22 19:30:53.000000000 +1100 |
50 |
-+++ coq-8.4pl5/Makefile.doc 2015-02-15 15:28:34.797911303 +1100 |
51 |
-@@ -148,7 +148,7 @@ |
52 |
- ###################################################################### |
53 |
- |
54 |
- $(INDEXURLS): $(INDEXES) |
55 |
-- cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@ |
56 |
-+ cat $< | grep li-indexenv | grep href | sed -e 's@.*>\([^<]*\)</span>.*, <a href="\([^"]*\)">.*@\1,\2@' > $@ |
57 |
- |
58 |
- |
59 |
- ###################################################################### |
60 |
|
61 |
diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop |
62 |
deleted file mode 100644 |
63 |
index cc8bb54..0000000 |
64 |
--- a/sci-mathematics/coq/files/coqide.desktop |
65 |
+++ /dev/null |
66 |
@@ -1,9 +0,0 @@ |
67 |
-[Desktop Entry] |
68 |
-Comment=Coq integrated developpment environment |
69 |
-Icon=/usr/lib/coq/ide/coq.png |
70 |
-Exec=/usr/bin/coqide |
71 |
-Name=CoqIDE |
72 |
-GenericName=Coq IDE |
73 |
-Terminal=false |
74 |
-Type=Application |
75 |
-Categories=Science;Math; |