wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-07-30 17:33:03 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

minisat: fix build after auto-create_wrksrc

Browse source
This commit is contained in:
Đoàn Trần Công Danh 2022-10-27 18:59:08 +07:00
parent 5df03f1160
commit 01e3746774
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
srcpkgs/minisat/template
View file

@ -5,20 +5,21 @@ revision=2
wrksrc=minisat
build_wrksrc=simp
build_style=gnu-makefile
make_build_args="MROOT=${XBPS_BUILDDIR}/${wrksrc} CFLAGS="-I${XBPS_BUILDDIR}/${wrksrc}" r"
makedepends="zlib-devel"
archs="i686 x86_64"
short_desc="A minimalistic and high-performance SAT solver"
maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
license="MIT"
homepage="http://minisat.se/MiniSat.html"
distfiles="http://minisat.se/downloads/minisat-2.2.0.tar.gz"
distfiles="http://minisat.se/downloads/minisat-${version}.tar.gz"
checksum=92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
do_build() {
CFLAGS+=" -I${wrksrc}"
make ${makejobs} MROOT=${wrksrc} r
}
do_install() {
vbin minisat_release minisat
}
post_install() {
vlicense ../LICENSE
}