diff options
author | Fabian Posch | 2024-06-06 16:09:04 +0200 |
---|---|---|
committer | Fabian Posch | 2024-06-06 16:09:04 +0200 |
commit | 92a926fb2b2c16154b272efd8d6efd41788a8da4 (patch) | |
tree | 911314e3808446fe1854f147ca08daac437392fd | |
download | aur-act-expropt-git.tar.gz |
initial packaging of expropt library
-rw-r--r-- | .SRCINFO | 24 | ||||
-rw-r--r-- | PKGBUILD | 52 | ||||
-rw-r--r-- | makefile.patch | 10 |
3 files changed, 86 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d17f658a9cdd --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,24 @@ +pkgbase = act-expropt-git + pkgdesc = The ExprOpt Library is used to optimize the sets of expressions by using external synthesis tools. + pkgver = 0.1.r66.b4f4b14 + pkgrel = 1 + url = https://github.com/asyncvlsi/expropt + arch = x86_64 + license = GPL-2.0 + makedepends = git + makedepends = make + makedepends = gcc + makedepends = binutils + makedepends = patch + depends = act-core + depends = sed + depends = abc + depends = yosys + provides = act-expropt + conflicts = act-expropt + source = git+https://github.com/asyncvlsi/expropt + source = makefile.patch + sha512sums = SKIP + sha512sums = e819067e8ad69226770a5f991f1a926ce06d86853029a08d76deac39787e4ac9fa93bdee13f4321cf5151c73796b95441dc073a608093cc5558cb0daf3beaf38 + +pkgname = act-expropt-git diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..fc2ff74bd672 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,52 @@ +# Maintainer: Fabian Posch <aur@posch.tech> + +_pkgname=expropt +pkgname=act-${_pkgname}-git +_basever=0 +_patchlvl=1 +_gitversion=r66.b4f4b14 +pkgver=${_basever}.${_patchlvl}.${_gitversion} +pkgrel=1 +pkgdesc="The ExprOpt Library is used to optimize the sets of expressions by using external synthesis tools. " +arch=('x86_64') +url="https://github.com/asyncvlsi/expropt" +license=('GPL-2.0') +depends=('act-core' 'sed' 'abc' 'yosys') +makedepends=('git' 'make' 'gcc' 'binutils' 'patch') +conflicts=("act-${_pkgname}") +provides=("act-${_pkgname}") +source=( + "git+${url}" + "makefile.patch" +) +sha512sums=( + "SKIP" + "e819067e8ad69226770a5f991f1a926ce06d86853029a08d76deac39787e4ac9fa93bdee13f4321cf5151c73796b95441dc073a608093cc5558cb0daf3beaf38" +) + +pkgver() { + cd ${_pkgname} + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short=7 HEAD)" +} + +prepare() { + # we use abc installed through package instead of a local version + patch "${srcdir}/${_pkgname}/Makefile" < "${srcdir}/makefile.patch" +} + +package() { + install -Dm644 ${srcdir}/${_pkgname}/LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" + + export ACT_HOME="/opt/act-async" + mkdir -p ${pkgdir}/opt/act-async/conf/generic + mkdir -p ${pkgdir}/opt/act-async/include + mkdir -p ${pkgdir}/opt/act-async/lib + + cd ${_pkgname} + make depend INSTALL_OVERRIDE="${pkgdir}/opt/act-async/" + make INSTALL_OVERRIDE="${pkgdir}/opt/act-async/" + make install INSTALL_OVERRIDE="${pkgdir}/opt/act-async/" + + rm -rf ${pkgdir}/opt/act-async/act + +}
\ No newline at end of file diff --git a/makefile.patch b/makefile.patch new file mode 100644 index 000000000000..11d20f6cd29c --- /dev/null +++ b/makefile.patch @@ -0,0 +1,10 @@ +--- Makefile.bak 2024-06-06 13:53:31.550238955 +0200 ++++ Makefile 2024-06-06 13:53:49.853055429 +0200 +@@ -37,7 +37,6 @@ + OBJS= $(OBJS2) + + RLIBS := -labc +-RLIBS_SO := $(ACT_HOME)/lib/libabc.so + + SHOBJS=$(OBJS:.o=.os) + |