Сравнение cadical-1.5.2-r1 с cadical-1.5.3-r1

/usr/portage/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild 2023-10-09 14:52:35.104368492 +0300
1
# Copyright 1999-2021 Gentoo Authors
1
# Copyright 1999-2023 Gentoo Authors
2 2
# Distributed under the terms of the GNU General Public License v2
3 3

  
4 4
EAPI=8
......
7 7

  
8 8
DESCRIPTION="Simplified Satisfiability Solver"
9 9
HOMEPAGE="http://fmv.jku.at/cadical/"
10
SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> ${P}.tar.gz"
11
S="${WORKDIR}/${PN}-rel-${PV}"
10
SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
11
	-> ${P}.tar.gz"
12
S="${WORKDIR}"/${PN}-rel-${PV}
12 13

  
13 14
LICENSE="MIT"
14 15
SLOT="0/${PV}"
15 16
KEYWORDS="~amd64 ~x86"
16 17

  
17
PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch )
18
PATCHES=(
19
	"${FILESDIR}"/${PN}-configure.patch
20
	"${FILESDIR}"/${PN}-makefile.in-ar.patch
21
)
18 22

  
19 23
DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
20 24

  
......
24 28
}
25 29

  
26 30
src_install() {
27
	dobin build/{cadical,mobical}
31
	exeinto /usr/bin
32
	doexe build/{cadical,mobical}
28 33
	dolib.a build/libcadical.a
29 34
	doheader src/cadical.hpp
30

  
35
	doheader src/ccadical.h
31 36
	einstalldocs
32 37
}
Спасибо!