initial packaging of expropt library

.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

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
+
+}

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)
+